A game-theoretic approach to hybrid system design

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

Volumn 1066, Issue , 1996, Pages 1-12

  Lygeros, John ^a   Godbole, Datta N ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CONTROLLERS; COST FUNCTIONS; DESIGN; DYNAMICAL SYSTEMS; ENCODING (SYMBOLS); HYBRID SYSTEMS; MULTI AGENT SYSTEMS;

CONTINUOUS CONTROLLER; ENVIRONMENTAL DISTURBANCES; HIGH LEVEL CONTROLLERS; HYBRID DYNAMICAL SYSTEMS; MULTI-AGENT SETTING; OPTIMAL CONTROLS; VERIFICATION METHODOLOGY; VERIFICATION OF HYBRID SYSTEMS;

GAME THEORY;

EID: 84958057441     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0020932     Document Type: Conference Paper

References (16)

1. R. Alur, C. Courcoubetis, and D. Dill, "Model checking for real-time systems," Logic in Computer Science, pp. 414-425, 1990.
2. A. Puri and P. Varaiya, "Decidability of hybrid systems with rectangular differential inclusions," in Computer Aided Verification, pp. 95-104, 1994.
3. Z. Har’El and R. Kurshan, Cospan User’s Guide. AT&T Bell Laboratories, 1987.
4. Adnan Aziz, et al., "HSIS: a BDD-based environment for formal verification," in ACM/IEEE International Conference on CAD, 1994.
5. M. Heymann, "Hierarchical decomposition of hybrid systems." (preprint), 1994.
6. C. Daws and S. Yovine, "Two examples of verification of multirate timed automata with KRONOS," in Proc. 1995 IEEE Real-Time Systems Symposium, RTSS’95, (Pisa, Italy), IEEE Computer Society Press, Dec. 1995.
7. R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho, "Hybrid automaton: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid System (R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds.), pp. 209-229, New York: Springer Verlag, 1993.
8. T. Henzinger, P. Kopke, A. Puri, and P. Varaiya, "What’s decidable about hybrid automata," in STOCS, 1995.
9. F. Balarin, K. Petty, and A. L. Sangiovanni-Vincentelli, "Formal verification of the PATHO real-time operating system," in IEEE Control and Decision Conference, pp. 2459-2465, 1994.
10. A. Deshpande, Control of Hybrid Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, California, 1994.
11. M. S. Branicky, V. S. Borkar, and S. K. Mitter, "A unified framework for hybrid control: Background, model and theory," Tech. Rep. LIDS-P-2239, Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, 1994.
12. A. Nerode and W. Kohn, "Multiple agent hybrid control architecture," in Hybrid System (R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds.), pp. 297-316, New York: Springer Verlag, 1993.
13. ∞ -Optimal Control and Related Minimax Design Problems. Birkhauser, 1991.
14. J. Lygeros, D. N. Godbole, and S. Sastry, "A game theoretic approach to hybrid system design," Tech. Rep. UCB/ERL-M95/77, Electronic Research Laboratory, University of California Berkeley, 1995.
15. A. Puri and P. Varaiya, "Driving safely in smart cars," in American Control Conference, pp. 3597-3599, 1995.
16. A. Puri and P. Varaiya, "Verification of hybrid systems using abstractions," in Hybrid Systems II, LNCS 999, Springer Verlag, 1995.