We present an algorithm that given a Discrete Time Linear Hybrid System H returns a correct-by-construction software implementation K for a (near time optimal) robust quantized feedback controller for 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.
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
MARI, FEDERICO;
2010-01-01
Abstract
We present an algorithm that given a Discrete Time Linear Hybrid System H returns a correct-by-construction software implementation K for a (near time optimal) robust quantized feedback controller for 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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
cav2010.pdf
non disponibili
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
433.32 kB
Formato
Adobe PDF
|
433.32 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
