Browse wiki

From MurrayWiki
Jump to: navigation, search
Towards Assume-Guarantee Profiles for Autonomous Vehicles
Abstract Rules or specifications for autonomous veh …
Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, and put together in a rather ad-hoc fashion. As a step towards eliminating this practice, we propose a systematic procedure for generating a set of supervisory specifications for self-driving cars that are 1) associated with a distributed assume-guarantee structure and 2) characterizable by the notion of consistency and completeness. Besides helping autonomous vehicles make better decisions on the road, the assume-guarantee contract structure also helps address the notion of blame when undesirable events occur. We give several game-theoretic examples to demonstrate applic bility of our framework.
emonstrate applic bility of our framework.  +
Authors Tung Phan-Minh, Karena X. Cai, Richard M. Murray  +
Funding VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems + , Temporal Logic Specifications for Control System Design in Automotive Systems +
ID 2019d  +
Source Submitted, 2019 Conference on Decision and Control (CDC)  +
Tag pcm19-cdc  +
Title Towards Assume-Guarantee Profiles for Autonomous Vehicles +
Type Conference paper (submitted)  +
Categories Papers
Modification date
This property is a special property in this wiki.
1 August 2019 16:22:34  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/pcm19-cdc_tr_s.pdf  +
show properties that link here 

 

Enter the name of the page to start browsing from.