Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Control and Optimization,Signal Processing,Control and Systems Engineering
Reference67 articles.
1. Pontryagin LS, Boltyanskii VG, Gamkrelidze RV, Mishchenko EF (1962) The mathematical theory of optimal processes, vol 4. Wiley Interscience, New York
2. Puri A, Varaiya P (1994) Verification of hybrid systems using abstractions. In: International Hybrid Systems Workshop. Springer, pp. 359–369
3. Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971–984
4. Alur R, Dang T, Ivančić F (2003) Progress on reachability analysis of hybrid systems using predicate abstraction. In: Proceedings of the 6th international workshop on hybrid systems: computation and control. HSCC, Prague, Czech Republic, p. 4–19
5. Clarke E, Fehnker A, Han Z, Krogh B, Ouaknine J, Stursberg O et al (2003) Abstraction and counterexample-guided refinement in model checking of hybrid systems. Int J Found Comput Sci 14(04):583–604