Synthèse d'un observateur pour réseaux de Pétri p-temporels partiellement observables

International audienceCet 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é