Hybrid systems with finite bisimulations

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

Volumn 1567, Issue , 1999, Pages 186-203

  Lafferriere, Gerardo ^a   Pappas, George J ^b   Sastry, Shankar ^b  

^a PORTLAND STATE UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATION;

BISIMULATIONS; DECIDABILITY QUESTIONS; MODEL THEORY; REACHABILITY; STATE OF THE ART; STRATIFICATION THEORY; VERIFICATION ALGORITHMS;

HYBRID SYSTEMS;

EID: 84956861892     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49163-5_10     Document Type: Conference Paper

References (26)

1. R. Alur, C. Coucoubetis, N. Halbwachs, T. A. Henzinger, P. H. Ho, X. Nicolin, A. Olivero, J. Sifakis, and S. Yovine, The algorithmic analysis of hybrid systems, Theoretical Computer Science 138 (1995), 3-34.
2. R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994), 183-235.
3. R. Alur, T. A. Henzinger, and E. D. Sontag (eds.), Hybrid systems III, Lecture Notes in Computer Science, vol. 1066, Springer-Verlag, 1996.
4. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.), Hybrid systems II, Lecture Notes in Computer Science, vol. 999, Springer-Verlag, 1995.
5. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.), Hybrid systems IV, Lecture Notes in Computer Science, vol. 1273, Springer-Verlag, 1997.
6. E. Bierstone and P. D. Milman, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. 67 (1988), 5-42.
7. P. E. Caines and Y. J. Wei, The hierarchical lattices of a finite state machine, Systems and Control Letters 25 (1995), 257-263.
8. P. E. Caines and Y. J. Wei, Hierarchical hybrid control systems: A lattice theoretic formulation, IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems 43 (1998), no. 4, 501-508.
9. K. Cerans and J. Viksna, Deciding reachability for planar multi-polynomial systems, Hybrid Systems III (R. Alur, T. Henzinger, and E. D. Sontag, eds.), Lecture Notes in Computer Science, vol. 1066, Springer Verlag, Berlin, Germany, 1996, pp. 389-400.
10. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel (eds.), Hybrid systems, Lecture Notes in Computer Science, vol. 736, Springer-Verlag, 1993.
11. T. A. Henzinger, Hybrid automata with finite bisimulations, ICALP 95: Automata, Languages, and Programming (Z. Fülöp and F. Gffecseg, eds.), Springer-Verlag, 1995, pp. 324-335.
12. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, What's decidable about hybrid automata?, Proceedings of the 27th Annual Symposium on Theory of Computing, ACM Press, 1995, pp. 373-382.
13. H. Hironaka, Subanalytic sets, In Number Theory, Algebraic Geometry, and Commutative Algebra, in honor of Y. Akizuki, Kinokuniya Publications, 1973, pp. 453-493.
14. W. Hodges, A shorter model theory, Cambridge University Press, 1997.
15. G. Laérriere, G. J. Pappas, and S. Sastry, Subanalytic stratifications and bisimu-lations, Hybrid Systems: Computation and Control (T. Henzinger and S. Sastry, eds.), Lecture Notes in Computer Science, vol. 1386, Springer Verlag, Berlin, 1998, pp. 205-220.
16. A. Macintyre and A. J. Wilkie, On the decidability of the real exponential éld, Kreiseliana: About and around Georg Kreisel, A. K. Peters, 1996, pp. 441-467.
17. O. Maler (ed.), Hybrid and real-time systems, Lecture Notes in Computer Science, vol. 1201, Springer-Verlag, 1997.
18. G. J. Pappas, G. Laérriere, and S. Sastry, Hierarchically consistent control systems, Proceedings of the 37th IEEE Conference in Decision and Control, Tampa, FL, December 1998, Submitted.
19. A. Puri and P. Varaiya, Decidability of hybrid systems with rectangular diérential inclusions, Computer Aided Verification, 1994, pp. 95-104.
20. Hffector J. Sussmann, Subanalytic sets and feedback control, Journal of Diérential Equations 31 (1979), no. 1, 31-52.
21. Hffector J. Sussmann, Real-analytic desingularization and subanalytic sets: An elementary ap-proach, Transactions of the American Mathematical Society 317 (1990), no. 2, 417-461.
22. A. Tarski, A decision method for elementary algebra and geometry, second ed., University of California Press, 1951.
23. D. van Dalen, Logic and structure, third ed., Springer-Verlag, 1994.
24. L. van den Dries and C. Miller, On the real exponential éld with restricted analytic functions, Israel Journal of Mathematics 85 (1994), 19-56.
25. A. J. Wilkie, Model completeness results for expansions of the ordered éld of real numbers by restricted pfaán functions and the exponential function, Journal of the American Mathematical Society 9 (1996), no. 4, 1051-1094.
26. A. J. Wilkie, A general theorem of the complement and some new o-minimal struc-tures, Preprint, 1997.