An Algorithm for Active Diagnosis of Hybrid Systems Casted in the DES Framework - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

An Algorithm for Active Diagnosis of Hybrid Systems Casted in the DES Framework

Résumé

On-line diagnosis must accommodate the existing sensoring capabilities of a system, which often results in limited diagnosability. However, although faults may not be always discriminable, there are generally operating modes of the system in which they are. Active diagnosis relies on applying specific inputs to the system so as to exhibit additional symptoms that help refining the diagnosis. The idea of this paper is to use the diagnosability properties to drive the system towards modes with increased diagnosability with respect of safety considerations. A new finite state machine called the active diagnoser is defined by abstracting continuous dynamics and taking into account controllability and safety constraints. The active diagnosis problem is then formulated as a conditional planning problem. Hence, the active diagnoser is transformed in an AND-OR graph and active diagnosis plans are computed by an appropriate graph exploration algorithm.
Fichier principal
Vignette du fichier
dcds2009.pdf (168.86 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00527855 , version 1 (20-10-2010)

Identifiants

  • HAL Id : hal-00527855 , version 1

Citer

Mehdi Bayoudh, Louise Travé-Massuyès. An Algorithm for Active Diagnosis of Hybrid Systems Casted in the DES Framework. 2nd IFAC Workshop on Dependable Control of Discrete Systems, Jun 2009, Bari, Italy. pp.329-334. ⟨hal-00527855⟩
162 Consultations
171 Téléchargements

Partager

More