Verification of hybrid systems: Monotonicity in the AHS control system

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

Volumn 1066, Issue , 1996, Pages 161-172

  Haddon, John A ^a   Godbole, Datta N ^a   Deshpande, Akash ^a   Lygeros, John ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL THEORY;

CONTROL LAWS; HYBRID AUTOMATON MODELS; INITIAL CONDITIONS; MONOTONICITY; SAFETY OF VEHICLES; VERIFICATION OF HYBRID SYSTEMS;

HYBRID SYSTEMS;

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

References (7)

1. Datta Godbole and John Lygeros. Longitudinal control of the lead car of a platoon. IEEE Transactions on Vehicular Technology, 43(4):1125-1135, 1994.
2. Anuj Puri and Pravin Varaiya. Driving safely in smart cars. In Proceedings of American Control Conference, pages 3597-3599, 1995.
3. Pravin Varaiya. Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, AC-38 (2):195-207, 1993.
4. R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, Lecture Notes in Computer Science 736. Springer-Verlag, 1993.
5. A. Deshpande and P. Varaiya. Viable control of hybrid systems. In Hybrid Systems II, Lecture Notes in Computer Science. Springer-Verlag, 1995.
6. John A. Haddon, Datta N. Godbole, Akash Deshpande, and John Lygeros. Verification of hybrid systems: Monotonicity in the AHS control system. Memorandum, California PATH Program, 1996.
7. John Guckenheimer and Stewart Johnson. Planar hybrid systems. In Hybrid Systems II, Lecture Notes in Computer Science. Springer-Verlag, 1995.