Estimation d' etat pour des syst emes d ecrits par les r eseaux de Petri : des syst emes a ev enements discrets aux syst emes dynamiques hybrides

Abstract

Dans cette th ese, nous nous int eressons a l'analyse d'observabilit e et la recherche de m ethodes de synth ese d'observateurs pour quelques classes de syst emes d ecrits par les r eseaux de Petri (RdP). Nos travaux portent particuli erement sur les syst emes a ev enements discrets (SED) mod elis es par les RdP et les syst emes dynamiques hybrides (SDH) dont la partie discr ete est r egie par un RdP. Dans le cadre des SED mod elis es par les RdP, Une nouvelle caract erisation alg ebrique de l'observabilit e bas ee sur l'utilisation des techniques d'observation des syst emes descripteurs a et e pr esent ee. Nous avons propos e egalement un observateur a n d'estimer a la fois le vecteur des marquages des places et le vecteur des transitions. Pour les SDH, nous avons propos e deux observateurs hybrides pour l'estimation conjointe de l' etat continu et de l' etat discret. Les deux observateurs sont compos es d'un observateur continu et d'un observateur discret en interaction. Les r esultats des simulations con rment le bien fond e de la m ethode propos ee.