RECONNAISSANCE DE L’ÉTAT D’UN SYSTÈME DYNAMIQUE A L’AIDE D’UN RÉSEAU DE PÉTRI CRÉDIBILISTE

Iman M. JARKAS

L’objectif de ce travail de thèse consiste à déterminer l’état d’un système dynamique séquentiel à partir d’informations provenant des capteurs. Nous avons choisi la théorie des réseaux de Pétri pour la modélisation de l’évolution du système, chaque place correspond à un état et chaque transition est associée à la proposition ou à l’événement qui permet un changement d’état.

La particularité de cette étude réside dans le peu d’informations que l’on a : la méconnaissance de l’état initial du système et les informations capteurs peu fiables.

Nous avons utilisé le formalisme de la théorie de l’évidence pour modéliser cette méconnaissance. Le marquage est étendu sur l’ensemble des parties formées à partir de toutes les places du réseau représentatif de l’évolution du système , d’où la définition d’un réseau de Pétri crédibiliste.

Les équations logiques qui permettent la résolution globale de l’état du système amenant au problème d’explosion combinatoire, nous proposons donc une décomposition du réseau en sous-réseaux . Des essais simulés ont donné de bons résultats. Nous proposons aussi une première approche de résolutions quand l’incertitude sur les transitions est modélisée par une probabilité.

L’application réelle envisagée concerne les Véhicules Intelligents.