Lazy rectangular hybrid automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2993, Issue , 2004, Pages 1-15

  Agrawal, Manindra ^a   Thiagarajan, P S ^b  

^a INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

BOUNDED DELAYS; CONTINUOUS STATE; CONTINUOUS VARIABLES; DISCRETE TIME DYNAMICS; HYBRID AUTOMATONS; KEY FEATURE; MODE CHANGES;

AUTOMATA THEORY;

EID: 24344486329     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24743-2_1     Document Type: Article

References (14)

1. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Comp. Sci., 126(2):183-235, 1994.
2. R. Alur, T.A. Henzinger, G. Lafferriere, and G.J. Pappas. Discrete abstractions of hybrid systems. Proc. of the IEEE, 88:971-984, 2000.
3. E. Asarin, O. Bournez, T. Dang, and O. Maler. Reachability analysis of piecewise-linear dynamical systems. In Hybrid Systems: Comp. and Control, LNCS 1790, pages 20-31. Springer-Verlag, 2000.
4. V. Gupta, T.A. Henzinger, and R. Jagadeesan. Robust timed automata. In HART 97, LNCS 1201, pages 331-345. Springer-Verlag, 1997.
5. T.A. Henzinger. Hybrid automata with finite bisimulations. In 22nd ICALP, LNCS 944, pages 324-335. Springer-Verlag, 1995.
6. T.A. Henzinger. The theory of hybrid automata. In Proc. of the 11th Ann. Symp. on Logic in Comp. Sci., pages 278-292. IEEE Comp. Society Press, 1996.
7. T.A. Henzinger and P.W. Kopke. Discrete-time control for rectangular hybrid automata. Theoretical Comp. Sci., 221:369-392, 1999.
8. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? J. of Comp. and Sys. Sci., 57:94-124, 1998.
9. T.A. Henzinger and J.-F. Raskin. Robust undecidability of timed and hybrid systems. In HSCC 00, LNCS 1790, pages 145-159. Springer-Verlag, 2000.
10. Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: A class of decidable hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, LNCS 736, pages 179-208. Springer-Verlag, 1993.
11. J. McManis and P. Varaiya. Suspension automata: A decidable class of hybrid automata. In 6th CAV, LNCS 818, pages 105-117. Springer-Verlag, 1994.
12. J. Ouaknine and J. Worrell. Revisiting digitization, robustness and decidability for timed automata. In 25th LICS, pages 198-207. IEEE Press, 2003.
13. A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In 6th CAV, LNCS 818, pages 95-104. Springer-Verlag, 1994.
14. A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1951.