Observability of discrete event dynamic systems

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. >

[1]  Dieter Jungnickel,et al.  Graphs, Networks, and Algorithms , 1980 .

[2]  W. Holcombe Algebraic automata theory: Contents , 1982 .

[3]  M. E. Merchant Data-driven automation. Production: a dynamic challenge , 1983, IEEE Spectrum.

[4]  W. B. Gevarter,et al.  Oomputers: Expert systems: Limited but powerful: Using a collection of facts, rules of thumb, and methods of applying those rules and making inferences, a new type of computer system is emerging , 1983, IEEE Spectrum.

[5]  J. Ostroff,et al.  A temporal logic approach to real time control , 1985, 1985 24th IEEE Conference on Decision and Control.

[6]  A. F. Vaz,et al.  On supervisor reduction in discrete-event systems , 1986 .

[7]  L. Tobias,et al.  Time-based air-traffic management using expert systems , 1986, IEEE Control Systems Magazine.

[8]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[9]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[10]  John N. Tsitsiklis,et al.  On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.

[11]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[12]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[13]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[14]  Oded Maimon,et al.  Control of large discrete event systems: constructive algorithms , 1989 .

[15]  Cüneyt M. Özveren,et al.  Analysis and control of discrete event dynamic systems: a state space approach , 1989 .

[16]  M. E. Merchant Production: a dynamic challenge , 1989 .

[17]  Panos J. Antsaklis,et al.  Stability and stabilizability of discrete event dynamic systems , 1991, JACM.

[18]  Alan S. Willsky,et al.  Mathematics of Control, Signals, and Systems Invertibility of Discrete-event Dynamic Systems* , 2022 .

[19]  Alan S. Willsky,et al.  Aggregation and multi-level control in discrete event dynamic systems , 1992, Autom..