摘要
讨论基于自动机/形式语言模型的离散事件系统(DES)的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性:强可测性,弱可测性,强周期可测性,弱周期可测性。给出了这些可测性的充要条件,这些充要条件可通过构建观测器进行有效的判定。
Detectability of Discrete Event Systems (DES) based on automata/languages is studied.Detectability is to determine the current state of the sstem according to the event observations and state observations.Four types of detectabilities are defined: strong detectability, weak detectability, strong periodic detectability, and weak periodic detectability.Necessary and sufficient conditions are derived for these detectabitities.These conditions can be checked by constructing an observer,which models the estimation of states under different observations.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第15期19-21,226,共4页
Computer Engineering and Applications
基金
美国国家科学基金项目(No.INT-0213651)。
关键词
离散事件系统
自动机/形式语言
可测性
状态估计
Discrete Event System (DES)
automata/languages
detectability
state estimation