完全和部分可观察离散事件系统状态反馈控制间的关系

Relationships between State Feedbacks of Completely and Partially Observable Discrete Event Systems

讨论完全和部分可观察离散事件系统状态反馈控制间的关系 ,首先讨论了控制方案集及最大控制方案在两个系统之间的关系 ,由此通过重新定义可观察谓词 ,较为简单地证明了谓词P可综合的充要条件是它既可控又可观察 .其次 ,我们在一定条件下将部分可观察DES转化为一个完全可观察DES ,并探讨了两者之间的关系 .

This paper discusses the relationships between state feedbacks of the completely and partially observable discrete event systems (DES):the sets of permissive state feedbacks(PSF),the maximal PSF,etc. By it and redefining the observable predicate,it is easy to show that a predicate \%P\% can be synthesized if it is controllability and observability.Then,we transform the partially observable DES into a complete observable DES under a certain condition.