论离散事件系统中保持简约监控器的观测性质
系统与控制
2017-03-06 v1
摘要
监控器简约过程可用于在离散事件系统中构建具有较少状态的简约监控器。该过程中使用的主要概念包括状态的控制一致性、控制覆盖、诱导监控器以及简约监控器相对于原监控器的正规性。本文证明了，通过在简约监控器的某些状态处对相应的不可观测事件进行自环操作，文献[9]中提出的方法所构建的简约监控器能够保持观测性质，即正规性和相对可观测性。该性质可用于寻找一个自然投影，使得监控器在该投影下是相对可观测的。
引用
@article{arxiv.1703.01042,
title = {On Preserving Observation Properties of the Reduced Supervisor in Discrete-Event Systems},
author = {Vahid Saeidi and Ali A. Afzalian and Davood Gharavian},
journal= {arXiv preprint arXiv:1703.01042},
year = {2017}
}
备注
arXiv admin note: text overlap with arXiv:1611.00339