Synthèse d'un obbservateur pour réseaux de Petri p-temporels partiellement observables

International audience; Cet article traite de la synthèse d'un observateur d'état pour des systèmes temps réels modélisés à l'aide des réseaux de Petri p-temporels. La méthode développée permet d'estimer le marquage d'un réseau de Petri p-temporel en présence d'informations partielles sur le système. En effet, les transitions du modèle sont partitionnées en transitions observables (dont le tir peut être détecté par un agent externe) et en transitions non observables. L'approche ne nécessite pas la prise en compte d'hypothèse restrictive sur la structure du réseau étudié. De plus, bien que le temps soit pris en compte le problème d'explosion combinatoire de l'espace des états est évité - la construction du graphe des classes d'état n'étant pas nécessaire car la méthode s'appuie sur le réseau autonome sous-jacent au modèle p-temporel considéré.