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
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Tuesday, September 29, 2009 - 9:26:11 AM
Last modification on : Friday, February 4, 2022 - 3:24:51 AM
Long-term archiving on: : Saturday, November 26, 2016 - 12:18:48 PM


Publisher files allowed on an open archive


  • HAL Id : inria-00420429, version 1



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⟩



Record views


Files downloads