Reconnaissance de l'état d'un système dynamique à l'aide d'un réseau de Petri crédibiliste

par Iman Jarkass

Thèse de doctorat en Contrôles des Systèmes

Sous la direction de Michèle Rombaut.

Soutenue en 1998

à Compiègne .


  • Résumé

    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 Petri 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'ou la définition d'un réseau de Petri 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.

  • Titre traduit

    State recognition of a dynamic system by using belief Petri net


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 215 p.
  • Annexes : 61 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Technologie de Compiègne. Service Commun de la Documentation.
  • Disponible pour le PEB
  • Cote : 1998 JAR 1136

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1998-JAR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.