Diagnosability analysis of hybrid systems cast in a discrete-event framework - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2014

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

Résumé

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.
Fichier principal
Vignette du fichier
JDEDS_final_manuscript.pdf (1.02 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01400372 , version 1 (05-02-2018)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More