Optimal Control Approach to Multiagent, Hierarchical System Verification

[1]  John Lygeros,et al.  A Game-Theoretic Approach to Hybrid System Design , 1996, Hybrid Systems.

[2]  Pravin Varaiya,et al.  Driving safely in smart cars , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[3]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[4]  P. Varaiya,et al.  Formal verification of the PATHO real-time operating system , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[5]  S. Sastry,et al.  Hierarchical hybrid control: an IVHS case study , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[6]  John Lygeros,et al.  Longitudinal control of the lead car of a platoon , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[7]  John Lygeros,et al.  An interface between continuous and discrete-event controllers for vehicle automation , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[8]  Pravin Varaiya,et al.  Protocol Design for an Automated Highway System (Abstract) , 1993, CAV.

[9]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[10]  J.K. Hedrick,et al.  Longitudinal Vehicle Controller Design for IVHS Systems , 1991, 1991 American Control Conference.

[11]  Pravin Varaiya,et al.  Protocol design for an automated highway system , 1993, Discret. Event Dyn. Syst..

[12]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[13]  R. Alur,et al.  Modelchecking for real-time systems , 1990 .

[14]  P. Varaiya,et al.  Formal Veri cation of the PATHO Real-Time Operating System , 2022 .