Erratum: Diagnosis of discrete event systems using decentralized architectures [Discrete Event Dyn Syst, DOI 10.1007/s10626-006-0006-8];Diagnosis of discrete event systems using decentralized architectures

Discrete Event Dynamic Systems: Theory and Applications

Volumn 17, Issue 2, 2007, Pages 233-263

  Wang, Yin ^a   Yoo, Tae Sic ^b   Lafortune, Stéphane ^a  

^a University of Michigan   (United States)

^b IDAHO NATIONAL LABORATORY   (United States)

Author keywords

Decentralized systems; Diagnosis; Discrete event systems

Indexed keywords

ALGORITHMS; DISCRETE EVENT SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; HIERARCHICAL SYSTEMS; ONLINE SYSTEMS;

DECENTRALIZED ARCHITECTURES; DECENTRALIZED DIAGNOSIS; ONLINE DIAGNOSIS;

DECENTRALIZED CONTROL;

EID: 34147124273     PISSN: 09246703     EISSN: 15737594     Source Type: Journal    
DOI: 10.1007/s10626-013-0161-7     Document Type: Erratum

References (27)

1. Baroni P, Lamperti G, Pogliano P, Zanella M (1999) Diagnosis of large active systems. Artif Intel 110:135-183
2. Boel RK, Jiroveanu G (2004) Distributed contextual diagnosis for very large systems. In: Proc. of the 2004 International Workshop on Discrete Event Systems - WODES'04, Reims, France, September
3. Boel RK, van Schuppen JH (2002) Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In: Proc. of the 2002 International Workshop on Discrete Event Systems - WODES'02. Zaragoza, Spain, October
4. Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Dordrecht, The Netherlands: Kluwer
5. Debouk R, Lafortune S, Teneketzis D (2000) Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Dis Event Dynamic Syst Theory Appl 10(1-2):33-86, January
6. Fabre E, Benveniste A, Haar S, Jard C (2005) Distributed monitoring of concurrent and asynchronous systems. Dis Event Dynamic Syst Theory Appl 15(1):33-84, March
7. Fabre E, Benveniste A, Jard C, Ricker L, Smith M (2000) Distributed state reconstruction for discrete event systems. In: Proc. 39th IEEE Conf. on Decision and Control. pp. 2252-2257, December
8. Gene S, Lafortune S (2005) A distributed algorithm for on-line diagnosis of place-bordered petri nets. In: Proc. of 16th IFAC World Congress
9. Kumar R, Takai S (2006) Decentralized diagnosis for non-failures of discrete event systems using inference-based ambiguity management. In: 2006 International Workshop on Discrete Event Systems, Ann Arbor, MI, July
10. Lafortune S, Teneketzis D, Sampath M, Sengupta R, Sinnamohideen K (2001) Failure diagnosis of dynamic systems: An approach based on discrete event systems. In: Proc. 2001 American Control Conf. pp. 2058-2071, June
11. Lamperti G, Zanella M (2003) Diagnosis of Active Systems: Principles and Techniques. Kluwer Dordrecht, The Netherlands
12. Pencolé Y, Cordier M-O (2005) A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif Intel 164:121-170
13. Qiu W, Kumar R (2004) Decentralized failure diagnosis of discrete event systems. In: Proceedings of the 2004 International Workshop on Discrete Event Systems - WODES'04, Reims, France, September
14. Rohloff K, Yoo T-S, Lafortune S (2003) Deciding coobservability is PSPACE-complete. IEEE Trans Autom Control 48(11):1995-1999, November
15. Rozé L, Cordier M-O (2002) Diagnosing discrete-event systems: Extending the "diagnoser approach" to deal with telecommunication networks. Dis Event Dynamic Syst Theory Appl 12(1):43-81
16. Rudie K, Wonham WM (1992) Think globally, act locally: Decentralized supervisory control. IEEE Trans Autom Control 37(11):1692-1708. November
17. Sampath M, Sengupta R, Sinnamohideen K, Lafortune S, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Autom Control 40(9):1555-1575, September
18. Sampath M, Sengupta R, Sinnamohideen K, Lafortune S, Teneketzis D (1996) Failure diagnosis using discrete event models. IEEE Trans Control Syst Tech 4(2):105-124, March
19. Sengupta R (1998) Diagnosis and communication in distributed systems. In: Proc. of the 1998 International Workshop on Discrete Event Systems - WODES'98, Cagliari, Italy
20. Sengupta R, Tripakis S (2002) Decentralized diagnosability of regular languages is undecidable. In: Proc. 40th IEEE Conf. on Decision and Control, pp. 423-428, December
21. Su R, Wonham WM (2004) Distributed diagnosis under global consistency. In: Proc. 42nd IEEE Conf. on Decision and Control, December
22. Su R, Wonham WM, Kurien J, Koutsoukos X (2002) Distributed diagnosis for qualitative systems. In: Proc. of the 2002 International Workshop on Discrete Event Systems - WODES'02, Zaragoza, Spain, pp 169-174, October
23. Wang Y, Yoo T-S, Lafortune S (2004) New results on decentralized diagnosis of discrete-event systems. In: Proc. of 2004 Annual Allerton Conference
24. Wang Y, Yoo T-S, Lafortune S (2005) Decentralized diagnosis of discrete event systems using conditional and unconditional decisions. In: Proc. of the 44th IEEE conference on decision and control
25. Yoo T-S, Lafortune S (2002a) A general architecture for decentralized supervisory control of discrete-event systems. Dis Event Dynamic Syst Theory Appl 12(3):335-377, July
26. Yoo T-S, Lafortune S (2002b) Polynomial-time verification of diagnosability of partially-observed discrete-event systems. IEEE Trans Autom Control 47(9):1491-1495, September
27. Yoo T-S, Lafortune S (2004) Decentralized supervisory control with conditional decisions: Supervisor existence. IEEE Trans Autom Control 49(11):1886-1904, November