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/

MoreLess

Year of publication:	1997-01-01
Authors:	Lygeros, J. ; Godbole, D. N. ; Sastry, S.
Institutions:	Institute for Transportation Studies (ITS), University of California-Berkeley
Subject:	Automobiles-Automatic control \| Motor vehicles-Automatic control \| Electronic controllers

freely available

Full text |

More access options

Check Google Scholar

In German libraries (KVK)

I need help

More details

Extent:	application/pdf
Series:	Institute of Transportation Studies, Research Reports, Working Papers, Proceedings.
Type of publication:	Book / Working Paper
Notes:	The text is part of a series Institute of Transportation Studies (UCB)
Source:	RePEc - Research Papers in Economics

Persistent link: https://www.econbiz.de/10010817597