Fault diagnosis in discrete time hybrid systems - A case study

Information Sciences

Volumn 177, Issue 5, 2007, Pages 1290-1308

  Bhowal, Prodip ^a   Sarkar, Dipankar ^b   Mukhopadhyay, Siddhartha ^b   Basu, Anupam ^b  

^a Poland SA   (Poland)

^b INDIAN INSTITUTE OF TECHNOLOGY   (India)

Author keywords

Diagnoser; Discrete time systems; Fault diagnosability; Hybrid systems; Simple n rate timed automata

Indexed keywords

AUTOMATA THEORY; ERROR DETECTION; MATHEMATICAL MODELS; SENSORS;

DIAGNOSERS; DISCRETE TIME SYSTEMS; FAULT DIAGNOSABILITY; HYBRID SYSTEMS; SIMPLE N-RATE TIMED AUTOMATA;

DISCRETE TIME CONTROL SYSTEMS;

EID: 33845464637     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2006.08.004     Document Type: Article

References (21)

1. Alur R., Courcoubetis C., Henzinger T.A., and Ho P. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. LNCS 736 (1993), Springer Verlag 209-229
2. M. Basseville, A. Benveniste, L. Tromp, Diagnosing hybrid dynamical systems: fault graphs, statistical residuals and Viterbi algorithms, in: Proceedings of 37th IEEE Conference on Decision and Control, December 1998, pp. 3757-3762.
3. Benveniste A., Fabre E., Haar S., and Jard C. Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Transactions on Automatic Control 48 5 (2003) 714-727
4. P. Bhowal, S. Mukhopadhay, A. Basu, A framework for inferential problems in DEDS Part-I: TTM based modeling, Part-II: state observation, Part-III: fault diagnosis, in: Proceedings of 2000 IEEE International Conference on Systems, Man and Cybernetics, Nashville, USA, 2000, pp. 2162-2167, 2168-2173, 2138-2143.
5. Brandin B.A., and Wonham W.M. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39 2 (1994) 329-342
6. R. Debouk, S. Lafortune, D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete event systems, in: Proceedings of 37th IEEE Conference on Decision and Control, Florida, December 1998, pp. 3763-3768.
7. Gao J., and Xu Q. Rigorous design of a fault diagnosis and isolation algorithm. Hybrid Systems V. LNCS 1567 (1999), Springer Verlag 100-121
8. M. Larsson, Diagnosis and analysis of diagnosis properties using discrete event dynamic system, in: Proceedings of 37th IEEE Conference on Decision and Control, Florida, December 1998, pp. 3775-3780.
9. Lin F. Theorem of abstraction for equivalent controllers in hybrid systems. Information Sciences 173 1-3 (2005) 181-195
10. Lin F., and Wonham W.M. On diagnosability of discrete event systems. Information Sciences 44 3 (1988) 173-198
11. McIlraith S., Biswas G., Clancy D., and Gupta V. Hybrid systems diagnosis. Hybrid Systems: Computation and Control. LNCS 1790 (2000), Springer Verlag 282-295
12. Pandalai D.N., and Holloway L.E. Template languages for fault monitoring of timed discrete event processes. IEEE Transactions on Automatic Control 45 5 (2000) 868-882
13. Paoli A., and Lafortune S. Safe diagnosability for fault-tolerant supervision of discrete-event systems. Automatica 41 8 (2005) 1335-1347
14. G. Provan, Y.L. Chen, Model based diagnosis and control reconfiguration for discrete event systems: an integrated approach, in: 38th IEEE Conference on Decision and Control, Phonix, 1999, pp. 1762-1768.
15. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., and Teneketzis D. Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control 40 9 (1995) 1555-1575
16. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., and Teneketzis D.C. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 4 2 (1996) 105-124
17. Su R., and Wonham W.M. Global and local consistencies in distributed fault diagnosis in discrete-event systems. IEEE Transactions on Automatic Control 50 12 (2005) 1923-1935
18. Thorsley D., and Teneketzis D. Diagnosability of stochastic discrete-event systems. IEEE Transactions on Automatic Control 50 4 (2005) 476-492
19. S.H. Zad, Fault diagnosis in discrete and hybrid system, Ph.D. thesis, Department of ECE, University of Toronto, Canada, 1999.
20. Zad S.H., Kwong R.H., and Wonham W.M. Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Transactions on Automatic Control 48 7 (2003) 1199-1212
21. Zad S.H., Kwong R.H., and Wonham W.M. Fault diagnosis in discrete-event systems: incorporating timing information. IEEE Transactions on Automatic Control 50 7 (2005) 1010-1015