Control of Infinite Symbolic Transition Systems under Partial Observation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Control of Infinite Symbolic Transition Systems under Partial Observation

Abstract

We provide models of safe controllers both for potentially blocking and non blocking controlled systems. To obtain algorithms for these problems, we make the use of abstract interpretation techniques which provide over-approximations of the transitions set to be disabled. To our knowledge, with the hypotheses taken, the improved version of our algorithm provides a better solution than what was previously proposed in the literature. Our tool SMACS allowed us to make an empirical validation of our methods to show their feasibility and usability.
Fichier principal
Vignette du fichier
2009-ecc-control.pdf (269.61 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

inria-00420429 , version 1 (29-09-2009)

Identifiers

  • HAL Id : inria-00420429 , version 1

Cite

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Control of Infinite Symbolic Transition Systems under Partial Observation. European Control Conference, Aug 2009, Budapest, Hungary. pp.1456-1462. ⟨inria-00420429⟩
62 View
137 Download

Share

Gmail Facebook Twitter LinkedIn More