Polynomial time verification of decentralized diagnosability of discrete event systems

IEEE Transactions on Automatic Control

Volumn 56, Issue 7, 2011, Pages 1679-1684

  Moreira, Marcos V ^a   Jesus, Thiago C ^a   Basilio, João C ^a  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

Automata; computational complexity; diagnosability verification; discrete event systems (DES); failure diagnosis

Indexed keywords

AUTOMATA; DECENTRALIZED ARCHITECTURE; DIAGNOSABILITY; DIAGNOSABILITY OF DISCRETE EVENT SYSTEMS; DIAGNOSERS; FAILURE DIAGNOSIS; NUMBER OF STATE; POLYNOMIAL-TIME; TECHNICAL NOTES;

ALGORITHMS; POLYNOMIAL APPROXIMATION;

COMPUTATIONAL COMPLEXITY;

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

References (22)

1. N. Viswanadham and T. L. Johnson, "Fault detection and diagnosis of automated manufacturing systems," in Proc. 27th Conf. Decis. Control, Austin, TX, 1988, pp. 2301-2306.
2. P. Frank, "Fault diagnosis in dynamic systems using analytical knowledge based redundancy-A survey and new results," Automatica, vol. 26, pp. 459-474, 1990. (Pubitemid 21672291)
3. F. Lin, "Diagnosability of discrete event systems and its applications," J. Discrete Event Dyn. Syst., vol. 4, no. 2, pp. 197-212, 1994.
4. 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.
5. 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. (Pubitemid 126782836)
6. R. K. Boel and J. H. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," in Proc. Int. Workshop Discrete Event Syst., Zaragoza, Spain, 2002, pp. 175-181.
7. S. Tripakis, "Fault diagnosis for timed automata," in Lecture Notes in Computer Sciences, In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT). New York: Springer-Verlag, 2002, vol. 2469.
8. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction," IEEE Trans. Autom. Control, vol. 48, no. 7, pp. 1199-1212, Jul. 2003.
9. D. Thorsley and D. Teneketzis, "Diagnosability of stochastic discrete-event systems," IEEE Trans. Autom. Control, vol. 50, no. 4, pp. 476-492, Apr. 2005. (Pubitemid 40555770)
10. O. Contant, S. Lafortune, and D. Teneketzis, "Diagnosability of discrete event systems with modular structure," Discrete Event Dyn. Syst.-Theory Appl., vol. 16, no. 1, pp. 9-37, 2006. (Pubitemid 43261383)
11. R.Kumar and S. Takai, "Inference-based ambiguity management in decentralized decision-making: Decentralized diagnosis of discrete-event systems," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 3, pp. 479-491,2009.
12. E. Athanasopoulou, L. Lingxi, and C. Hadjicostis, "Maximum likelihood failure diagnosis in finite state machines under unreliable observations," IEEE Trans. Autom. Control, vol. 55, no. 3, pp. 579-593, Mar. 2010.
13. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial algorithm for testing diagnosability of discrete-event systems," IEEE Trans. Autom. Control, vol. 46, no. 8, pp. 1318-1321, Aug. 2001. (Pubitemid 32829763)
14. T.-S. Yoo and S. Lafortune, "Polynomial-time verification of diagnosability of partially observed discrete-event systems," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1491-1495, Sep. 2002.
15. W. Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems," IEEE Trans. Syst., Man, Cybern. A, vol. 36, no. 2, pp. 384-395, Mar. 2006. (Pubitemid 43280558)
16. Y. Wang, T.-S. Yoo, and S. Lafortune, "Diagnosis of discrete event systems using decentralized architectures," Discrete Event Dyn Syst, vol. 17, pp. 233-263, 2007. (Pubitemid 46572780)
17. J. C. Basilio and S. Lafortune, "Robust codiagnosability of discrete event systems," in Proc Amer. Control Conf., St. Louis, MO, 2009, pp. 2202-2209.
18. 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, no. 1, pp. 33-86, 2000. (Pubitemid 30573763)
19. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event System. Secaucus, NJ: Springer-Verlag, 2008.
20. J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Boston, MA: Addison Wesley, 2006.
21. P. J. Ramadge and W. M.Wonham, "The control of discrete event systems," Proc. IEEE, Special Issue Discrete Event Syst., vol. 77, no. 1, pp. 81-98, Jan. 1989.
22. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms. Cambridge, MA: MIT Press, 2007.