Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/inria-00420429
Contributor : Hervé Marchand <>
Submitted on : Tuesday, September 29, 2009 - 9:26:11 AM
Last modification on : Thursday, June 4, 2020 - 10:24:03 AM
Long-term archiving on: : Saturday, November 26, 2016 - 12:18:48 PM

File

2009-ecc-control.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00420429, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

198

Files downloads

238