scLTL 约束下部分可观离散事件系统的在线容许监督器综合
系统与控制
2020-03-30 v1 形式语言与自动机理论
系统与控制
摘要
我们考虑部分观测下离散事件系统（DES）的监督控制问题，其中控制规范由线性时序逻辑的一个片段给出。我们设计了一个在线监督器，利用 DES 的乘积自动机与规范接受器的完整信息动态计算其控制动作。可控制性与可观测性的概念通过定义在乘积自动机上的排序函数加以界定，当乘积自动机的接受态被逼近时该函数值减小。所提出的在线控制方案利用了排序函数与表示时变容许水平的容许函数。结果表明，若乘积自动机是可控制且可观测的，则该在线监督器在实现规范的同时，能权衡其容许性与规范接受性。
引用
@article{arxiv.2003.12274,
title = {On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints},
author = {Ami Sakakibara and Toshimitsu Ushio},
journal= {arXiv preprint arXiv:2003.12274},
year = {2020}
}
备注
7 pages, 2 figures; Accepted for the 21st IFAC World Congress. arXiv admin note: text overlap with arXiv:2003.11808