Jonas Krook

Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle

Autonomous vehicles apply pertinent planning and control algorithms under different driving conditions. The mode switch between these algorithms should also be autonomous. On top of the nominal planners, a safe fallback routine is needed to stop the vehicle at a safe position if nominal operational…