2010 | OriginalPaper | Buchkapitel
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
verfasst von : Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Erschienen in: Computer Aided Verification
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We present an algorithm that given a
Discrete Time Linear Hybrid System
${\cal H}$
returns a correct-by-construction software implementation
K
for a (
near time optimal
) robust quantized feedback controller for
${\cal H}$
along with the set of states on which
K
is guaranteed to work correctly (
controllable region
). Furthermore,
K
has a
Worst Case Execution Time
linear in the number of bits of the quantization schema.