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 metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01098771
Contributor : Guillaume Aucher <>
Submitted on : Monday, December 29, 2014 - 1:56:44 PM
Last modification on : Wednesday, December 5, 2018 - 1:58:01 PM
Long-term archiving on : Saturday, April 15, 2017 - 12:01:32 PM

File

p333.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01098771, version 1

Citation

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

Share

Metrics

Record views

361

Files downloads

132