Active diagnosis of discrete-event systems

IEEE Transactions on Automatic Control

Volumn 43, Issue 7, 1998, Pages 908-929

  Sampath, Meera ^a,b   Lafortune, Stéphane ^a,c   Teneketzis, Demosthenis ^a,c  

^a IEEE   (United States)

^b XEROX CORPORATION   (United States)

^c University of Michigan   (United States)

Author keywords

Discrete event systems; Failure diagnosis; Finite state machines

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; CONVERGENCE OF NUMERICAL METHODS; DISCRETE TIME CONTROL SYSTEMS; FAILURE ANALYSIS; ITERATIVE METHODS; OBSERVABILITY; PUMPS; VALVES (MECHANICAL);

ACTIVE DIAGNOSIS PROBLEM; DISCRETE EVENT SYSTEMS; FINITE STATE MACHINES;

CONTROL SYSTEM ANALYSIS;

EID: 0032122101     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.701089     Document Type: Article

References (13)

1. R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," Syst. Contr. Lett., vol. 15, no. 2, pp. 111-117, Aug. 1990.
2. C. Cassandras, S. Lafortune, and G. Olsder, "Introduction to the modeling, control and optimization of discrete event systems," in Trends in Control. A European Perspective, A. Isidori, Ed. New York: Springer-Verlag, 1995, pp. 217-291.
3. C. Golaszewski and P. Ramadge, "Control of discrete event processes with forced events," in Proc. 26th IEEE Conf. Decision and Control, Los Angeles, CA, Dec. 1987, pp. 247-251.
4. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
5. S. Lafortune and E. Chen, "The infimal closed controllable superlanguage and its application in supervisory control," IEEE Trans. Automat. Contr., vol. 35, pp. 398-405, Apr. 1990.
6. F. Lin, private communication, 1990.
7. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inform. Sci., vol. 44, pp. 173-198, 1988.
8. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, Jan. 1989.
9. M. Sampath, "A discrete event systems approach to failure diagnosis," Ph.D. dissertation, Dept. Electrical Engineering and Computer Science, Univ. Michigan, Ann Arbor, 1995.
10. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. Automat. Contr., vol. 40, pp. 1555-1575, Sept. 1995.
11. _, "Failure diagnosis using discrete event models," IEEE Trans. Contr. Syst. Technol., vol. 4, pp. 105-124, Mar. 1996.
12. J. G. Thistle, "Control of infinite behavior of discrete-event systems," Ph.D dissertation, Systems Control Group Rep. 9012, Univ. Toronto, Jan. 1991.
13. _, "Supervisory control of discrete event systems," Math. Computer Modeling, vol. 23, nos 11/12, pp. 25-53, 1996.