Fault diagnosis in hierarchical discrete-event systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2004, Pages 63-68

  Idghamishi, A Mohammadi ^a   Zad, S Hashtrudi ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; FINITE AUTOMATA; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; POLYNOMIAL APPROXIMATION; RANDOM ACCESS STORAGE; SET THEORY;

DISCRETE-EVENT SYSTEMS; FAULT DIAGNOSIS; FINITE STATE MACHINES; MULTI-PHASE SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 14344264415     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Y. Brave and M. Heymann, "Control of discrete-event systems modeled as hierarchical state machine," IEEE Trans. Automat. Contr., vol. 38, no. 12, Dec., 1993, pp. 1803-1819.
2. R. Debouk, R. Malik and B. Brandin, "A modular architecture for diagnosis of discrete event systems," Proc. 41th IEEE Conf. on Decision and Contr., Las Vegas, NV, USA, Dec., 2002, pp 417-422.
3. D. Harel, "Statecharts: A visual formalism for complex systems," Sci. Comput. Programming, 8, North, Holland, 1987, pp. 231-274.
4. S. Hashtrudi Zad, R.H. Kwong and W.M. Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction," IEEE Trans. Automat. Contr., vol. 48, no. 7, pp. 1199-1212, July 2003.
5. A. Mohammadi Idghamishi, "Fault diagnosis in hierarchical discrete-event systems," MASc thesis, Concordia University, Montreal, QC, Canada, 2004.
6. A. Mohammadi Idghamishi and S. Hashtrudi Zad, "Hierarchical fault diagnosis: Application to an ozone plant," to be presented at the IEEE Conf. on Robot., Automat. and Mechat., Singapore, Dec. 2004.
7. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Automat. Contr., vol. 40, no. 9, pp. 1555-1575, 1995.
8. B. Wang, "Top-down design for RW supervisory control theory," MASc thesis, University of Toronto, Toronto, ON, Canada, 1995.