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

par Benoït Gaudin

Thèse de doctorat en Informatique

Sous la direction de Philippe Darondeau.

Soutenue en 2004

à Rennes 1 .


  • 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.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 154 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : 84 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA Rennes 2004/79
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : LURPA / THESE 2004 05
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.