Decentralized diagnosis of stochastic discrete event systems

IEEE Transactions on Automatic Control

Volumn 53, Issue 2, 2008, Pages 535-546

  Liu, Funchun ^a,b   Qiu, Daowen ^a   Xing, Hongyan ^a   Fan, Zhujun ^a  

^a SUN YAT SEN UNIVERSITY   (China)

^b GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

Codiagnosability; Decentralized diagnosis; Discrete event systems; Fault diagnosis; Stochastic automata

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL METHODS; DISCRETE EVENT SIMULATION; FAILURE ANALYSIS; STOCHASTIC CONTROL SYSTEMS;

CODIAGNOSABILITY; DECENTRALIZED DIAGNOSIS; STOCHASTIC AUTOMATA;

DECENTRALIZED CONTROL;

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

References (37)

1. C.G.Cassandras and S. Lafortun, Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.
2. A. Paz, Introduction to Probabilistic Automata. New York: Academic, 1971.
3. S. Bavshi and E. Chong, "Automated fault diagnosis of using a discrete event systems framework," in Proc. 9th IEEE Int. Symp. Intell. Control, 1994, pp. 213-218.
4. R. K. Boel and J. H. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with constrained communication between diagnosers," presented at the 6th Int.Workshop Discrete Event Syst. (WODES 2002), Zaragoza, Spain, Oct.
5. A. Darwiche and G. Provan, "Exploiting system structure in model based diagnosis of discrete event systems," in Proc. 7th Annu. Int. Workshop Princ. Diagn. (DX 1996), Oct., pp. 95-105.
6. R. Debouk, "Failure diagnosis of decentralized discrete event systems," Ph.D. dissertation, Dept. Elec. Eng. Comp. Sci., Univ. Michigan, Ann Arbor, 2000.
7. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discrete Event Dyn. Syst. Theory Appl., vol. 10, pp. 33-79, 2000.
8. R. Debouk, S. Lafortune, and D. Teneketzis, "On the effect of communication delays in failure diagnosis of decentralized discrete event systems," Discrete Event Dyn. Syst., Theory Appl., vol. 13, pp. 263-289, 2003.
9. P. Frank, "Fault diagnosis in dynamic systems using analytical and knowledge based redundancy - A survey and some new results," Automatica, vol. 26, pp. 459-474, 1990.
10. E. Garcia, F. Morant, R. Blasco-Giminez, A. Correcher, and E. Quiles, "Centralized modular diagnosis and the phenomenon of coupling," in Proc. IEEE Int. Workshop Discrete Event Syst. (WODES 2002), Zaragoza, Spain, Oct., pp. 161-168.
11. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial-time algorithm for diagnosability of discrete event systems," IEEE Trans. Autom. Control., vol. 46, no. 8, pp. 1318-1321, Aug. 2001.
12. S. Jiang, R. Kumar, and H. Garcia, "Diagnosis of repeated failures in discrete event systems," in Proc. 41st IEEE Conf. Decis. Control, Dec. 2002, pp. 4000-4005.
13. 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., pp. 2058-2071.
14. G. Lamperti and M. Zanella, "Diagnosis of discrete event systems integrating synchronous and asynchronous behavior," in Proc. 9th Int. Workshop Princ. Diagn. (DX 1999), pp. 129-139.
15. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dyn. Syst., Theory Appl., vol. 4, no. 2, pp. 197-212, May 1994.
16. J. Lunze and J. Schröder, "State observation and diagnosis of discrete-event systems described by stochastic automata," Discrete Event Dyn. Syst., Theory Appl., vol. 11, pp. 319-369, 2001.
17. 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.
18. Y. Pencolé, "Decentralized diagnoser approach: Application to telecommunication networks," in Proc. 11th Int. Workshop Princ. Diagn. (DX 2000), Jun., pp. 185-192.
19. G. Provan and Y. L. Chen, "Diagnosis of timed discrete event systems using temporal causal networks: Modeling and analysis," in Proc. Int. Workshop Discrete Event Syst. (WODES 1998), Aug., pp. 152-154.
20. G. Provan and Y. L. Chen, "Model-based diagnosis and control reconfiguration for discrete event systems: An integrated approach," in Proc. 38th IEEE Conf. Decis. Control, Dec. 1999, pp. 1762-1768.
21. W. Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems," in Proc. 7th Int. Workshop Discrete Event Syst., Sep. 2004, pp. 22-24.
22. S. L. Ricker and J. H. van Schuppen, "Decentralized failure diagnosis with asynchronous communication between supervisors," in Proc. Eur. Control Conf., 2001, pp. 1002-1006.
23. L. Rozé eacute; and M. O. Cordier, "Diagnosing discrete event systems: Extending the 'Diagnoser Approach' to deal with telecommunication networks," Discrete Event Dyn. Syst., Theory Appl. vol. 12, pp. 43-81, 2002.
24. 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.
25. 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.
26. M. Sampath, R. Sengupta, S. Lafortunc, 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.
27. R. Sengupta, "Discrete-event diagnostics of automated vehicles and highways," presented at the 2001 Amer. Control Conf., Anchorage, AK, Jun.
28. R. Sengupta and S. Tripakis, "Decentralized failure diagnosis of regular language is undecidable," in Proc. IEEE Conf. Decis. Control Dec. 2002, pp.423-428.
29. K. Sinnamohideen, "Discrete-event diagnostics of heating, ventilation, and air-conditioning systems," in Prac. 2001 Amer. Control Conf., Jun., pp.2072-2076.
30. R. Su and W. Wonham, "Global and local consistencies in distributed fault diagnosis for discrete-event systems," IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 1923-1935, Dec. 2005.
31. D. Thorsley and D. Teneketzis, "Diagnosability of stochastic discrete-event systems," IEEE Trans. Autom. Control, vol. 50, no. 4, pp. 476-492, Apr. 2005.
32. N. Viswanadham and T. Johnson, "Fault detection and diagnosis of automated manufacturing systems," in Proc. 27th IEEE Conf. Decis. Control, Dec. 1988, pp. 2301-2306.
33. 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., Dec. 1998, pp. 3769-3774.
34. S. H. Zad, R. Kwong, and W. Wonham, "Fault diagnosis in discrete event systems: Framework and model reduction," in Proc. 37th IEEE Conf. Decis. Control, Dec. 1998, pp. 3769 3774.
35. J. Neidig and J. Lunze, "Decentralised diagnosis of automata networks," presented at the 16th IFAC World Congr., Prague, Czech Republic, 2005.
36. C. Bertolini, A. G. Farina, P. Fernandes, and F. M. Oliveira, "Test case generation using stochastic automata networks: Quantitative analysis," in Proc. 2nd Int. Conf. Softw. Eng. Formal Methods (SEFM 2004), pp. 251-260.
37. C. Bertolini, L. Brenner, P. Fernandes, and A. Sales, "Structured stochastic modeling of fault-tolerant systems," in Proc. IEEE Comput. Soc. 12th Annu. Int. Symp. Model. Anal. Simul. Comput. Telecommun. Syst. (MASCOTS 2004), pp. 139-146.