32906 articles – 26198 Notices  [english version]
.:. Consultation > Par auteur > Asarin .:.
3 documents classés par :

Formal Modeling and Analysis of Timed Systems
Asarin E., Bouyer P.
Springer (Ed.) (2006) 367 [hal-00157540 - version 1]
Effective Synthesis of Switching Controllers for Linear Systems
Asarin E., Bournez O., Dang T., Maler O., Pnueli A.
Proceedings of the IEEE, Special Issue on "Hybrid Systems" 88, 7 (2000) 1011-1025 [inria-00099342 - version 1]
Approximate reachability analysis of piecewise-linear dynamical systems
Asarin E., Bournez O., Dang T., Maler O.
Dans International Workshop on Hybrid Systems: Computation & Control - HSCC'2000 1790 (2000) 20-31 [inria-00099316 - version 1]