Fault diagnosis in discrete-event systems: Incorporating timing information

IEEE Transactions on Automatic Control

Volumn 50, Issue 7, 2005, Pages 1010-1015

  Zad, S Hashtrudi ^a   Kwong, R H ^b   Wonham, W M ^b  

^a Dept of Electrical and Computer Engineering   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Discrete event systems; Fault diagnosis; Real time

Indexed keywords

CONTROL THEORY; FINITE AUTOMATA; MATHEMATICAL MODELS; THEOREM PROVING;

DISCRETE EVENT SYSTEMS; FAULT DIAGNOSIS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 23144451456     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2005.851444     Document Type: Article

References (8)

1. B. A. Brandin and W. M. Wonham, "Supervisory control of timed discrete-event systems," IEEE Trans. Autom. Control, vol. 39, no. 2, pp. 329-342, Feb. 1994.
2. Y. Chen and G. Provan, "Modeling and diagnosis of timed discrete event systems - A factory automation example," in Proc. Amer. Control Conf., Albuquerque, NM, Jun. 1997, pp. 31-36.
3. S. Hashtrudi Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in timed discrete-event systems," in Proc. 38th IEEE Conf. Decision Control, Phoenix, AZ, Dec. 1999, pp. 1756-1761.
4. S. Hashtrudi Zad, R. H. Kwong, and W. M. Wonham, "Fault Diagnosis in discrete-event systems: Incorporating timing information," ECE Dept., Univ. Toronto, Toronto, ON, Canada, Syst. Control Group Rep. 0104, 2001.
5. S. Hashtrudi Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction," IEEE Trans. Autom. Control, vol. 48, no. 7, pp. 1199-1212, Jul. 2003.
6. S. Jiang and R. Kumar, "Failure diagnosis of discrete-event systems with linear-time temporal logic specifications," IEEE Trans. Autom. Control, vol. 49, no. 6, pp. 934-945, Jun. 2004.
7. D. N. Pandalai and L. E. Holloway, "Template languages for fault monitoring of timed discrete event processes," IEEE Trans. Autom. Control, vol. 45, no. 5, pp. 868-882, May 2000.
8. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.