Edit Paper: Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Enter the information required for the paper. Required information is marked with a *.

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
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.
URL:
Type:
ID:
Tag:
Funding:
DOI:
Flags:

Summary:

This is a minor edit

Watch this page

Navigation menu