Adaptive cruise control is one of the most common comfort features of road vehicles. Despite its large market penetration, current systems are not safe in all driving conditions and require supervision by human drivers. While several previous works have proposed solutions for safe adaptive cruise control, none of these works considers comfort, especially in the event of cut-ins. We provide a novel solution that simultaneously meets our specifications and provides comfort in all driving conditions, including cut-ins. This is achieved by an exchangeable nominal controller ensuring comfort, combined with a provably correct fail-safe controller that gradually engages an emergency maneuver—this ensures comfort, since most threats are already cleared before emergency braking is fully activated. As a consequence, one can easily exchange the nominal controller without having to have the overall system safety re-certified. We also provide the first user study into a provably-correct adaptive cruise controller. It shows that even though our approach never causes an accident, passengers rate the performance as good as a state-of-the-art solution that does not ensure safety.
Provably-Correct and Comfortable Adaptive Cruise Control
IEEE Transactions on Intelligent Vehicles ; 6 , 1 ; 159-174
2021-03-01
2221068 byte
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Provably correct reactive control from natural language
British Library Online Contents | 2015
|Provably Correct Software: Don't Leave Earth Without It
AIAA | 2023
|Provably-Correct Compositional Synthesis of Vehicle Safety Systems
Springer Verlag | 2018
|