Safe diagnosability of stochastic discrete event systems

IEEE Transactions on Automatic Control

Volumn 53, Issue 5, 2008, Pages 1291-1296

  Liu, Fuchun ^a,b   Qiu, Daowen ^a  

^a SUN YAT SEN UNIVERSITY   (China)

^b GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

Discrete event systems (DESs); Failure diagnosis; Probabilistic models; Safe diagnosability; Stochastic automata

Indexed keywords

DISCRETE EVENT SYSTEMS (DESS); FAILURE DIAGNOSIS; PROBABILISTIC MODELS; SAFE DIAGNOSABILITY; STOCHASTIC AUTOMATA;

STOCHASTIC PROGRAMMING;

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

References (20)

1. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen, "Model-checking algorithms for continuous time Markov chains," IEEE Trans. Softw. Eng., vol. 29, no. 6, pp. 524-541, Jun. 2003.
2. C. Bertolini Brenner, P. Fernandes, and A. Sales, "Structured stochastic modeling of fault-tolerant systems," in [iProc. IEEE Comput. Soc. 12th Annu. Int. Symp. Model., Anal., Simul. Comput. Telecommun. Syst. (MASCOTS'04), pp. 139-146.
3. 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'04), pp. 251-260.
4. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discr. Event Dyn. Syst.: Theory Appl., vol. 10, pp. 33-79, 2000.
5. E.-E. Doberkat, "Congruences and bisimulations for continuous-time stochastic logic," in Proc. ICTAC'2005 Theoret. Aspects of Comput. vol. 3722, D. V. Hung and M. Wirsing, Eds. (Lecturer Notes in Computer Science), New York: Springer-Verlag, 2005, pp. 422-436.
6. S. Jiang and R. Kumar, "Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications," in Proc. 2002 Amer. Control Conf., May, pp. 128-133.
7. S. Jiang, R. Kumar, and H. Garcia, "Diagnosis of repeated failures in discrete event systems," in Proc. 41st IEEE Conf. Decision Control, Dec. 2002, pp. 4000-4005.
8. 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.
9. F. Lin, "Diagnosability of discrete event systems and its applications," Discr. Event Dyn. Syst.: Theory Appl., vol. 4, pp. 197-212, 1994.
10. J. Lunze and J. Schröder, "State observation and diagnosis of discrete-event systems described by stochastic automata," Discr. Event Dyn. Syst.: Theory Appl., vol. 11, pp. 319-369, 2001.
11. A. Paoli and S. Lafortune, "Safe diagnosability for fault-tolerant supervision of discrete event systems," Automatica, vol. 41, pp. 1335-1347, 2005.
12. A. Paz, Introduction to Probabilistic Automata. New York: Academic, 1971.
13. B. Plateau and K. Atif, "Stochastic automata network for modeling parallel systems," IEEE Trans. Softw. Eng., vol. 17, no. 10, pp. 1093-1108, Oct. 1991.
14. W. Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems," in Proc. 7th Int. Workshop Discr. Event Syst., Sep. 2004, pp. 22-24.
15. L. Rozé and M. O. Cordier, "Diagnosing discrete event systems: Extending the Diagnoser Approach to deal with telecommunication networks," Discr. Event Dyn. Syst.: Theory Appl., vol. 12, pp. 43-81, 2002.
16. 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.
17. 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.
18. 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.
19. D. Thorsley and D. Teneketzis, "Diagnosability of stochastic discrete-event systems," IEEE Trans. Autom. Control, vol. 50, no. 4, pp. 476-492, Apr. 2005.
20. T. Yoo and S. Lafortune, "Polynomial-time verification of diagnos-ability of partially observed discrete-event systems," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1491-1495, Sep. 2002.