Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Guillaume Aucher Connect in order to contact the contributor
Submitted on : Monday, December 29, 2014 - 1:56:44 PM
Last modification on : Thursday, June 2, 2022 - 11:16:06 AM
Long-term archiving on: : Saturday, April 15, 2017 - 12:01:32 PM


Publisher files allowed on an open archive


  • HAL Id : hal-01098771, version 1


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



Record views


Files downloads