-
题名离散事件系统的可测性
被引量:2
- 1
-
-
作者
舒少龙
林峰
黄志强
-
机构
同济大学电信学院
韦恩州立大学电子与计算机工程系
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第15期19-21,226,共4页
-
基金
美国国家科学基金项目(No.INT-0213651)。
-
文摘
讨论基于自动机/形式语言模型的离散事件系统(DES)的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性:强可测性,弱可测性,强周期可测性,弱周期可测性。给出了这些可测性的充要条件,这些充要条件可通过构建观测器进行有效的判定。
-
关键词
离散事件系统
自动机/形式语言
可测性
状态估计
-
Keywords
Discrete Event System (DES)
automata/languages
detectability
state estimation
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名离散事件系统N步稳定性分析
被引量:1
- 2
-
-
作者
舒少龙
林峰
黄志强
-
机构
同济大学电信学院
韦恩州立大学电子与计算机工程系
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第7期17-19,共3页
-
基金
美国国家科学基金项目(the National Science Foundation of USA under Grant No.INT- 0213651)
-
文摘
讨论基于自动机/形式语言模型的离散事件系统(DES)稳定性问题,引入了确定性离散事件系统N步稳定性定义,并得到了稳定性的判据定理,推导了具体的算法实现。该算法具有多项式复杂度。
-
关键词
离散事件系统
自动机/形式语言
N步稳定性
多项式复杂度
-
Keywords
discrete event system
automata/languages
N-stability
polynomial complexity
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-