California Partners for Advanced Transportation Technology
A Verified Hybrid Controller For Automated Vehicles
- Author(s): Lygeros, J.
- Godbole, D. N.
- Sastry, S.
- et al.
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/