Diagnosability of discrete event systems with modular structure

Discrete Event Dynamic Systems: Theory and Applications

Volumn 16, Issue 1, 2006, Pages 9-37

  Contant, Olivier ^a,b   Lafortune, Stéphane ^a   Teneketzis, Demosthenis ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

^b MICROSOFT   (United States)

Author keywords

Common events; Diagnosability; Distributed systems; Modularity

Indexed keywords

COMMON EVENTS; DIAGNOSOBILITY; MODULARITY;

ALGORITHMS; AUTOMATA THEORY; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; ONLINE SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 32944454948     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-006-6177-5     Document Type: Conference Paper

References (34)

1. Aghasaryan A, Fabre E, Benveniste A, Boubour R, Jard C (1998, June). Fault detection and diagnosis in distributed system: an approach by partially stochastic Petri nets. Discret Event Dyn. Syst. Theory Appl. 8(2):203-231.
2. Benveniste A, Fabre E, Haar S, Jard C, (2003, May). Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans Autom Contr 48(5):714-727.
3. Bouloutas AT, Calo S, Finkel A, (1994, Feb/Mar/Apr). Alarm correlation and fault identification in communication networks. IEEE Trans Commun 42(2/3/4):523-533.
4. Cassandras CG. Lafortune S (1999). Introduction to Discrete Event Systems. Kluwer Academic Publishers.
5. Console L, Picarsi C, Ribaudo M (2002). Process algebras for system diagnosis. Artif Intell 142(1):19-51.
6. Contant O, Lafortune S, Teneketzis D, (2004a, November). Diagnosis of distributed discrete event systems: architecture and modular verification approach. Technical Report CGR 04-04, College of Engineering Control Group Reports, University of Michigan, April. Revised.
7. Contant O, Lafortune S, Teneketzis D, (2004b, April). Diagnosis of intermittent faults. Discret Event Dyn Syst Theory Appl 14(2):171-202.
8. Coolen R, Luiijf H (2002, January). Intrusion detection: generics and state-of-the-art. Technical Report RTO-TR-049, Research and Technology Organisation, NATO, Neuilly-sur-Seine, France.
9. Debouk R, Lafortune S Teneketzis D (2000, January). Coordinated decentralized protocols for failure diagnosis of discrete events systems. Discret Event Dyn Syst Theory Appl 10(1-2):33-86.
10. Debouk R, Malik R, Brandin B (2002, December). A modular architecture for diagnosis of discrete event systems. Proc. 41st IEEE Conf. on Decision and Control - CDC'02, Las Vegas, NV, USA, pp 417-422.
11. Garcia E, Morant F, Blasco-Giménez R, Correcher A, Quiles E, (2002, October). Centralized modular diagnosis and the phenomenon of coupling. Proc. 2002 IFAC International Workshop on Discrete Event Systems - WODES'02, Zaragoza, Spain, pp 161-168.
12. Genc S, Lafortune S (2003, June). Distributed diagnosis of discrete-event systems using Petri nets. Proc. 2003 International Conf. on Applications and Theory of Petri Nets, Eindhoven, The Netherlands, pp 316-336.
13. Hashtrudi Zad S, Kwong RH, Wonham WM, (2003, July). Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Autom Contr 48(7):1199-1212.
14. Holloway LE, Chand S (1994, June). Time templates for discrete event fault monitoring in manufacturing systems. Proc. 1994 American Control Conference - ACC'94, Baltimore, MD, USA, pp 701-706.
15. Jiang S, Kumar R (2002, May). Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. Proc. 2002 American Control Conference - ACC'02, Anchorage, AK, USA, pp 128-133.
16. Jiang S, Kumar R, Garcia HE (2003, April). Diagnosis of repeated/intermittent failures in discrete event systems. IEEE Trans Robot Autom 19(2):310-323.
17. Lafortune S, Teneketzis D, Sampath M, Sengupta R, Sinnamohideen K (2001, June). Failure diagnosis of dynamis systems: an approach based on discrete event systems. Proc. 2001 American Control Conference - ACC'01, Arlington, VA, USA, pp 2058-2071.
18. Lamperti G, Zanella M (2003). Diagnosis of active systems: principles and techniques, volume 741 of the Kluwer International Series in Engineering and Computer Science. Dordrecht, NL Kluwer Academic Publishers.
19. Lamperti G, Zanella M (2004, October). A bridged diagnosis method for the monitoring of polymorphic discrete-event systems. IEEE Trans Syst Man Cybern, Part B 34(5):2222-2244.
20. Lin F (1994, May). Diagnosability of discrete event systems and its applications. Discret Event Dyn Syst Theory Appl. 4(2):197-212.
21. Lunze J (2000). Diagnosis of quantized systems based on a timed discrete-event model. IEEE Trans Syst Man Cybern, Part A 30(3):322-335.
22. Pandalai DN, Holloway LE (2000, May). Template languages for fault monitoring of discrete event processes. IEEE Trans Autom Contr 45(5):868-882.
23. Pencolé Y (2000). Decentralized diagnozer approach: application to telecommunication networks. In: Provan G Darwiche A (eds) Proc. of the 11th International Workshop on Principles of Diagnosis - DX'00, Morelia, Mexico, pp 185-192.
24. Pencolé Y, Cordier M-O Rozé L (2002). A decentralized model-based diagnostic tool for complex systems. Int J Artif Intell Tools 11(3):327-346.
25. Ricker LS, Fabre E (2000, December). On the construction of modular observers and diagnosers for discrete event systems. Proc. 39th IEEE Conf. on Decision and Control - CDC'00, Sydney, Australia, pp 2240-2244.
26. Sampath M (2001, June). A hybrid approach to failure diagnosis of industrial systems. In Proc. 2001 American Control Conference - ACC'01, Arlington, VA, USA.
27. Sampath M, Sengupta R, Sinnamohideen K, Lafortune S, Teneketzis D (1995, September). Diagnosability of discrete event models. IEEE Trans. Contr. Syst. Technol. 40(9):1555-1575.
28. Sampath M, Sengupta R, Sinnamohideen K, Lafortune S, Teneketzis D (1996, March). Failure diagnosis using discrete event systems. IEEE Trans Contr Syst Technol 4(2):105-124.
29. Sampath M, Lafortune S, Teneketzis D (1998, July). Active diagnosis of discrete event systems. IEEE Trans Autom Contr 43(7):908-929.
30. Sengupta R (2001, June). Discrete-event diagnostics of automated vehicles and highways. Proc. 2001 American Control Conference - ACC'01. Arlington, VA, USA, pp 25-27.
31. Sinnamohideen K (2001, June). Discrete-event diagnostics of heating, ventilation, and airconditoning systems. Proc. 2001 American Control Conference - ACC'01, Arlington, VA, USA.
32. Su R, Wonham WM (2004, September). Hierarchical distributed diagnosis under global consistency. In Proc. 2004 IFAC International Workshop on Discrete Event Systems - WODES'04. Reims, France, pp 157-162.
33. Su R, Wonham WM, Kurien J, Koutsoukos X (2002, October). Distributed diagnosis for qualitative systems. Proc. 2002 IFAC International Workshop on Discrete Event Systems - WODES'02, Zaragoza, Spain, pp 169-174.
34. Yoo T-S Garcia HE (2004, June). Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays. Proc. 2004 American Control Conference - ACC'04. Boston, MA, USA, pp 5102-5107.