Towards Assume-Guarantee Profiles for Autonomous Vehicles - Revision history

Murray at 16:22, 1 August 2019

2019-08-01T16:22:34Z

← Older revision		Revision as of 16:22, 1 August 2019
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-~~cdc_s~~.pdf		\|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
	}}		}}

Murray at 16:19, 1 August 2019

2019-08-01T16:19:46Z

← Older revision		Revision as of 16:19, 1 August 2019
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/~~aaaYY~~-~~place~~.pdf		\|URL=http://www.cds.caltech.edu/~murray/preprints/pcm19-cdc_s.pdf
	\|Type=Conference paper		\|Type=Conference paper
	\|ID=2019d		\|ID=2019d

Murray: Created page with "{{Paper |Title=Towards Assume-Guarantee Profiles for Autonomous Vehicles |Authors=Tung Phan-Minh, Karena X. Cai, Richard M. Murray |Source=Submitted, 2019 Conference on Decisi..."

2019-06-17T00:16:07Z

Created page with "{{Paper |Title=Towards Assume-Guarantee Profiles for Autonomous Vehicles |Authors=Tung Phan-Minh, Karena X. Cai, Richard M. Murray |Source=Submitted, 2019 Conference on Decisi..."

New page

{{Paper
|Title=Towards Assume-Guarantee Profiles for Autonomous Vehicles
|Authors=Tung Phan-Minh, Karena X. Cai, 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.
|URL=http://www.cds.caltech.edu/~murray/preprints/aaaYY-place.pdf
|Type=Conference paper
|ID=2019d
|Tag=pcm19-cdc
|Funding=NSF VeHICaL, DENSO CPM
}}