Hybrid Real-Time Systems / jA 2 Ag / IEEE Intelligent Transportation Systems / AMD / Furukawa / Intelligent Transportation Systems / Hybrid Systems / /
Country
Germany / / /
Facility
Utrecht University / Institute of Automatic Control Engineering / /
IndustryTerm
traffic applications / look-down reference systems / invariant linear systems / time point solutions / verification algorithm / transportation systems / proposed reachability algorithm / uncertain linear systems / considered car / homogeneous solution / verification algorithms / approximate solution / reachable set algorithms / online safety verification / car-like robots / nonlinear systems / inhomogeneous solution / open continuous systems / linear continuous systems / linear systems / car communication / wireless communication / /
MarketIndex
set 150 / /
Organization
Institute of Automatic Control Engineering / German Research Foundation / U.S. Securities and Exchange Commission / Utrecht University / Transregional Collaborative Research Centre / /
Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers Matthias Althoff, Daniel Althoff, Dirk Wollherr and Martin Buss Abstract— The verification of evasive maneuvers for autonomous vehicles drivi