论文研究离散事件系统的可测性.pdf

讨论基于自动机/形式语言模型的离散事件系统（DES）的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性：强可测性，弱可测性，强周期可测性，弱周期可测性。给出了这些可测性的充要条件，这些充要条件可通过构建观测器进行有效的判定。