执行器与传感器故障下分布式离散事件系统的协调与控制
系统与控制
2018-12-06 v2 形式语言与自动机理论
摘要
本文研究了由多个子系统组成的分布式离散事件系统在执行器和/或传感器潜在故障下的协调与控制问题。我们将执行器故障建模为特定执行器事件的局部可控性丧失，将传感器故障建模为特定传感器读数的可观测性失效。从表征存在故障执行器和/或传感器时子系统行为的自动机理论模型出发，我们分别建立了执行器和传感器容错监督器存在的充要条件，并综合了适当的局部故障后监督器，以防止故障后子系统危及局部安全要求。此外，我们将假设 - 保证协调方案应用于标称和故障子系统，以实现系统的期望规范。文中使用了一个多机器人协调示例来说明所提出的协调与控制架构。
引用
@article{arxiv.1707.05428,
title = {Coordination and Control of Distributed Discrete Event Systems under Actuator and Sensor Faults},
author = {Jin Dai and Hai Lin},
journal= {arXiv preprint arXiv:1707.05428},
year = {2018}
}
备注
33 pages; 20 figures; 1 table