Méthode formelle de commande sous contraintes de temps dans les dioïdes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

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.
Fichier principal
Vignette du fichier
MSR_05_Final.pdf (277.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00362941 , version 1 (19-02-2009)

Identifiants

  • HAL Id : hal-00362941 , version 1

Citer

Saïd Amari, Isabel Demongodin, Jean Jacques Loiseau. Méthode formelle de commande sous contraintes de temps dans les dioïdes. Modélisation des Systèmes Réactifs, MSR'05, publié dans le Journal Européen des Systèmes Automatisés, RS série JESA, volume 39 - n° 1-2-3/2005, Oct 2005, Grenoble, France. pp.319-334. ⟨hal-00362941⟩
209 Consultations
193 Téléchargements

Partager

Gmail Facebook X LinkedIn More