基于契约的自动化代客泊车系统失效容忍设计：采用指令-响应架构
系统与控制
2021-03-25 v1 形式语言与自动机理论
系统与控制
摘要
信息物理系统日益增加的复杂性要求模块化的系统设计方法，以保证在正常操作及存在故障时的正确可靠行为。本文旨在扩展基于契约的设计方法，采用指令-响应架构以实现对故障场景的响应能力。该架构在一个模块化的自动化代客泊车（AVP）系统上进行了演示。AVP 系统中各组件的契约被显式定义、实现，并针对 Python 实现进行了验证。
引用
@article{arxiv.2103.12919,
title = {Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture},
author = {Josefine Graebener and Tung Phan-Minh and Jiaqi Yan and Qiming Zhao and Richard M. Murray},
journal= {arXiv preprint arXiv:2103.12919},
year = {2021}
}