Synthèse de contrôleurs sur des systèmes à évènements discrets structurés

• Auteur / Autrice : Benoït Gaudin
• Direction : Philippe Darondeau
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2004
• Etablissement(s) : Rennes 1

Mots clés

Mots clés contrôlés

Langages formels

Opérateurs de composition

Maîtrise statistique des processus

Automates programmables

Systèmes échantillonnés

Résumé

L'étude concerne le contrôle de systèmes critiques, pour lesquels la correction est primordiale. La théorie du contrôle des systèmes à événements discrets a pour objectif de garantir par construction que le système respecte certaines propriétés. Les méthodes proposées à ce jour souffrent d'un problème d'efficacité lorsque le système à contrôler est décrit de manière compositionnelle. Pour pallier au problème d'explosion combinatoire induit par la composition, nous avons développé des méthodes propres à ces systèmes en tirant partie de leur structure, i. E. En effectuant autant que possible des calculs sur les sous systèmes, plutôt que sur le système global. Nous nous sommes focalisé sur des propriétés de sûreté portant sur le comportement ou les états du système et avons développé des techniques propres à ces deux approches. Pour l'approche à états, nous avons en outre étudié le problème du non-blocage et étendu ces résultats au cadre des systèmes hiérarchiques à deux niveaux.