Skip to Main content Skip to Navigation
Reports

Quantified Mu-calculus for Control Synthesis

Stéphane Riedweg 1 Sophie Pinchinat 1
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We consider an extension of the mu-calculus as a general framework to describe and synthesize controllers. This extension is obtained by quantifying atomic propositions, we call the resulting logic quantified mu-calculus. We study its main theoretical properties and show its adequacy to control applications. The proposed framework is expressive : it offers a uniform way to describe as varied parameters as the kind of systems (closed or open), the control objective, the type of interaction between the controller and the system, the optimality criteria (fairness, maximally permissive), etc. To our knowledge, none of the former approaches can capture such a wide range of concepts
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00071793
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 6:47:23 PM
Last modification on : Thursday, January 7, 2021 - 4:28:53 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:38:20 PM

Identifiers

  • HAL Id : inria-00071793, version 1

Citation

Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-calculus for Control Synthesis. [Research Report] RR-4793, INRIA. 2003. ⟨inria-00071793⟩

Share

Metrics

Record views

293

Files downloads

384