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

• Auteur / Autrice : Alexia Gouin
• Direction : Jean-Louis Ferrier
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1999
• Etablissement(s) : Angers

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.