Identification des systèmes à événements discrets par réseaux de Petri

par Rebiha Berghoute Bekrar

Thèse de doctorat en Automatique, traitement du signal et génie informatique

Sous la direction de Abdelaziz Hamzaoui et de Bernard Riera.

Soutenue en 2009

à Reims .


  • Résumé

    Dans ce travail, nous proposons deux méthodes originales d'identification d'une classe de systèmes à événements discrets (SED) modélisables par réseaux de Petri (RdP). La première méthode consiste à utiliser les signaux de sortie du système afin d'élaborer son modèle comportemental sous la forme d'un RdP. Les conditions nécessaires et suffisantes pour garantir l'unicité de la solution sont établies. Par ailleurs, le problème d'identification d'un SED est défini sous la forme d'un problème de programmation linéaire binaire. Quant à la deuxième méthode, elle est basée sur l'analyse des signaux d'entrée et de sortie mesurables du système considéré. Elle consiste à déterminer la partie mesurable et à estimer la partie non mesurable puis, à calculer la structure et le marquage initial du RdP à identifier. Par ailleurs, deux approches de synthèse de contrôleur RdP sont proposées. Ces derniers permettent de raffiner les modèles issus de la première phase en inhibant, quand c’est nécessaire, l’atteignabilité des états interdit. Les résultats obtenus dans ce travail ont été validés sur un système réel

  • Titre traduit

    Identification of discrete event systems using Petri nets


  • Résumé

    In this thesis we have proposed two original identification approaches of a class of discrete event systems using Petri Nets. Our first proposed approach consists in using the output symbols of the target system to elaborate its behavioural model in PN form. The necessary and the sufficient conditions for the existence of a unique solution are established. Moreover, the identification problem is defined as a binary linear programming problem where the uniqueness of the solution is not guarantee. For our second method, it based on using the measurable input and output system signals. It consists in calculating the measurable part, estimating the non measurable one and developing different algorithms to estimate the structure and the initial marking of a PN model to be identified. However, the latter can generate, in some times, some behaviours which are not equivalent to those generated by the real system. These behaviours are considered as illegal. To inhibit the identified model to access to these illegal states two synthesis approaches of PN controller are proposed. Finally, the results obtained in this thesis have been validated on a real system

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (176p.)
  • Annexes : Bibliogr. p.169-176

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Reims Champagne-Ardenne. Bibliothèque universitaire. Bibliothèque Moulin de la Housse.
  • Non disponible pour le PEB
  • Cote : 09REIMS030
  • Bibliothèque : Université de Reims Champagne-Ardenne. Bibliothèque universitaire. Bibliothèque Moulin de la Housse.
  • Disponible pour le PEB
  • Cote : 09REIMS030Bis

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2009REIMS030
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.