Diagnosability analysis of a class of hierarchical state machines

Discrete Event Dynamic Systems: Theory and Applications

Volumn 18, Issue 3, 2008, Pages 385-413

  Paoli, Andrea ^a   Lafortune, Stéphane ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Diagnoser; Discrete event systems; Fault diagnosis; Hierarchical finite state machines; Statecharts

Indexed keywords

ALGORITHMS; DATA ACQUISITION; DISCRETE EVENT SIMULATION; FAULT TOLERANCE; FINITE AUTOMATA; HIERARCHICAL SYSTEMS;

DIAGNOSABILITY PROPERTIES; HIERARCHICAL FINITE STATE MACHINES (HFSM); STATECHARTS;

PROGRAM DIAGNOSTICS;

EID: 44749088139     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-008-0044-5     Document Type: Article

References (28)

1. Benveniste A, Haar S, Fabre E, Jard C (2003) Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans Automat Contr 48(5):714-727
2. Boel R, Schuppen JV (2002) Decentralized failure diagnosis for discrete-event systems with constrained communication between diagnosers. In: Proceedings of the workshop on discrete event systems
3. Brave Y, Heymann M (1993) Control of discrete event sysytems modeled as hierarchical state machines. IEEE Trans Automatic Contr 38(12):1803-1819
4. Cassandras C, Lafortune S (2007) Introduction to discrete event systems, 2nd edn. Springer
5. Cordier M, Rozé L (2002) Diagnosing discrete-event systems: extending the "diagnoser approach" to deal with telecommunication networks. Discret Event Dyn Syst 12(2):43-81
6. Debouk R, Lafortune S, Teneketzis D (2000) Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discret Event Dyn Syst: Theory Applications 10(1):33-79
7. Debouk R, Malik R, Brandin B (2002) A modular architecture for diagnosis of discrete event systems. In: Proceedings of the 41st IEEE conference on decision and control
8. Garcia H, Yoo TS (2004) Model-based detection of routing events in discrete flow networks. Automatica 41(4):583-594
9. Garcia H, Morant F, Blasco-Giménez R (2002) Centralized modular diagnosis and the phenomenon of coupling. In: Proceedings of the workshop on discrete event systems
10. Genc S, Lafortune S (2005) A distributed algorithm for on-line diagnosis of place-bordered petri nets. In: Proceedings of the 16th IFAC world congress
11. Hadjicostis C (2005) Probabilistic fault detection in finite-state machines based on state occupancy measurements. IEEE Trans Automat Contr 50(12):2078-2083
12. Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231-274
13. Harel D, Politi M (1988) Modeling reactive systems with statecharts. McGraw-Hill
14. Idghamishi AM, Zad SH (2004) Fault diagnosis in hierarchical discrete-event systems. In: Proceedings of the 43rd conference on decision and control, pp 63-68
15. Jiang S, Kumar R (2006) Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. IEEE Trans Autom Sci Eng 3(1):47-59
16. Lafortune S, Teneketzis D, Sampath M, Sengupta R, Sinnamohiden K (2001) Failure diagnosis of dynamic systems: an approach based on discrete event systems. In: Proceedings of the American control conference
17. Lin F (1994) Diagnosability of discrete-event systems and its application. Discret Event Dyn Syst: Theory Applications 4(2):197-212
18. Lunze J (2001) State observation and diagnosis of discrete-event systems described by stochastic automata. Discret Event Dyn Syst 11(4):319-369
19. Pandalai D, Holloway L (2000) Template languages for fault monitoring of timed discrete event processes. IEEE Trans Automat Contr 45(5):868-882
20. Patton R, Frank P, Clark R (2000) Issues of fault diagnosis for dynamical systems. Springer
21. Pencole Y, Cordier M (2002) A decentralized model-based diagnostic tool for complex systems. Int J Artif Intell Tools 11(3):327-346
22. Provan G (2002) Distributed diagnosability properties of discrete event systems. In: Proceedings of the American control conference
23. Sampath M (1993) The extended diagnoser, unpublished memorandum
24. Sampath M, Sangupta R, Lafortune S (1995) Diagnosability of discrete event systems. IEEE Trans Automat Contr 40(9):1555-1575
25. Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996) Failure diagnosis using discrete-event models. IEEE Trans Control Syst Technol 4(2):105-124
26. Sampath M, Lafortune S, Teneketzis D (1998) Active diagnosis of discrete event systems. IEEE Trans Automat Contr 43(7):908-929
27. Su R, Wonham W (2002) Probabilistic reasoning in distributed diagnosis for qualitative systems. In: Proceedings of the 41st IEEE conference on decision and control
28. Wonham WM (2005) Notes on control of discrete event systems. ECE 1636F/1637S 2005-2006. Systems Control Group, Dept. of ECE, University of Toronto. www.control.utoronto.ca/people/profs/wonham/wonham.html