OBSERVABILITY OF DISCRETE EVENT DYNAMIC-SYSTEMS

被引:180
作者
OZVEREN, CM
WILLSKY, AS
机构
[1] MIT,INFORMAT & DECIS SYST LAB,CAMBRIDGE,MA 02139
[2] INST RECH INFORMAT & SYST ALEATOIRES,RENNES,FRANCE
关键词
D O I
10.1109/9.57018
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A finite state automaton is adopted as a model for Discrete Event Dynamic Systems (DEDS). Observations are assumed to be a subset of the event alphabet. Observability is defined as having perfect knowledge of the current state at points in time separated by bounded numbers of transitions. A polynomial test for observability is given. It is shown that an observer may be constructed and implemented in polynomial time and space. A bound on the cardinality of the observer state space is also presented. A notion of resiliency is defined for observers, and a test for resilient observability and a procedure for the construction of a resilient observer are presented. © 1990 IEEE
引用
收藏
页码:797 / 806
页数:10
相关论文
共 24 条
[1]  
CIESLAK R, 1988, IEEE T AUTOMAT C MAR
[2]  
FRANK G, 1985, VLSI DESIGN AUG
[3]  
GEVARTER WB, 1983, IEEE SPECTRUM AUG
[4]  
Holcombe W.M.L., 1982, ALGEBRAIC AUTOMATA T
[5]  
LIN F, 1986, 8612 U TOR SYST CONT
[6]  
LIN F, 1988, INFORM SCI, V44
[7]  
MERCHANT ME, 1983, IEEE SPECTRUM MAY
[8]  
OSTROFF JS, 1985, DEC P CDC
[9]  
OZVEREN CM, UNPUB AUTOMATICA
[10]  
OZVEREN CM, 1989, LIDSP1895 MIT LAB IN