Commande des graphes d'événements temporisés sous contraintes temporelles

par Saïd Amari

Thèse de doctorat en Automatique et informatique appliquée

Sous la direction de Jean-Jacques Loiseau et de Isabel Demongodin.

Soutenue en 2005

à l'Université de Nantes .


  • Résumé

    Nous considérons une classe de graphes d'événements temporisés contrôlés soumis à des contraintes temporelles strictes. Ces graphes sont déterministes, au sens où leur évolution ne dépend que du marquage initial et des commandes qui leur sont appliquées. Un tel graphe est modélisé par un système d'équations aux différences qui est linéaire dans l'algèbre Min-Plus, ou Max-Plus. Les contraintes temporelles à valider se traduisent, quant à elles par des inéquations qui sont également linéaires dans l'algèbre Min-Plus, ou Max-Plus. Nous proposons une méthode pour la synthèse de commandes garantissant le respect des contraintes temporelles. La commande est un retour d'état causal retardé , qu'on peut effectivement calculer dès lors que deux conditions suffisantes sont vérifiées. Les méthodes proposées sont illustrées sur l'exemple d'un atelier de production.

  • Titre traduit

    Control of timed event graphs under temporal contraints


  • Résumé

    We consider a class of controlled timed event graphs subject to strict temporal constraints. Such a graph is deterministic. Its behavior only depends on the initial marking and on the control inputs that are applied. This behavior can be represented by a system of difference equations that are linear in the Min-Plus, or Max-Plus algebra. The temporal constraints are represented by inequations, that are also linear in the Min-Plus, or Max-Plus algebra. We propose a method for the synthesis of a control law ensuring the validity of the constraints. This control law is a causal retarded state feedback. It can effectively be calculated if two sufficient conditions are satisfied. All the methods are illustrated on the example of manufacturing system.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (104 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 95-99. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 2005 NANT 2110
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.