模糊可观测性下的模糊离散事件系统及测试算法
计算机科学中的逻辑
2010-03-10 v3
摘要
为了更有效地应对现实世界中模糊性、不精确性和主观性的问题，近年来提出了模糊离散事件系统（FDESs）。值得注意的是，FDESs已被应用于HIV/AIDS治疗规划的生物医学控制和机器人控制的感官信息处理。Qiu、Cao和Ying独立地发展了FDESs的监督控制理论。我们注意到，Qiu的工作中事件的可控性是模糊的，但事件的可观测性是清晰的，而Cao和Ying的工作中事件的可观测性也是清晰的，尽管可控性并非完全清晰，因为可控事件可以以任意程度被禁用。鉴于需要考虑事件可能以某种隶属度被观测或控制的情况，本文建立了具有部分观测的FDESs的监督控制理论，其中事件的可观测性和可控性都是模糊的。我们形式化了模糊可控性条件和模糊可观测性条件的概念，并在更一般的框架下建立了FDESs的可控性和可观测性定理。特别地，我们给出了一个详细的计算流程来验证可控性和可观测性条件是否成立。因此，该结果可以判定监督器的存在性。此外，我们使用这种计算方法来检查经典离散事件系统（DESs）的可控性和可观测性定理中监督器的存在性，这是一种不同于经典情况的新方法。文中详细阐述了一些例子来说明所提出的结果。
引用
@article{arxiv.cs/0605107,
title = {Fuzzy Discrete Event Systems under Fuzzy Observability and a test-algorithm},
author = {Daowen Qiu and Fuchun Liu},
journal= {arXiv preprint arXiv:cs/0605107},
year = {2010}
}
备注
A further revised version to appear in IEEE Trans. Fuzzy Systems