A Verified Hybrid Controller For Automated Vehicles
D. N. Godbole and
Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley
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/
Keywords: Automobiles--Automatic control; Motor vehicles--Automatic control; Electronic controllers (search for similar items in EconPapers)
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1) Track citations by RSS feed
Downloads: (external link)
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
Persistent link: https://EconPapers.repec.org/RePEc:cdl:itsrrp:qt0345c547
Access Statistics for this paper
More papers in Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley Contact information at EDIRC.
Bibliographic data for series maintained by Lisa Schiff ().