An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions

Systems and Control Letters

Volumn 56, Issue 9-10, 2007, Pages 656-661

  Wang, Weilin ^a   Lafortune, Stéphane ^a   Lin, Feng ^b  

^a The Department of Civil and Environmental Engineering   (United States)

^b WAYNE STATE UNIVERSITY   (United States)

Author keywords

Automata; Discrete event systems; Observability; State clusters; Supervisory control

Indexed keywords

PARTIAL OBSERVATION; STATE CLUSTERS; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION; DISTRIBUTED PARAMETER CONTROL SYSTEMS; FINITE AUTOMATA; OBSERVABILITY; POLYNOMIAL APPROXIMATION; PROBLEM SOLVING;

ALGORITHMS;

EID: 34447574957     PISSN: 01676911     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.sysconle.2007.03.006     Document Type: Article

References (10)

1. Cassandras C.G., and Lafortune S. Introduction to Discrete Event Systems (1999), Kluwer Academic Publishers, Dordrecht, MA
2. Lafortune S., and Chen E. The infimal closed controllable superlanguage and its application in supervisory control. IEEE Trans. Automat. Control 35 4 (1990) 398-405
3. Lin F., and Wonham W.M. On observability of discrete-event systems. Inform. Sci. 44 (1988) 173-198
4. Ramadge P.J., and Wonham W.M. The control of discrete event systems. Proc. IEEE 77 1 (1989) 81-98
5. Rudie K., Lafortune S., and Lin F. Minimal communication in a distributed discrete-event system. IEEE Trans. Automat. Control 48 6 (2003) 957-975
6. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., and Teneketzis D. Failure diagnosis using discrete event models. IEEE Trans. Control Syst. Technol. 4 2 (1996) 105-124
7. S. Shu, F. Lin, H. Ying, Detectability of discrete event systems, Preprint, Dept. of Electrical and Computer Engineering, Wayne State University, 2006.
8. Tsitsiklis J.N. On the control of discrete-event dynamical systems. Math. Control Signals Systems 2 (1989) 95-107
9. W. Wang, Optimization of communication and coverage in classes of distributed systems, Ph.D. Thesis, Department of Electrical Engineering and Computer Science, University of Michigan, 2007.
10. Yoo T.-S., and Lafortune S. Polynomial-time verification of diagnosability of partially-observed discrete event systems. IEEE Trans. Automat. Control 47 9 (2002) 1491-1495