Skip to Main content Skip to Navigation
Journal articles

Diagnosability analysis of hybrid systems cast in a discrete-event framework

Mehdi Bayoudh 1 Louise Travé-Massuyès 1
1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : This paper addresses the problem of assessing the diagnosability of hybrid systems modeled by a hybrid automaton coupling methods from the continuous and the discrete event model-based diagnosis fields. The discrete states of the hybrid automaton represent the modes of operation of the system for which the continuous dynamics are specified. The diagnosability of the continuously-valued part of the model is first analyzed and the new concept of mode signature is shown to characterize mode diagnosability from continuous measurements. Continuous dynamics are then abstracted by defining a set of signature-events associated to mode signature changes, preserving this way mode diagnosability. The behavior of the abstract hybrid system is then modeled by a prefix-closed language over the original event alphabet enriched by these additional events. Based on this language, diagnosability analysis of the hybrid system is cast into a discrete-event framework and hybrid diagnosability conditions are provided. A case study based on the Attitude and Orbit Control System of a spacecraft illustrates the method.
Complete list of metadata

Cited literature [57 references]  Display  Hide  Download
Contributor : Louise Travé-Massuyès Connect in order to contact the contributor
Submitted on : Monday, February 5, 2018 - 6:12:42 PM
Last modification on : Tuesday, October 19, 2021 - 11:18:00 PM
Long-term archiving on: : Wednesday, May 2, 2018 - 10:43:55 AM


Files produced by the author(s)



Mehdi Bayoudh, Louise Travé-Massuyès. Diagnosability analysis of hybrid systems cast in a discrete-event framework. Discrete Event Dynamic Systems, Springer Verlag, 2014, 24 (3), pp.309-338. ⟨10.1007/s10626-012-0153-z⟩. ⟨hal-01400372⟩



Les métriques sont temporairement indisponibles