Résumé du séminaire du 18 Novembre 1998


Bertrand COTTENCEAU - Synthèse de Feedbacks pour des graphes d'événements temporisés dans les dioïdes

Les GET sont représentés par leur transfert entrée-sortie

Y=HU
L'ajout d'un feedback F leur impose dès lors un transfert de système bouclé du typeY=H(FH)*U
où * est l'étoile de Kleene.

On s'intéresse ici à l'action du feedback F sur l'expression du transfert du système bouclé

Les questions auxquelles, on tente de répondre sont les suivantes:

  • Modèle de référence.
    Existe t-il un feedback Fg permettant au système bouclé d'atteindre un modèle de référence G donné?
    Formellement, existe t-il un (plus grand) Fg tel que H(FgH)* soit inférieur ou égal à G?.
  • Optimisations de ressources.
    Peut-on calculer un feedback qui minimise le nombre de jetons à placer dans le bouclage et conserve le taux de production du système ouvert?
  • Ces résultats s'appuient principalement sur des propriétés de l'étoile de Kleene dans un dioïde complet.