Contribution a la commande de systemes a evenements discrets temporises : synthese de superviseur dans le cadre de modele automate

par ALEXIA GOUIN

Thèse de doctorat en Sciences et techniques

Sous la direction de JEAN-LOUIS FERRIER.

Soutenue en 1999

à Angers .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Ramadge et wonham ont initie une theorie proposant la synthese automatique de superviseurs pour les s. E. D. Cette theorie considere l'aspect qualitatif des actions (via l'ordre d'occurrence des evenements dans le modele), et permet au superviseur d'interdire l'apparition de certains evenements (controlables) du procede. Des developpements recents s'interessent aux aspects quantitatifs des actions et font generalement intervenir le concept d'evenement force. La supervision devient alors commande supervisee puisque le superviseur peut forcer l'occurrence de certains evenements du procede. Les deux etudes proposees dans ce memoire utilisent les automates d'alur et dill. Ce modele a ete adapte afin que les langages marques soient uniquement composes de mots finis. La premiere etude consiste a realiser la commande supervisee de systemes a evenements discrets temporises en detemporisant le modele. L'automate temporise est successivement decompose en automate de regions puis en automate de tau-regions. Dans ce dernier modele, l'evenement tau symbolisant l'ecoulement du temps est renomme tock lorsqu'il est incontrolable et tack lorsqu'il est controlable. La theorie classique de la supervision est alors appliquee pour determiner le superviseur le plus permissif. La seconde etude aborde les problemes temporels qui peuvent resulter de la composition d'automates temporises. Ces problemes sont qualifies d'incoherences temporelles, et une methode de detection des incoherences par manipulation d'intervalles est proposee. La notion de permissivite est etendue pour etre appliquee aux superviseurs temporises. Deux sortes de permissivites sont ainsi definies : la premiere est relative a l'accessibilite aux localites et la seconde concerne le respect de l'integrite des contraintes. Une methodologie de synthese de superviseur, dans le cadre specifique du modele automate temporise, est exposee a travers un algorithme qui s'inspire de celui etabli par kumar pour les automates non temporises.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 150 p.
  • Annexes : 47 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Angers. Service commun de la documentation. Section Lettres - Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.