Decentralized diagnosis of event-driven systems for safely reacting to failures

IEEE Transactions on Automation Science and Engineering

Volumn 6, Issue 2, 2009, Pages 362-366

  Qiu, Wenbin ^a   Wen, Qin ^b   Kumar, Ratnesh ^b  

^a Sullivan Park Research Center   (United States)

^b Iowa State University   (United States)

Author keywords

Decentralized systems; Discrete event systems (DESs); Fault diagnosis; Safety analysis

Indexed keywords

DECENTRALIZED DIAGNOSIS; DECENTRALIZED SYSTEMS; DIAGNOSABILITY; DIAGNOSERS; DISCRETE-EVENT SYSTEMS (DESS); EVENT-DRIVEN SYSTEMS; EXPONENTIAL COMPLEXITY; FAULT DIAGNOSIS; OFFLINE; ON-LINE DIAGNOSIS; POLYNOMIAL COMPLEXITY; SAFETY ANALYSIS; SAFETY CONDITIONS; SAFETY REQUIREMENTS; SAFETY SPECIFICATIONS;

SECURITY SYSTEMS;

SPECIFICATIONS;

EID: 64049102843     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2008.2009093     Document Type: Article

References (18)

1. R. K. Boel and J. H. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with constrained communication between diagnosers," in Proc. Int. Workshop on Discrete Event Syst., 2002, pp. 175-181.
2. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discrete Event Dynamical Systems: Theory and Applications, vol. 10, pp. 33-79, 2000.
3. 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, 2001.
4. S. Jiang and R. Kumar, "Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications," IEEE Trans. Autom. Control, vol. 49, no. 6, pp. 934-945, 2004.
5. S. Jiang and R. Kumar, "Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications," IEEE Trans. Autom. Sci. Eng., vol. 3, no. 1, pp. 47-59, 2006.
6. S. Jiang, R. Kumar, and H. E. Garcia, "Diagnosis of repeated/intermittent failures in discrete event systems," IEEE Trans. Robot. Autom., vol. 19, no. 2, pp. 310-323, 2003.
7. R. Kumar and S. Takai, "Inference-based ambiguity management in decentralized decision making: Decentralized failure diagnosis of discrete event systems," in Proc. 2006 Amer. Control Conf., Minneapolis, MN, Jun. 2006, pp. 6069-6074.
8. A. Paoli and S. Lafortune, "Safe diagnosability for fault-tolerant supervision of discrete event systems," Automatica, vol. 41, no. 8, pp. 335-1347, 2005.
9. W. Qiu and R. Kumar, "Distributed diagnosis under bounded-delay communication of immediately forwarded local observations," IEEE Trans. Syst., Man, Cybern.-A, vol. 38, no. 3, pp. 628-643, 2008.
10. W. Qiu and R. Kumar, "A new protocol for distributed diagnosis," in Proc. 2006 Amer. Control Conf., Minneapolis, MN, June 2006, pp. 6063-6068.
11. 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, 2006.
12. W. Qiu, R. Kumar, and S. Jiang, "Decidability of distributed diagnosis under unbounded-delay communication," IEEE Trans. Autom. Control, vol. 52, pp. 114-117, 2007.
13. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Autom. Control, vol. 37, no. 11, pp. 1692-1708, Nov. 1992.
14. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
15. R. Sengupta and S. Tripakis, "Decentralized diagnosis of regular language is undecidable," in Proc. IEEE Conf. Decision and Control, Las Vegas, NV, Dec. 2002, pp. 423-428.
16. S. Takai and R. Kumar, "Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management," in Proc. 2006 Int. Workshop on Discrete Event Syst., Ann Arbor, MI, Jul. 2006, pp. 242-247.
17. 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, 2002.
18. 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, 2003.