Control of infinite Symbolic Transition Systems under partial observation

We propose algorithms for the synthesis of state-feedback controllers through partial observation of infinite state systems modelled by Symbolic Transition Systems. We provide models of safe controllers both for potentially blocking and non blocking controlled systems. To obtain algorithms for these...

Full description

Saved in:
Bibliographic Details
Published in2009 European Control Conference (ECC) pp. 1456 - 1462
Main Authors Kalyon, Gabriel, Le Gall, Tristan, Marchand, Herve, Massart, Thierry
Format Conference Proceeding Journal Article
LanguageEnglish
Published IEEE 01.08.2009
Subjects
Abstract Interpretation
Abstracts
Aerospace electronics
Algorithms
Blocking
Control Synthesis
Control systems
Controllers
Cost accounting
Europe
Feasibility
Mathematical models
Mice
Partial Observation
Semantics
Symbolic Transition Systems
Synthesis
Online AccessGet full text

Cover

More Information
Summary:We propose algorithms for the synthesis of state-feedback controllers through partial observation of infinite state systems modelled by Symbolic Transition Systems. We provide models of safe controllers both for potentially blocking and non blocking controlled systems. To obtain algorithms for these problems, we use 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.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Conference-1
ObjectType-Feature-3
content type line 23
SourceType-Conference Papers & Proceedings-2
ISBN:9783952417393
3952417394
DOI:10.23919/ECC.2009.7074611