Thèse soutenue

Synthèse de contrôleurs des systèmes à évènements discrets basée sur les réseaux de Petri
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Andra Ioana Vasiliu
Direction : Hassane Lotfi Alla
Type : Thèse de doctorat
Discipline(s) : Sciences et technologie industrielles
Date : Soutenance le 03/02/2012
Etablissement(s) : Grenoble
Ecole(s) doctorale(s) : École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble ; 199.-....)
Partenaire(s) de recherche : Equipe de recherche : Grenoble Images Parole Signal Automatique
Jury : Président / Présidente : Jean-Marc Faure
Examinateurs / Examinatrices : Hassane Lotfi Alla, Simona Caramihai, Eric Rutten, Denis Josse, Bruno Chauffert
Rapporteurs / Rapporteuses : Jean-louis Boimond, Luz Balado, Bengt Jonsson

Résumé

FR  |  
EN

La méthode des invariants est une des plus utilisées méthodes de synthèse pour les SED modélisés par des réseaux de Petri (RdP). Cependant, elle ne garantit pas en général une solution optimale dans la présence de l'incontrôlabilité. Dans ce travail nous proposons une solution à ce problème pour les RdP généralisés. Premièrement, nous proposons une solution d'identification des contraintes admissibles pour les RdP saufs non-conservatifs. La méthode repose sur une définition des contraintes contenant des marquages complémentés. Ceux-ci sont après éliminés en exploitant les composants conservatifs des RdP. Deuxièmement, nous avançons une technique de détermination des contraintes admissibles pour les RdP généralisés. La méthode est basée sur une vision spatiale de l'espace d'états du modèle. Les contraintes sont dérivées de l'équation d'hyperplan affin qui sépare les régions interdite- et autorisée- de cet espace. Nous proposons un algorithme pour le calcul du contrôleur optimal minimal.