Inference-based ambiguity management in decentralized decision-making: Decentralized diagnosis of discrete-event systems

IEEE Transactions on Automation Science and Engineering

Volumn 6, Issue 3, 2009, Pages 479-491

  Kumar, Ratnesh ^a   Takai, Shigemasa ^b  

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

^b OSAKA UNIVERSITY   (Japan)

Author keywords

Ambiguity; Decentralized diagnosis; Discrete event systems (DESs); Inference diagnosability; Inferencing; Knowledge

Indexed keywords

AMBIGUITY; DECENTRALIZED DIAGNOSIS; DISCRETE- EVENT SYSTEMS (DESS); INFERENCE-DIAGNOSABILITY; INFERENCING; KNOWLEDGE;

DECISION MAKING;

EID: 68149155563     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2009.2021330     Document Type: Conference Paper

References (39)

1. R. K. Boel and J. H. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," in Proc. 6th Int. Workshop Discrete Event Syst., Zaragoza, Spain, Sep. 2002, pp. 175-181.
2. P. Bouyer, F. Chevalier, and D. D'Souza, "Fault diagnosis using timed automata," in Proc. 8th Int. Conf. Foundations of Software Science and Computation Structures, Edinburgh, U.K., Apr. 2005, vol. 3441, Lecture Notes in Computer Science, pp. 219-233.
3. O. Contant, S. Lafortune, and D. Teneketzis, "Diagnosis of intermittent faults," Discrete Event Dyn. Syst.: Theory Applicat., vol. 14, no. 2, pp. 171-202, Apr. 2004.
4. S. R. Das and L. E. Holloway, "Characterizing a confidence space for discrete event timings for fault monitoring using discrete sensing and actuation signals," IEEE Trans. Syst., Man, Cybern. A, vol. 30, no. 1, pp. 52-66, Jan. 2000.
5. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discrete Event Dyn. Syst.: Theory Applicat., vol. 10, no. 1-2, pp. 33-86, Jan. 2000.
6. S. Hashtrudi Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction," IEEE Trans. Autom. Contr., vol. 48, no. 7, pp. 1199-1212, Jul. 2003.
7. S. Hashtrudi Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Incorporating timing information," IEEE Trans. Autom. Contr., vol. 50, no. 7, pp. 1010-1015, Jul. 2005.
8. L. E. Holloway and S. Chand, "Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations," Integr. Comput.-Aided Eng., vol. 3, no. 4, pp. 244-254, 1996.
9. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial algorithm for testing diagnosability of discrete-event systems," IEEE Trans. Autom. Contr., vol. 46, no. 8, pp. 1318-1321, Aug. 2001.
10. S. Jiang and R. Kumar, "Failure diagnosis of discrete-event systems with linear-time temporal logic specifications," IEEE Trans. Autom. Contr., vol. 49, no. 6, pp. 934-945, Jun. 2004.
11. 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, Jan. 2006.
12. S. Jiang and R. Kumar, "Diagnosis of dense-time systems using digital-clocks," in Proc. 2006 Amer. Contr. Conf., Minneapolis, MN, Jun. 2006, pp. 6051-6056.
13. S. Jiang, R. Kumar, and H. E. Garcia, "Diagnosis of repeated/intermittent failures in discrete event systems," IEEE Trans. Robot. Automat., vol. 19, no. 2, pp. 310-323, Apr. 2003.
14. R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems. Boston, MA: Kluwer, 1995.
15. R. Kumar andS. Takai, "Inference-based ambiguity management inde-centralized decision-making: Decentralized diagnosis of discrete event systems," in Proc. 2006 Amer. Contr. Conf., Minneapolis, MN, Jun. 2006, pp. 6069-6074.
16. R. Kumar and S. Takai, "Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems," IEEE Trans. Autom. Contr., vol. 52, no. 10, pp. 1783-1794, Oct. 2007.
17. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dyn. Syst.: Theory Applicat., vol. 4, no. 2, pp. 197-212, May 2004.
18. D. Pandalai and L. E. Holloway, "Template languages for fault monitoring of timed discrete event processes," IEEE Trans. Autom. Contr., vol. 45, no. 5, pp. 868-882, May 2000.
19. 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.
20. 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, May 2008.
21. W. Qiu, R. Kumar, and S. Jiang, "On decidability of distributed diagnosis under unbounded-delay communication," IEEE Trans. Autom. Contr., vol. 52, no. 1, pp. 114-117, Jan. 2007.
22. S. L. Ricker and K. Rudie, "Know means no: Incorporating knowledge into discrete-event control systems," IEEE Trans. Autom. Contr., vol. 45, no. 9, pp. 1656-1668, Sep. 2000.
23. S. L. Ricker and K. Rudie, "Knowledge is a terrible thing to waste: Using inference in discrete-event control problems," IEEE Trans. Autom. Contr., vol. 52, no. 3, pp. 428-441, Mar. 2007.
24. S. L. Ricker and J. H. van Schuppen, "Decentralized failure diagnosis with asynchronous communication between supervisors," in Proc. Eur. Contr. Conf. 2001, Porto, Portugal, Sep. 2001, pp. 1002-1006.
25. M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete-event systems," IEEE Trans. Autom. Contr., vol. 43, no. 7, pp. 908-929, Jul. 1998.
26. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Autom. Contr., vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
27. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, "Failure diagnosis using discrete-event models," IEEE Trans. Contr. Syst. Technol., vol. 4, no. 2, pp. 105-124, Mar. 1996.
28. R. Sengupta and S. Tripakis, "Decentralized diagnosability of regular languages is undecidable," in Proc. 41st IEEE Conf. Decision and Contr., Las Vegas, NV, Dec. 2002, pp. 423-428.
29. R. Su and W. M. Wonham, "Global and local consistencies in distributed fault diagnosis for discrete-event systems," IEEE Trans. Autom. Contr., vol. 50, no. 12, pp. 1923-1935, Dec. 2005.
30. 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 Syst., Ann Arbor, MI, Jul. 2006, pp. 242-247.
31. S. Takai and R. Kumar, "Inference-diagnosability: Nonconvergence and other complexity results," in Proc. SICE Annu. Conf. 2007, Kagawa, Japan, Sep. 2007, pp. 533-539.
32. D. Thorsley and D. Teneketzis, "Diagnosability of stochastic discrete-event systems," IEEE Trans. Autom. Contr., vol. 50, no. 4, pp. 476-492, Apr. 2005.
33. S. Tripakis, "Fault diagnosis for timed automata," in Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems, Oldenburg, Germany, Sep. 2002, vol. 2469, Lecture Notes in Computer Science, pp. 205-221.
34. Y. Wang, T.-S. Yoo, and S. Lafortune, "New results on decentralized diagnosis of discrete-event systems," in Proc. 2004 Annu. Allerton Conf. Commun. Contr., Comput., Monticello, IL, Sep. 2004.
35. 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 Contr. Eur. Contr. Conf. 2005, Seville, Spain, Dec. 2005, pp. 6298-6304.
36. T.-S. Yoo and H. E. Garcia, "Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays," in Proc. 2004 Amer. Contr. Conf., Boston, MA, Jun. 2004, pp. 5102-5107.
37. T.-S. Yoo and S. Lafortune, "Polynomial-time verification of diag-nosability of partially observed discrete-event systems," IEEE Trans. Autom. Contr., vol. 47, no. 9, pp. 1491-1495, Sep. 2002.
38. T.-S. Yoo and S. Lafortune, "Decentralized supervisory control with conditional decisions: Supervisor existence," IEEE Trans. Autom. Contr., vol. 49, no. 11, pp. 1886-1904, Nov. 2004.
39. C. Zhou and R. Kumar, "Computation of diagnosable fault-occurrence indices for systems with repeatable-faults," in Proc. 44th IEEE Conf. Decision and Contr. Eur. Contr. Conf. 2005, Seville, Spain, Dec. 2005, pp. 6311-6316.