Hybrid systems Diagnosis using modified particle Petri nets

Quentin Gaudel (1) , Elodie Chanthery (1) , Pauline Ribot (1) , Euriell Le Corronc (1)

1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite

This paper presents an approach of model-based diagnosis for the health monitoring of hybrid systems. These systems have both continuous and discrete dynamics. Modified Particle Petri Nets, initially defined in the context of hybrid systems mission monitoring, are extended to estimate the health state of hybrid systems. This formalism takes into account both uncertainties about the system knowledge and about diagnosis results. A generation of a diagnoser is proposed to track on-line the system health state under uncertainties by using particle filter. An academic example is used all along the article to illustrate the major concepts.

Mots clés: health monitoring; uncertainty; model-based; diagnostics; hybrid systems; Petri nets; particle filter

Domaines: Systèmes embarqués; Automatique

Quentin Gaudel, Elodie Chanthery, Pauline Ribot, Euriell Le Corronc. Hybrid systems Diagnosis using modified particle Petri nets. International Workshop on Principles of Diagnosis (DX), Sep 2014, Graz, Austria. ⟨hal-01095110⟩