Date : 2005
Editeur / Publisher : [S.l.] : [s.n.] , 2005
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
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.