|
1
|
* Available examples:
|
|
2
|
- linear cases: Pierre Roux's examples as well as YAsmine Seladji ones
|
|
3
|
- piecewise lin cases:
|
|
4
|
- Saturations or reset of the former category
|
|
5
|
- Triplex voter (Honeywell/Rockwell)
|
|
6
|
|
|
7
|
TODO:
|
|
8
|
- extract lustre modeling of the matlab code of Assale:
|
|
9
|
- svn/numericaltools/PiecewiseLyapunov/code/matlab/Code2/Examples/
|
|
10
|
- running_example.m
|
|
11
|
- exampleMignoneinvariance1.m (or variants)
|
|
12
|
- same thing for the work with Assale + Victor:
|
|
13
|
- git/laas/progcertsos/script/example
|
|
14
|
- last, the examples of the paper with Victor
|
|
15
|
- Why not building examples with non polynomial computations and
|
|
16
|
extract the proper math. model?
|
|
17
|
|
|
18
|
* Run
|
|
19
|
source `lustrev -version | grep "Standard lib"| sed "s/.*: //"`/z3librc
|
|
20
|
lustrev -seal -node top linear/ex1.lus
|
|
21
|
|