A Game-Theoretic Approach to Hybrid System Design
暂无分享,去创建一个
John Lygeros | S. Shankar Sastry | Datta N. Godbole | S. Sastry | J. Lygeros | D. Godbole | S. Sastry | J. Lygeros
[1] Akash Deshpande,et al. Control of hybrid systems , 1994 .
[2] P. Khargonekar,et al. State-space solutions to standard H2 and H∞ control problems , 1988, 1988 American Control Conference.
[3] John Lygeros,et al. Longitudinal control of the lead car of a platoon , 1993 .
[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] V. Borkar,et al. A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
[6] Tamer Basar,et al. H∞-Optimal Control and Related , 1991 .
[7] V. Borkar,et al. A unified framework for hybrid control : b background, model, and theory , 1994 .
[8] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[9] P. Varaiya,et al. Formal Veri cation of the PATHO Real-Time Operating System , 2022 .
[10] Pravin Varaiya,et al. Protocol design for an automated highway system , 1993, Discret. Event Dyn. Syst..
[11] Conrado Daws,et al. Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[12] Anil Nerode,et al. Multiple Agent Hybrid Control Architecture , 1992, Hybrid Systems.
[13] Szu-Tsung Cheng,et al. HSIS: A BDD-Based Environment for Formal Verification , 1994, 31st Design Automation Conference.
[14] Pravin Varaiya,et al. Driving safely in smart cars , 1995, Proceedings of 1995 American Control Conference - ACC'95.
[15] Pravin Varaiya,et al. Verification of Hybrid Systems using Abstractions , 1996 .
[16] Robert L. Grossman,et al. Timed Automata , 1999, CAV.
[17] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[18] Pravin Varaiya,et al. Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.
[19] Felice Balarin. Iterative methods for formal verification of digital systems , 1995 .
[20] Robert P. Kurshan,et al. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .
[21] Tamer Başar,et al. H1-Optimal Control and Related Minimax Design Problems , 1995 .
[22] Pravin Varaiya,et al. Verification of Hybrid Systems Using Abstractions , 1996, Hybrid Systems.