ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 39/1-3 - 2005  - pp.319-334  - doi:10.3166/jesa.39.319-334
TITRE
Méthode formelle de commande sous contraintes de temps dans les dioïdes

RÉSUMÉ
Nous considérons dans ce papier, une classe de graphes d’événements temporisés contrôlés soumis à des contraintes temporelles. Ces graphes sont déterministes, dans le sens où leur comportement dépend seulement de leur marquage initial et des entrées de commande qu’on leur a appliquées. Le comportement de ces graphes peut être modélisé par des équations aux différences qui sont linéaires dans l’algèbre Min-Plus. Les contraintes temporelles sont traduites par des inéquations, qui sont également linéaires dans l’algèbre Min-Plus. Nous proposons alors une méthode pour la synthèse de commande qui garantit le respect des contraintes temporelles. Nous explicitons une loi de commande, qui, si deux conditions sont satisfaites, assure la validité des contraintes temporelles. La commande est un retour d’état causal impliquant des retards. La méthode est illustrée sur un exemple réel de processus de production.

ABSTRACT
We consider a class of controlled timed event graphs subject to strict temporal constraints. Such a graph is deterministic, in the sense that its behavior only depends on the initial marking and on the control that is applied. This behavior can be modelled by a system of difference equations that are linear in the Min-Plus algebra. The temporal constraint is represented by an inequation that is also linear in the Min-Plus algebra. Then, a method for the synthesis of a control law ensuring the respect of the constraint is described. We give explicit formulas characterizing a control law, which, if two conditions are satisfied, ensures the validity of the temporal constraints. It is a causal state feedback, involving delays. The method is illustrated on a real example of a production system.

AUTEUR(S)
Saïd AMARI, Isabel DEMONGODIN, Jean-Jacques LOISEAU

MOTS-CLÉS
graphes d’événements temporisés, modèles min-plus linéaires, contraintes temporelles, commande.

KEYWORDS
Timed event graph, Min-Plus Linear Models, Temporal Constraint Control.

CITATIONS
jesa.revuesonline.com/revues/6/citation/6920.html

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (240 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier