Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques

Résumé

This paper addresses the problem of determining the diagnosability of hybrid systems by abstracting hybrid models to a discrete event setting. From the continuous model the abstraction only remembers two pieces of information: indiscernability between modes (when they are guaranteed to generate different observations) and ephemerality (when the system cannot stay forever in a given set of modes). Then, we use standard discrete event system diagnosability algorithms. The second contribution is an iterative approach to diagnosability that starts from the most abstract discrete event model of the hybrid system. If it is diagnosable, that means that the hybrid system is diagnosable. If it is not, the counterexample generated by the diagnosability procedure is analysed to refine the DES. If no refinement is found, then it can not be proved that the hybrid system is diagnosable. Otherwise, the refinement is included in the abstract DES model and the diagnosability procedure continues.
Fichier principal
Vignette du fichier
IFAC2017_published.pdf (458.9 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02004402 , version 1 (16-04-2019)

Identifiants

Citer

Alban Grastien, Louise Travé-Massuyès, Vicenç Puig. Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques. 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.5023-5028, ⟨10.1016/j.ifacol.2017.08.911⟩. ⟨hal-02004402⟩
46 Consultations
64 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More