面向 scLTL 规范的离散事件系统在线允许监督控制
系统与控制
2020-03-27 v1 形式语言与自动机理论
系统与控制
摘要
我们提出一种离散事件系统（DESs）的在线监督控制方案，其中控制规范由线性时序逻辑的一个片段描述。在 DES 与规范接受器的积自动机上，我们定义一个排序函数，返回从各状态到达接受态所需的最小步数。此外，我们引入一个允许度函数，指示时变的允许水平。在在线控制方案的每一步，监督器参考允许度函数与排序函数，以在保证控制规范的同时处理其允许性与规范可接受性之间的权衡。所提方案在移动机器人的监视问题中得到演示。
引用
@article{arxiv.2003.11808,
title = {On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications},
author = {Ami Sakakibara and Toshimitsu Ushio},
journal= {arXiv preprint arXiv:2003.11808},
year = {2020}
}
备注
6 pages, 4 figures