Rectangular hybrid games

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

Volumn 1664 LNCS, Issue , 1999, Pages 320-335

  Henzinger, Thomas A ^a,b   Horowitz, Benjamin ^a,b   Majumdar, Rupak ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; HYBRID SYSTEMS;

CONTINUOUS DYNAMICS; CONTROL PROBLEMS; HYBRID AUTOMATONS; LINEAR TEMPORAL LOGIC; LOWER AND UPPER BOUNDS; P-LAYER STRUCTURES; TRACE EQUIVALENCE; WINNING STRATEGY;

AUTOMATA THEORY;

EID: 84888258435     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48320-9_23     Document Type: Conference Paper

References (27)

1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 (1995) 3-34
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126 (1994) 183-235
3. Alur, R., Henzinger, T.A.:Modularity for timed and hybrid systems. In: CONCUR 97: Concurrency Theory. Lecture Notes in Computer Science, Vol. 1243. Springer-Verlag (1997) 74-88
4. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science. IEEE Computer Society Press (1997) 100-109
5. Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating refinement relations. In: CONCUR 98: Concurrency Theory. Lecture Notes in Computer Science, Vol. 1466. Springer-Verlag (1998) 163-178
6. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: Proceedings of the IFAC Symposium on System Structure and Control. Elsevier Science Publishers (1998) 469-474
7. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, Vol. B. Elsevier Science Publishers (1990) 995-1072
8. Henzinger, T.A.: Hybrid automata with finite bisimulations. In: ICALP 95: Automata, Languages, and Programming. Lecture Notes in Computer Science, Vol. 944. Springer-Verlag (1995) 324-335
9. Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press (1996) 278-292
10. Henzinger, M.R., Henzinger, T.A., and Kopke, P.W.: Computing simulations on finite and infinite graphs. In: Proceedings of the 36th Annual Symposium on Foundations of Computer Science. IEEE Computer Society Press (1995) 453-462
11. Henzinger, T.A., Ho, P.-H.,Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control 43 (1998) 540-554
12. Henzinger, T.A., Kopke, P.W.: State equivalences for rectangular hybrid automata. In: CONCUR 96: Concurrency Theory. Lecture Notes in Computer Science, Vol. 1119. Springer-Verlag (1996) 530-545
13. Henzinger, T.A., Kopke, P.W.: Discrete-time control for rectangular hybrid automata. In: ICALP 97: Automata, Languages, and Programming. Lecture Notes in Computer, Vol. 1256. Springer-Verlag (1997) 582-593
14. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What's decidable about hybrid automata? Journal of Computer and System Sciences 57 (1998) 94-124
15. Heymann, M., Lin, F., Meyer, G.: Control synthesis for a class of hybrid systems subject to configuration-based safety constraints. In: HART 97: Hybrid and Real-Time Systems. Lecture Notes in Computer Science, Vol. 1201. Springer-Verlag (1997) 376-390
16. Hoffmann, G., Wong-Toi, H.: The input-output control of real-time discrete-event systems. In: Proceedings of the 13th Annual Real-time Systems Symposium. IEEE Computer Society Press (1992) 256-265
17. Immerman, N.: Number of quantifiers is better than number of tape cells. Journal of Computer and System Sciences 22 (1981) 384-406
18. Lygeros, J., Tomlin, C., Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica 35 (1999) 349-370
19. Lynch, N.A., Segala, R., Vaandrager, F., Weinberg, H.B.: Hybrid I/O Automata. In: Hybrid Systems III. Lecture Notes in Computer Science, Vol. 1066 Springer-Verlag (1996), 496-510
20. Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: STACS 95: Theoretical Aspects of Computer Science. Lecture Notes in Computer Science, Vol. 900. Springer-Verlag (1995) 229-242
21. Paige, R., Tarjan, R.E.: Three partition-refinement algorithms. SIAM Journal of Computing 16 (1987) 973-989
22. Puri, A., Borkar, V., Varaiya, P.: ε-approximation of differential inclusions. In: Hybrid Systems III. Lecture Notes in Computer Science, Vol. 1066 Springer-Verlag (1996), 362-376
23. Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete-event processes. SIAM Journal of Control and Optimization 25 (1987) 206-230
24. Rosner, R.: Modular Synthesis of Reactive Systems. Ph.D. thesis, Weizmann Institute of Science (1992)
25. Thomas, W.: On the synthesis of strategies in infinite games. In: STACS 95: Theoretical Aspects of Computer Science. Lecture Notes in Computer Science, Vol. 900. Springer-Verlag (1995) 1-13
26. Tomlin, C.: Hybrid Control of Air Traffic Management Systems. Ph.D. thesis, University of California, Berkeley (1998)
27. Wong-Toi, H.: The synthesis of controllers for linear hybrid automata. In: Proceedings of the 36th Conference on Decision and Control. IEEE Computer Society Press (1997) 4607-4612