Hybrid systems diagnosis by coupling continuous and discrete event techniques

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

  Bayoudh, Mehdi ^a   Trave Massuyes, Louise ^a   Olive, Xavier ^a  

^a NONE

Author keywords

Discrete event systems modeling and control; Fault detection and diagnosis; Hybrid systems modeling and control

Indexed keywords

CONTINUOUS DYNAMICS; DIAGNOSABILITY; DIAGNOSING SYSTEM; DISCRETE DYNAMIC MODELS; DISCRETE EVENT DYNAMICS; DISCRETE EVENT SYSTEMS MODELING AND CONTROL; DISCRETE EVENTS; FAULT DETECTION AND DIAGNOSIS; HYBRID APPROACH; OPERATIONAL MODES; PARITY SPACE APPROACH;

HYBRID COMPUTERS; HYBRID SYSTEMS;

FAULT DETECTION;

EID: 79961018122     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.3501     Document Type: Conference Paper

References (12)

1. M. Bayoudh, L. Trave - Massuyes, and Xavier Olive. Hybrid systems diagnosability by abstracting faulty continuous dynamics. In Proceedings of the 17th International Workshop on Principles of Diagnosis DX 06, pages 9-15, Burgos, Spain, 2006.
2. M. Bayoudh, L. Trave-Massuyes, and Xavier Olive. State tracking in the hybrid space. In Proceedings of the 18th International Workshop on Principles of Diagnosis '07, pages 221-228, Nashville, TN, USA, 2007.
3. V. Cocquempot, T. El Mezyani, and M. Staroswiecki. Fault detection and isolation for hybrid systems using structured parity residuals. IEEE/IFAC-ASCC: Asian Control Conference, 2004.
4. M.O. Cordier, P. Dague, F. Levy, J. Montmain, M. Staroswiecki, and L. Trave-Massuyes. Conflicts versus analytical redundancy relations : A comparative analysis of the model-based diagnostic approach from the artificial intelligence and automatic control perspectives. IEEE Transactions on Systems, Man and Cybernetics, Part B., 34(52163-2177), 2004.
5. T. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS-96), pages 278-292, New Brunswick, New Jersey, 1996.
6. M.W. Hofbaur and B.C. Williams. Hybrid estimation of complex systems. IEEE Transactions on Systems, Man, and Cybernetics - Part B., 34(5):2178-2191, 2004.
7. Jan Lunze. Diagnosis of quantized systems by means of timed discrete-event representations. In HSCC, pages 258-271, 2000.
8. Sheila A. McIlraith, Gautam Biswas, Dan Clancy, and Vineet Gupta. Hybrid systems diagnosis. In HSCC, pages 282-295, 2000.
9. Y. Pencole. Diagnosability analysis of distributed discrete event systems. In Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI-2004, pages 43-47, 2004.
10. Y. Pencole. Diades, diagnosis of discrete event systems, 2006. URL http://www.laas.fr/uc0u32u771ypencole/DiaDes.
11. P. J. Ramadge and W. M. Wonham. The control of discrete-event systems. Proc. IEEE, 77(1):81-98, 1989.
12. M. Sampath, R. Sengputa, S. Lafortune, K. Sinnamohideen, and D. Teneketsis. Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control, 40:1555-1575, 1995