Contribution a la commande de systemes a evenements discrets par reseaux de petri

par Alain Godon

Thèse de doctorat en Sciences appliquées

Sous la direction de JEAN-LOUIS FERRIER.

Soutenue en 1996

à Angers .

    mots clés mots clés


  • Résumé

    Les systemes a evenements discrets sont caracterises par un espace d'etat discret et par une dynamique regie par l'occurrence d'evenements asynchrones. Cette these traite de la commande de tels systemes a l'aide de reseaux de petri. On s'interesse tout d'abord a la modelisation du systeme par un reseau de petri colore, formalisme mathematique et graphique, puissant et concis, notamment par rapport au modele automate. Aucune classe particuliere n'est specifiee (graphe d'evenements ou graphe d'etats), bien que l'on restreigne les fonctions portees par les arcs a identite. On considere ensuite les specifications du fonctionnement souhaite, hierarchisees en deux types de contraintes : les premieres definissent un fonctionnement minimal sous forme de marquages interdits ou de sequences interdites ; les secondes concernent les performances attendues, exprimees comme des proprietes comportementales des reseaux de petri (vivacite, consistance, reversibilite, ). On presente alors deux algorithmes permettant, d'une part, de synthetiser sous forme d'un reseau de petri synchronise un superviseur le plus permissif possible, d'autre part, d'integrer ce superviseur au modele du systeme, a l'aide d'arcs inhibiteurs. La seconde partie de notre travail est dediee a la realisation d'un atelier logiciel supportant les divers formalismes issus des reseaux de petri (reseaux generalises, colores, a files, continus, hybrides, ), et dont l'architecture entierement ouverte et modulaire permet a chaque utilisateur d'integrer ses propres fonctions. Dans le cadre de la commande des systemes, cet atelier propose diverses methodes de commande effective de processus : approche compilee ou interpretee, commande centralisee ou modulaire.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 162 P.
  • Annexes : 123 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Angers. Service commun de la documentation. Section Lettres - Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : Th.1636 bis
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.