Commande des graphes d'événements temporisés sous contraintes temporelles / Saïd Amari ; sous la direction de Jean-Jacques Loiseau ; co-encadrant Isabel Demongodin

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2005

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Systèmes échantillonnés

Algèbre linéaire

Synchronisation

Loiseau, Jean-Jacques (1958-....) (Directeur de thèse / thesis advisor)

Demongodin, Isabel (Directeur de thèse / thesis advisor)

Université de Nantes (1962-2021) (Organisme de soutenance / degree-grantor)

Université de Nantes. Faculté des sciences et des techniques (Autre partenaire associé à la thèse / thesis associated third party)

École doctorale sciences et technologies de l'information et des matériaux (Nantes) (Ecole doctorale associée à la thèse / doctoral school)

Relation : Commande des graphes d'événements temporisés sous contraintes temporelles / Saïd Amari ; sous la direction de Jean-Jacques Loiseau ; co-encadrant Isabel Demongodin / Grenoble : Atelier national de reproduction des thèses , 2005

Résumé / Abstract : 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.

Résumé / Abstract : 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.