Skip to main content
Open Access Publications from the University of California

A Verified Hybrid Controller For Automated Vehicles


In this report the authors present a unified framework for carrying out safety calculations for the automated highway problem and obtain sufficient conditions for a set of continuous controllers to be safe and use these conditions to design a discrete scheme that switches between them. Guarantees of safety for the closed loop hybrid system follow by design/

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View