Poster Abstract: Getting Out of the Way -- Safety Verification without Compromise
暂无分享,去创建一个
The intelligent transportation systems problems of adaptive cruise control and variable timing for traffic intersection signals are explored with emphasis on verification of safety properties.
[1] Richard M. Murray,et al. Recent Research in Cooperative Control of Multivehicle Systems , 2007 .
[2] André Platzer,et al. Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified , 2011, FM.
[3] André Platzer,et al. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .