Inference-diagnosability: Nonconvergence and other complexity results

Proceedings of the SICE Annual Conference

Volumn , Issue , 2007, Pages 533-539

  Takai, Shigemasa ^a   Kumar, Ratnesh ^b  

^a KYOTO INSTITUTE OF TECHNOLOGY   (Japan)

^b Iowa State University of Science and Technology   (United States)

Author keywords

Decentralized diagnosis; Decentralized diagnosability; Discrete event systems; Inference diagnosability; Inferencing; Knowledge

Indexed keywords

ANNUAL CONFERENCE; COMPLEXITY RESULTS; CONTROL ENGINEERS; DECENTRALIZED DIAGNOSIS; DECENTRALIZED-DIAGNOSABILITY; DIAGNOSABILITY; DISCRETE EVENT SYSTEMS; FINITE STATES; INFERENCE-DIAGNOSABILITY; INFERENCING; KNOWLEDGE; MONOTONICALLY; P RIOR WORK; SPECIFICATION MODELING;

CHLORINE COMPOUNDS;

EID: 50249123816     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SICE.2007.4421041     Document Type: Conference Paper

References (12)

1. R. K. Boel and J. H. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with constrained communication between diagnosers," in Proc. 6th Int. Workshop Discrete Event Systems, pp. 175-181, 2002.
2. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discrete Event Dyna. Syst.: Theory and Appl., vol. 10, no. 1-2, pp. 33-86, 2000.
3. R. Kumar and S. Takai, "Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems," in Proc. 44th IEEE Conf. Decision and Control, and European Control Conf. 2005, pp. 3480-3485, 2005.
4. R. Kumar and S. Takai, "Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems," IEEE Trans. Autom. Control, vol. 52, no. 12, 2007, to appear.
5. R. Kumar and S. Takai, "Inference-based ambiguity management in decentralized decision-making: Decentralized diagnosis of discrete event systems," in Proc. 2006 Amer. Control Conf., pp. 6069-6074, 2006.
6. W. Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems," IEEE Trans. Syst., Man, Cybern.-Part A: Syst. Human, vol. 36, no. 2, pp. 384-395, 2006.
7. W. Qiu and R. Kumar, "Distributed diagnosis under bounded-delay communication of immediately forwarded local observations," in Proc. 2005 Amer. Control Conf., pp. 1027-1032, 2005.
8. R. Sengupta and S. Tripakis, "Decentralized diagnosability of regular languages is undecidable," in Proc. 41st IEEE Conf. Decision and Control, pp. 423-428, 2002.
9. R. Su and W. M. Wonham, "Global and local consistencies in distributed fault diagnosis for discrete-event systems," IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 1923-1935, 2005.
10. S. Takai and R. Kumar, "Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management," in Proc. 8th Int. Workshop Discrete Event Systems, pp. 242-247, 2006.
11. Y. Wang, T.-S. Yoo, and S. Lafortune, "Decentralized diagnosis of discrete event systems using unconditional and conditional decisions," in Proc. 44th IEEE Conf. Decision and Control, and European Control Conf. 2005, pp. 6298-6304, 2005.
12. T.-S. Yoo and S. Lafortune, "Decentralized supervisory control with conditional decisions: Supervisor existence," IEEE Trans. Autom. Control, vol. 49, no. 11, pp. 1886-1904, 2004.