The verification of codiagnosability in the case of dynamic observations

2009 European Control Conference, ECC 2009

Volumn , Issue , 2014, Pages 2578-2583

  Wang, Weilin ^a   Girard, Anouck R ^a   Lafortune, Stephane ^b   Lin, Feng ^c  

^a UNIVERSITY OF MICHIGAN   (United States)

^b The Department of Civil and Environmental Engineering   (United States)

^c WAYNE STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFICIENCY; DISCRETE EVENT SIMULATION;

COMPUTATIONAL SAVINGS; DIAGNOSABILITY; DYNAMIC OBSERVATION; EVENT SETS; POLYNOMIAL COMPLEXITY; STATE BASED; STATE-DEPENDENT; TESTING PROCEDURE;

AUTOMATA THEORY;

EID: 84955194980     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.2009.7074794     Document Type: Conference Paper

References (17)

1. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dynamic Systems: Theory and Applications, 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. Automatic Control, vol. 40, no. 9, pp. 1555-1575, Sept. 1995.
3. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 10, no. 1/2, pp. 33-86, Jan. 2000.
4. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems-Second Edition. Springer, 2007.
5. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial time algorithm for testing diagnosability of discrete event systems," IEEE Trans. Automatic Control, vol. 46, no. 8, pp. 1313-1318, Aug. 2001.
6. T.-S. Yoo and S. Lafortune, "Polynomial-time verification of diagnosability of partially-observed discrete event systems," IEEE Trans. Automatic Control, vol. 47, no. 9, pp. 1491-1495, Sept. 2002.
7. W. Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems," IEEE Trans. Systems, Man and Cybernetics, Part A, vol. 36, no. 2, pp. 384-395, Mar. 2006.
8. Y. Wang, T. Yoo, and S. Lafortune, "Diagnosis of discrete event systems using decentralized architectures," Discrete Event Dynamic Systems: Theory and Applications, vol. 17, no. 2, pp. 233-263, June 2007.
9. D. Thorsley and D. Teneketzis, "Active acquisition of information for diagnosis and supervisory control of discrete event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 17, no. 4, pp. 531-586, Dec. 2007.
10. F. Cassez, S. Tripakis, and K. Altisen, "Sensor minimization problems with static or dynamic observers for fault diagnosis," Seventh International Conference on Application of Concurrency to System Design, pp. 90-99, 2007.
11. R. K. Boel and J. H. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," in Proc. of 8th International Workshop on Discrete Event Systems (WODES02), Los Alamitos, 2002, pp. 175-181.
12. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Information Sciences, vol. 44, pp. 173-198, 1988.
13. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Automatic Control, vol. 37, no. 11, pp. 1692-1708, Nov. 1992.
14. Y. Huang, K. Rudie, and F. Lin, "Decentralized control of discreteevent systems when supervisors observe particular event occurrences," IEEE Trans. Automatic Control, vol. 53, no. 1, pp. 384-388, Feb. 2008.
15. W. Wang, S. Lafortune, and F. Lin, "Optimal sensor activation in controlled discrete event systems," in Proc. 47th IEEE Conf. on Decision and Control, Dec. 2008.
16. K. Rudie and J. C. Willems, "The computational complexity of decentralized discrete-event control problems," IEEE Trans. Automatic Control, vol. 40, no. 7, pp. 1313-1318, July 1995.
17. W. Wang, S. Lafortune, and F. Lin, "An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions," Systems & Control Letters, vol. 56, no. 9, pp. 656-661, Sept. 2007.