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 .