Supervisory Control Theory in Epistemic Temporal Logic

Abstract : Supervisory control theory deals with problems related to the existence and the synthesis of supervisors. The role of a supervisor in a system is to control and restrict the behavior of this system in order to realize a specific behavior. When there are multiple supervisors, such systems are in fact multi-agent systems. The results of supervisory control theory are usually expressed in terms of operations like intersection and inclusion between formal languages. We reformulate them in terms of model checking problems in an epistemic temporal logic. Our reformulations are very close to natural language expressions and highlight their under-lying intuitions. From an applied perspective, they pave the way for applying model checking techniques developed for epistemic temporal logics to the problems of supervisory control theory.
Type de document :
Communication dans un congrès
AAMAS 2014, May 2014, Paris, France
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger
Contributeur : Guillaume Aucher <>
Soumis le : lundi 29 décembre 2014 - 13:56:44
Dernière modification le : mercredi 5 décembre 2018 - 13:58:01
Document(s) archivé(s) le : samedi 15 avril 2017 - 12:01:32


Fichiers éditeurs autorisés sur une archive ouverte


  • HAL Id : hal-01098771, version 1


Guillaume Aucher. Supervisory Control Theory in Epistemic Temporal Logic. AAMAS 2014, May 2014, Paris, France. 〈hal-01098771〉



Consultations de la notice


Téléchargements de fichiers