Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / sandbox / extraction / README.org @ 43460259

History | View | Annotate | Download (760 Bytes)

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