Diagnosability of stochastic discrete-event systems

IEEE Transactions on Automatic Control

Volumn 50, Issue 4, 2005, Pages 476-492

  Thorsley, David ^a   Teneketzis, Demosthenis ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Discrete event systems; Failure detection; Fault diagnosis; Probabilistic models; Stochastic automata

Indexed keywords

AUTOMATA THEORY; CONTROL SYSTEM ANALYSIS; MARKOV PROCESSES; MATHEMATICAL MODELS; PROBABILITY; STOCHASTIC CONTROL SYSTEMS;

DIAGNOSABILITY; FAILURE DETECTION; FAULT DIAGNOSIS; PROBABILISTIC MODEL; STOCHASTIC AUTOMATA;

DISCRETE TIME CONTROL SYSTEMS;

EID: 17644390232     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2005.844722     Document Type: Article

References (32)

1. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
2. A. Paz, Introduction to Probabilistic Automata. New York: Academic, 1971.
3. S. Lafortune, D. Teneketzis, M. Sampath, R. Sengupta, and K. Sinnamohideen, "Failure diagnosis of dynamic systems: An approach based on discrete event systems," in Proc. 2001 Amer. Control Conf., Jun. 2001, pp. 2058-2071.
4. S. Jiang, R. Kumar, and H. Garcia, "Diagnosis of repeated failures in discrete event systems," in Proc. 41st IEEE Conf. Decision and Control, Dec. 2002, pp. 4000-4005.
5. M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete-event systems," IEEE Trans. Autom. Control, vol. 43, no. 7, pp. 908-929, Jul. 1998.
6. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete-event models," IEEE Trans. Control Syst. Technol., vol. 4. no. 2, pp. 105-124, Mar. 1996.
7. D. Pandalai and L. Holloway, "Template languages for fault monitoring of discrete event processes," IEEE Trans. Autom. Control, vol. 45, no. 5, pp. 868-882, May 2000.
8. F. Lin, "Diagnosability of discrete event systems and its application," Discrete Event Dyna. Syst.: Theory Appl., vol. 4, no. 2, pp. 197-212, May 1994.
9. S. Jiang and R. Kumar, "Failure diagnosis of discrete event systems with linear-time temporal logic fault specificatioans," in Proc. 2002 Amer. Control Conf., May 2002, pp. 128-133.
10. S. Bavishi and E. Chong, "Automated fault diagnosis using a discrete event systems framework," in Proc. 9th IEEE Int. Symp. Intelligent Control, 1994, pp. 213-218.
11. R. Debouk, "Failure diagnosis of decentralized discrete event systems," Ph.D. dissertation, Elec. Eng. Comp. Sci. Dept., University of Michigan, Ann Arbor, MI, 2000.
12. G. Lamperti and M. Zanella, "Diagnosis of discrete event systems integrating synchronous and asynchronous behvior," in Proc. 9th Int. Workshop on Principles of Diagnosis (DX'99), 1999, pp. 129-139.
13. G. Provan and Y.-L. Chen, "Diagnosis of timed discrete event systems using temporal causal networks: Modeling and analysis," in Proc. 1998 Int. Workshop on Discrete Event Systems (WODES '98), Aug. 1998, pp. 152-154.
14. S. H. Zad. R. Kwong, and W. Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction," in Proc. 37th IEEE Conf. Decision and Control, Dec. 1998, pp. 3769-3774.
15. E. Garcia, F. Morant, R. Blasco-Giminez, A. Correcher, and E. Quiles, "Centralized modular diagnosis and the phenomenon of coupling," in Proc. 2002 IEEE Int. Workshop on Discrete Event Systems (WODES '02), Oct. 2002, pp. 161-168.
16. A. Darwiche and G. Provan, "Exploiting system structure in model-based diagnosis of discrete event systems," in Proc. 7th Annu. Int. Workshop on the Principles of Diagnosis (DX'96), Oct. 1996. pp. 95-105.
17. G. Provan and Y.-L. Chen, "Model-based diagnosis and control reconfiguration for discrete event systems: An integrated approach," in Proc. 38th IEEE Conf. Decision and Control, Dec. 1999, pp. 1762-1768.
18. R. Sengupta, "Discrete-event diagnostics of automated vehicles and highways," in Proc. 2001 Amer. Control Conf., Jun. 2001.
19. K. Sinnamohideen, "Discrete-event diagnostics of heating, ventilation, and air-conditioning systems," in Proc. 2001 Amer. Control Conf., Jun. 2001. pp. 2072-2076.
20. N. Viswanadham and T. Johnson, "Fault detection and diagnosis of automated manufacturing systems," in Proc. 27th IEEE Conf. Decision and Control, 1988, pp. 2301-2306.
21. F. Lin, J. Markee, and B. Rado, "Design and test of mixed signal circuits: A discrete event approach," in Proc. 32th IEEE Conf. Decision and Control, Dec. 1993, pp. 246-251.
22. L. Holloway and S. Chand, "Time templates for discrete event fault monitoring in manufacturing systems," in Proc. 1994 Amer. Control Conf., 1994, pp. 701-706.
23. G. Westerman, R. Kumar, C. Stround, and J. Heath, "Discrete event system approach for delay fault analysis in digital circuits," in Proc. 1998 Amer. Control Conf., 1998, pp. 239-243.
24. Y. Pencolé, "Decentralized diagnoser approach: Application to telecommunication networks," in Proc. 11th Int. Workshop on Principles of Diagnosis (DX'O0), Jun. 2000, pp. 185-192.
25. J. Lunze and J. Schröder, "State observation and diagnosis of discrete-event systems described by stochastic automata," Discrete Event Dyna. Syst.: Theory Appl., vol. 11, no. 4, pp. 319-369, 2001.
26. D. Thorsley and D. Teneketzis, "Diagnosability of stochastic automata," in Proc. 42nd IEEE Conf. Decision and Control, Dec. 2003, pp. 6289-6294.
27. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.
28. P. Kumar and P. Varaiya, Stochastic Systems: Estimation, Identification, and Adaptive Control. Upper Saddle River, NJ: Prentice-Hall, 1986.
29. P. Brémaud, Markov Chains: Gibbs Fields, Monte Carlo Simulation and Queues. New York: Springer-Verlag, 1999.
30. P. Hoel, S. Port, and C. Stone, Introduction to Stochastic Processes Prospect Heights. IL: Waveland Press, 1987.
31. D. Snyder, Random Point Processes. New York: Wiley, 1975.
32. M. Sampath, "A discrete event systems approach to failure diagnosis," Ph.D. dissertation, Univ. Michigan, Ann Arbor, MI, 1995.