Observability of discrete event dynamic systems
- 1 July 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 35 (7), 797-806
- https://doi.org/10.1109/9.57018
Abstract
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.Keywords
This publication has 12 references indexed in Scilit:
- Output Stabilizability of Discrete Event Dynamic SystemsPublished by Defense Technical Information Center (DTIC) ,1989
- Decentralized supervisory control of discrete-event systemsInformation Sciences, 1988
- On observability of discrete-event systemsInformation Sciences, 1988
- Supervisory control of discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988
- Modular Feedback Logic for Discrete Event SystemsSIAM Journal on Control and Optimization, 1987
- Time-based air-traffic management using expert systemsIEEE Control Systems Magazine, 1987
- Observability of discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- A temporal logic approach to real time controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- Data-driven automation. Production: a dynamic challengeIEEE Spectrum, 1983
- Algebraic Automata TheoryPublished by Cambridge University Press (CUP) ,1982