A verified hybrid controller for automated vehicles

Author

Lygeros, John ; Godbole, Datta N. ; Sastry, Shankar

Author_Institution

Intelligent Machines & Robotics Lab., California Univ., Berkeley, CA, USA

Volume

2

fYear

1996

fDate

11-13 Dec 1996

Firstpage

2289

Abstract

Considerable experimental and theoretical research has been carried out in an attempt to design an automated highway system that can provide more efficient utilization of the highways and at the same time be safer and more comfortable than the current highway system. Here we present a unified framework for carrying out safety calculations for the automated highway problem. We 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

automated highways; closed loop systems; control system synthesis; discrete time systems; position control; road traffic; safety; traffic control; velocity control; automated highway; automated vehicles; closed loop hybrid system; discrete time system; safety; sufficient conditions; unified framework; Automated highways; Automatic control; Game theory; Intelligent robots; Process design; Road accidents; Road safety; Road transportation; Road vehicles; Vehicle safety;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1996., Proceedings of the 35th IEEE Conference on

Conference_Location

Kobe

ISSN

0191-2216

Print_ISBN

0-7803-3590-2

Type

conf

DOI

10.1109/CDC.1996.573113

Filename

573113