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

Identification of discrete event systems using Petri nets

• Auteur / Autrice : Rebiha Berghoute Bekrar
• Direction : Abdelaziz Hamzaoui, Bernard Riera
• Type : Thèse de doctorat
• Discipline(s) : Automatique, traitement du signal et génie informatique
• Date : Soutenance en 2009
• Etablissement(s) : Reims

Mots clés

Mots clés contrôlés

Commande automatique

Petri, Réseaux de

Systèmes échantillonnés

Mots clés libres

Identification, Contrôle

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

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