Abstract:
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/
Publication date:
February 1, 1997
Publication type:
Research Report
Citation:
Lygeros, J., Godbole, D. N., & Sastry, S. (1997). A Verified Hybrid Controller For Automated Vehicles (No. UCB-ITS-PRR-97-9). https://escholarship.org/uc/item/0345c547