Logiques pour le contrôle d'automatismes discrets

par Stéphane Riedweg

Thèse de doctorat en Informatique

Sous la direction de Philippe Darondeau.

Soutenue en 2003

à Rennes 1 .


  • Résumé

    Cette thèse présente un formalisme logique pour la synthèse de contrôleurs des systèmes à événements discrets. Ce formalisme est obtenu par quantification des propositions atomiques dans les formules de la logique Mu-calcul. Cette approche logique permet la spécification formelle et uniforme de divers problèmes de contrôle. Différents critères de contrôle, comme la permissivité maximale, sont requis de manière simple. La synthèse de contrôleurs est obtenue par vérification des spécifications, en utilisant la théorie des automates d'arbres ainsi que la théorie des jeux de parité.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 122 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : 41 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 2003/89
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.