Towards Assume-Guarantee Profiles for Autonomous Vehicles: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
|Source=Submitted, 2019 Conference on Decision and Control (CDC) | |Source=Submitted, 2019 Conference on Decision and Control (CDC) | ||
|Abstract=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. | |Abstract=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. | ||
|URL=http://www.cds.caltech.edu/~murray/preprints/pcm19- | |URL=http://www.cds.caltech.edu/~murray/preprints/pcm19-cdc_tr_s.pdf | ||
|Type=Conference paper | |Type=Conference paper (submitted) | ||
|ID=2019d | |ID=2019d | ||
|Tag=pcm19-cdc | |Tag=pcm19-cdc | ||
|Funding=NSF VeHICaL, DENSO CPM | |Funding=NSF VeHICaL, DENSO CPM | ||
}} | }} | ||
Latest revision as of 16:22, 1 August 2019
| Title | Towards Assume-Guarantee Profiles for Autonomous Vehicles |
|---|---|
| Authors | Tung Phan-Minh, Karena X. Cai and Richard M. Murray |
| Source | Submitted, 2019 Conference on Decision and Control (CDC) |
| Abstract | 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. |
| Type | Conference paper (submitted) |
| URL | http://www.cds.caltech.edu/~murray/preprints/pcm19-cdc tr s.pdf |
| DOI | |
| Tag | pcm19-cdc |
| ID | 2019d |
| Funding | NSF VeHICaL, DENSO CPM |
| Flags |
