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

https://hal.inria.fr/hal-01098771
Contributeur : Guillaume Aucher <>
Soumis le : lundi 29 décembre 2014 - 13:56:44
Dernière modification le : mercredi 16 mai 2018 - 11:23:27
Document(s) archivé(s) le : samedi 15 avril 2017 - 12:01:32

Fichier

p333.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01098771, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

244

Téléchargements de fichiers

110