On codiagnosability and coobservability with dynamic observations

IEEE Transactions on Automatic Control

Volumn 56, Issue 7, 2011, Pages 1551-1566

  Wang, Weilin ^a   Girard, Anouck R ^a   Lafortune, Stéphane ^a   Lin, Feng ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b Wayne State University   (United States)

Author keywords

diagnosability; Discrete event systems (DES); observability

Indexed keywords

CO-OBSERVABILITY; DIAGNOSABILITY; DISCRETE EVENT SYSTEMS (DES); DYNAMIC OBSERVATION; POLYNOMIAL COMPLEXITY; STATE SPACE; SYSTEM-BASED; TESTING PROCEDURE; UNIFIED METHOD;

AUTOMATA THEORY; COMPUTATIONAL EFFICIENCY;

PROBLEM SOLVING;

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

References (38)

1. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dyn. Syst.: Theory Appl., vol. 4, no. 2, pp. 197-212, May 1994.
2. 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.
3. 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/2, pp. 33-86, Jan. 2000. (Pubitemid 30573763)
4. L. Rozé and M.-O. Cordier, "Diagnosis discrete-event systems: Extending the diagnoser approach to deal with telecommunication networks," Discrete Event Dyn. Syst.: Theory Appl., vol. 12, pp. 43-81, 2002. (Pubitemid 34138683)
5. A. Benveniste, E. Fabre, S. Haar, and C. Jard, "Diagnosis of asynchronous discrete event systems: A net unfolding approach," IEEE Trans. Autom. Control, vol. 48, no. 5, pp. 714-727, May 2003.
6. S. Jiang and R. Kumar, "Failure diagnosis of discrete-event systems with linear-time temporal logic specifications," IEEE Trans. Autom. Control, vol. 49, no. 6, pp. 934-945, Jun. 2004.
7. S. Zad, R. Kwong, and W.Wonham, "Fault diagnosis in discrete-event systems: Incorporating timing information," IEEE Trans. Autom. Control, vol. 50, no. 7, pp. 1010-1015, Jul. 2005. (Pubitemid 41078402)
8. F. Lin and W. Wonham, "On observability of discrete-event systems," Inform. Sci., vol. 44, no. 3, pp. 173-198, 1988.
9. R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Trans. Autom. Control, vol. AC-33, no. 3, pp. 249-260, Mar. 1988. (Pubitemid 18612044)
10. C. M. Özveren and A. S. Willsky, "Observability of discrete event dynamic systems," IEEE Trans. Autom. Control, vol. 35, no. 7, pp. 797-806, Jul. 1990.
11. K. Rudie and W. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Autom. Control, vol. 37, no. 11, pp. 1692-1708, Nov. 1992.
12. P. Caines and S.Wang, "COCOLOG: A conditional observer and controller logic for finite machines," SIAM J. Control Optim., vol. 33, no. 6, pp. 1687-1715, 1995.
13. S. L. Ricker and K. Rudie, "Know means no: Incorporating knowledge into discrete-event control systems," IEEE Trans. Autom. Control, vol. 45, no. 9, pp. 1656-1668, Sep. 2000. (Pubitemid 32067054)
14. A. Overkamp and J. van Schuppen, "Maximal solutions in decentralized supervisory control," SIAM J. Control Optim., vol. 39, no. 2, pp. 492-511, 2000. (Pubitemid 32272675)
15. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial time algorithm for testing diagnosability of discrete event systems," IEEE Trans. Autom. Control, vol. 46, no. 8, pp. 1313-1318, Aug. 2001.
16. 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.
17. 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)
18. Y. Wang, T. Yoo, and S. Lafortune, "Diagnosis of discrete event systems using decentralized architectures," Discrete Event Dyn. Syst.: Theory Appl., vol. 17, no. 2, pp. 233-263, Jun. 2007. (Pubitemid 46572780)
19. J. Tsitsiklis, "On the control of discrete event dynamical systems," Math. Control, Signals Syst., vol. 2, no. 2, pp. 95-107, 1989.
20. K. Rudie and J. C.Willems, "The computational complexity of decentralized discrete-event control problems," IEEE Trans. Autom. Control, vol. 40, no. 7, pp. 1313-1318, Jul. 1995.
21. D. Thorsley and D. Teneketzis, "Active acquisition of information for diagnosis and supervisory control of discrete event systems," Discrete Event Dyn. Syst.: Theory Appl., vol. 17, no. 4, pp. 531-586, Dec. 2007.
22. F. Cassez and S. Tripakis, "Fault diagnosis with static and dynamic observers," Fundamenta Inform., vol. 88, no. 4, pp. 497-540, Dec. 2008.
23. W.Wang, S. Lafortune, A. R. Girard, and F. Lin, "Optimal sensor activation for diagnosing discrete event systems," Automatica, vol. 46, no. 7, pp. 1165-1175, Jul. 2010.
24. W. Wang, S. Lafortune, F. Lin, and A. R. Girard, "Minimization of sensor activation in discrete event systems for the purpose of control," IEEE Trans. Autom. Control, vol. 55, no. 11, pp. 2447-2461, Nov. 2010.
25. K. C. Wong and J. H. van Schuppen, "Decentralized supervisory control of discrete-event systems with communication," in Proc. Int. Workshop Discrete Event Syst. (WODES'96), London, U.K., 1996, pp. 284-289.
26. S. L. Ricker and J. H. van Schuppen, "Decentralized failure diagnosis with asynchronuous communication between supervisors," in Proc. Eur. Control Conf. (ECC'01), 2001, pp. 1002-1006.
27. R. K. Boel and J. H. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," in Proc. 8th Int. Workshop Discrete Event Syst. (WODES'02), Los Alamitos, CA, 2002, pp. 175-181.
28. J. H. van Schuppen, "Decentralized control with communication between controllers," in Unsolved Problems in Mathematical Systems and Control Theory, V. D. Blondel and A. Megretski, Eds. Princeton, NJ: Princeton Univ. Press, 2004, pp. 144-150.
29. S. Ricker and B. Caillaud, "Mind the gap: Expanding communication options in decentralized discrete-event control," in Proc. 46th IEEE Conf. Decision Control, New Orleans, LA, Dec. 2007, pp. 5924-5929. (Pubitemid 351278084)
30. W. Wang, S. Lafortune, and F. Lin, "Minimization of communication of event occurrences in acyclic discrete event systems," IEEE Trans. Autom. Control, vol. 53, no. 9, pp. 2197-2202, Oct. 2008.
31. W. Wang, S. Lafortune, and F. Lin, "On the minimization of communication in networked systems with a central station," Discrete Event Dyn. Syst.: Theory Appl., vol. 18, no. 4, pp. 415-443, Sep. 2008.
32. 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. 10, pp. 1783-1794, Oct. 2007. (Pubitemid 350130521)
33. 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, Jul. 2009.
34. W. Wang, S. Lafortune, and F. Lin, "An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions," Syst. Control Lett., vol. 56, no. 9, pp. 656-661, Sep. 2007. (Pubitemid 47081210)
35. Y. Huang, K. Rudie, and F. Lin, "Decentralized control of discreteevent systems when supervisors observe particular event occurrences," IEEE Trans. Autom. Control, vol. 53, no. 1, pp. 384-388, Feb. 2008.
36. S. Jiang, R. Kumar, and H. Garcia, "Optimal sensor selection for discrete-event systems with partial observation," IEEE Trans. Autom. Control, vol. 48, no. 3, pp. 369-381, Mar. 2003.
37. R. Debouk, S. Lafortune, and D. Teneketzis, "On an optimization problem in sensor selection," Discrete Event Dyn. Syst.: Theory Appl., vol. 12, no. 4, pp. 417-445, Oct. 2002.
38. W. Wang, A. Girard, S. Lafortune, and F. Lin, "The verification of codiagnosability in the case of dynamic observations," in Proc. Eur. Control Conf., Budapest, Hungary, Aug. 2009, pp. 2578-2583.