Safety Verification for Automated Platoon Maneuvers: A Case Study
暂无分享,去创建一个
[1] Nancy A. Lynch,et al. A Toolbox for Proving and MaintainingHybrid Speci cationsMichael , 1997 .
[2] Thomas A. Henzinger,et al. Hybrid systems III : verification and control , 1996 .
[3] Zohar Manna,et al. From Timed to Hybrid Systems , 1991, REX Workshop.
[4] Pravin Varaiya,et al. Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..
[5] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[6] Nancy A. Lynch,et al. Verification of Automated Vehicle Protection Systems , 1995, Hybrid Systems.
[7] John Lygeros,et al. A Game-Theoretic Approach to Hybrid System Design , 1996, Hybrid Systems.
[8] Nancy A. Lynch,et al. Correctness of vehicle control systems-a case study , 1996, 17th IEEE Real-Time Systems Symposium.
[9] Nancy A. Lynch. A THREE-LEVEL ANALYSIS OF A SIMPLE ACCELERATION MANEUVER, WITH UNCERTAINTIES , 1996 .
[10] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[11] John Lygeros,et al. Hierarchical, Hybrid Control of Large Scale Systems , 1996 .
[12] Jonathan Frankel. ROBUST PLATOON MANEUVERS FOR AVHS , 1994 .