accueil

carte
animles activités scientifiques 
-
recherche

aide
 

formation par la recherche / formation doctorale / enseignement, stages / sujets de thèses

-

Sujet de thèse proposé à l'Irisa pour la rentrée 2000-2001

-image
 

Langages de scénarios et synthèse de contrôleurs

Localisation :Irisa, Rennes

Equipe Pampa, Paragraphe

Responsables :
Benoît CAILLAUD (tél. direct : 02 99 84 74 07, email : Benoit.Caillaud@irisa.fr)
Philippe DARONDEAU (tél. direct : 02 99 84 72 80, email : Philippe.Darondeau@irisa.fr)

Sujet : Les langages de scénarios ont été introduits pour permettre à des non-spécialistes de donner des spécifications incomplètes de systèmes à réaliser : protocoles de télécommunications, systèmes d'informations répartis, systèmes de production, etc.

Le contrôle des systèmes à événements discrets (à la Ramadge & Wonham) consiste à construire, pour un système donné, un superviseur (le plus permissif possible) garantissant la sûreté et la vivacité de ce système.

Le sujet proposé est de combiner ces deux thèmes en s'inspirant des avancées récentes en synthèse de réseaux de Petri pour automatiser à la fois la synthèse de systèmes et la synthèse de contrôleurs. L'intérêt de la démarche proposée est d'aboutir naturellement à des systèmes répartissables.

Le travail de thèse s'équilibrera entre des travaux théoriques, méthodologiques et de prototypage sur l'outil SYNET.

Bibliographie :

[1] P. Darondeau, Deriving Unbounded Petri-Nets from Formal Languages, Rapport de recherche INRIA RR-3365, 1998, http://www.inria.fr/RRRT/RR-3365.html

[2] B. Caillaud, SYNET: A Synthesizer of Distributable Bounded Petri-Nets from Finite Automata, Version 2.0a, http://www.irisa.fr/pampa/logiciels/synet/synet.html

[3] L. Hélouët, MSC-Related Online Publications, http://www.irisa.fr/pampa/perso/helouet/compil.html

[4] P.J.G. Ramadge, W.M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, no.1 p. 81-98, 1988


File translated from TEX by TTH, version 2.25.
On 8 Mar 2000, 15:33.
 

up

dernière mise à jour : 13 mars2000

--english version---webmaster@irisa.fr ---©copyright--


accueil
 

w3c-html4