Quantified Mu-calculus for Control Synthesis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2003

Quantified Mu-calculus for Control Synthesis

Résumé

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

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-4793.pdf (259.79 Ko) Télécharger le fichier

Dates et versions

inria-00071793 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00071793 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More