Discrete-time control for rectangular hybrid automata

Theoretical Computer Science

Volumn 221, Issue 1-2, 1999, Pages 369-392

  Henzinger, Thomas A ^a   Kopke, Peter W ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b William H Kopke Jr Inc   (United States)

Author keywords

Computer aided verification; Controller synthesis; Hybrid systems

Indexed keywords

EID: 0001258458     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(99)00038-9     Document Type: Article

References (26)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, The algorithmic analysis of hybrid systems, Theoret. Comput. Sci. 138 (1995) 3-34.
2. R. Alur, D.L. Dill, A theory of timed automata, Theoret. Comput. Sci. 126 (1994) 183-235.
3. R. Alur, T.A. Henzinger, Modularity for timed and hybrid systems, in: Proc. CONCUR: Concurrency Theory, Lecture Notes in Computer Science, vol. 1243, Springer, Berlin, 1997, pp. 74-88.
4. R. Alur, T.A. Henzinger, P.-H. Ho, Automatic symbolic verification of embedded systems, IEEE Trans. Software Eng. 22 (1996) 181-201.
5. C. Beeri, On the membership problem for functional and multivalued dependencies in relational databases, ACM Trans. Database Systems 5 (1980) 241-259.
6. 20 states and beyond, Inform. Comput. 98 (1992) 142-170.
7. A. Bouajjani, J.-C. Fernandez, N. Halbwachs, Minimal model generation, in: Proc. CAV: Computer-Aided Verification, Lecture Notes in Computer Science, vol. 531, Springer, Berlin, 1990, pp. 197-203.
8. A.K. Chandra, D.C. Kozen, L.J. Stockmeyer, Alternation, J. ACM 28 (1981) 114-133.
9. T.A. Henzinger, Hybrid automata with finite bisimulations, in: Proc. ICALP: Automata, Languages, and Programming, Lecture Notes in Computer Science, vol. 944, Springer, Berlin, 1995, pp. 324-335.
10. T.A. Henzinger, The theory of hybrid automata, in: Proc. LICS: Logic in Computer Science, IEEE Computer Society Press, Silver Spring, Md, 1996, pp. 278-292.
11. T.A. Henzinger, P.-H. Ho, H. Wong-Toi, Algorithmic analysis of nonlinear hybrid systems, IEEE Trans. Automat. Control 43 (1998) 540-554.
12. T.A. Henzinger, P.-H. Ho, H. Wong-Toi, HYTECH: a model checker for hybrid systems, Software Tools Technol. Transfer 1 (1997) 110-122.
13. T.A. Henzinger, P.W. Kopke, State equivalences for rectangular hybrid automata, in: Proc. CONCUR: Concurrency Theory, Lecture Notes in Computer Science, vol. 1119, Springer, Berlin, 1997, pp. 530-545.
14. T.A. Henzinger, P.W. Kopke, A. Puri, P. Varaiya, What's decidable about hybrid automata?, in: Proc. STOC: Theory of Computing, ACM Press, New York, 1995, pp. 373-382.
15. T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Symbolic model checking for real-time systems, Inform. Comput. 111 (1994) 193-244.
16. G. Hoffmann, H. Wong-Toi, The input-output control of real-time discrete-event systems, in: Proc. RTSS: Real-time Systems Symp., IEEE Computer Society Press, Silver Spring, Md, 1992, pp. 256 -265.
17. N. Immerman, Number of quantifiers is better than number of tape cells, J. Comput. System Sci. 22 (1981) 384-406.
18. Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine, Integration graphs: a class of decidable hybrid systems, in: Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer, Berlin, 1993, pp. 179-208.
19. O. Kupferman, Model checking for branching-time temporal logics, Ph.D. Thesis, The Technion, Haifa, Israel, 1995.
20. O. Lichtenstein, A. Pnueli, Checking that finite-state concurrent programs satisfy their linear specification, in: Proc. POPL: Principles of Programming Languages, ACM Press, New York, 1985, pp. 97-107.
21. O. Maler, A. Pnueli, J. Sifakis, On the synthesis of discrete controllers for timed systems, in: Proc. STACS: Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, vol. 900, Springer, Berlin, 1995, pp. 229-242.
22. A. Puri, V. Borkar, P. Varaiya, ε-Approximation of differential inclusions, in: Hybrid Systems III, Lecture Notes in Computer Science, vol. 1066, Springer, Berlin, 1996, pp. 362-376.
23. A. Puri, P. Varaiya, Decidability of hybrid systems with rectangular differential inclusions, in: Proc. CAV: Computer-Aided Verification, Lecture Notes in Computer Science, vol. 818, Springer, Berlin, 1994, pp. 95-104.
24. P.J. Ramadge, W.M. Wonham, Supervisory control of a class of discrete-event processes, SIAM J. Control Optim. 25 (1987) 206-230.
25. J.W. Thatcher, J.B. Wright, Generalized finite-automata theory with an application to a decision problem of second-order logic, Math. Systems Theory 2 (1968) 57-81.
26. W. Thomas, On the synthesis of strategies in infinite games, in: Proc. STACS: Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, vol. 900, Springer, Berlin, 1995, pp. 1-13.