Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture: Difference between revisions

From Murray Wiki
Jump to navigationJump to search
No edit summary
No edit summary
Line 1: Line 1:
{{Paper
{{Paper
|Title=Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
|Title=Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
|Authors=Josefine Graebener, Tung Phan-Minh, Jiaqi Yan, Qiming Zhao, Richard M Murray
|Authors=J Graebener, T Phan-Minh, J Yan, Q Zhao, RM Murray
|Source=Submitted, 2021 American Control Conference
|Source=Submitted, 2021 Conference on Decision and Control (CDC)
|Abstract=Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the presence of failures. This paper aims to extend the contract-based design approach using a directive-response architecture to enable reactivity to failure scenarios. The architecture is demonstrated on a modular automated valet parking (AVP) system. The contracts for the different components in the AVP system are explicitly defined, implemented, and validated against a Python implementation.
|Abstract=Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the presence of failures. This paper aims to extend the contract-based design approach using a directive-response architecture to enable reactivity to failure scenarios. The architecture is demonstrated on a modular automated valet parking (AVP) system. The contracts for the different components in the AVP system are explicitly defined, implemented, and validated against a Python implementation.
|URL=http://www.cds.caltech.edu/~murray/preprints/JG+21-acc_s.pdf
|URL=https://arxiv.org/abs/2103.12919
|Type=Conference paper
|Type=Conference paper
|ID=2020h
|ID=2021o
|Tag=JG+21-acc
|Tag=Gra+21:CDC
|Funding=NSF T&E
|Funding=DENSO CPM
|Flags=NCS
}}
}}

Revision as of 16:48, 9 October 2022

Title Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
Authors J Graebener, T Phan-Minh, J Yan, Q Zhao and RM Murray
Source Submitted, 2021 Conference on Decision and Control (CDC)
Abstract Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the presence of failures. This paper aims to extend the contract-based design approach using a directive-response architecture to enable reactivity to failure scenarios. The architecture is demonstrated on a modular automated valet parking (AVP) system. The contracts for the different components in the AVP system are explicitly defined, implemented, and validated against a Python implementation.
Type Conference paper
URL https://arxiv.org/abs/2103.12919
DOI
Tag Gra+21:CDC
ID 2021o
Funding DENSO CPM
Flags
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Failure-Tolerant_Contract-Based_Design_of_an_Automated_Valet_Parking_System_using_a_Directive-Response_Architecture&oldid=24913"