Mari_etal2010
Proceedings
Springer Berlin / Heidelberg
2010
Computer Aided Verification
6174
180-195
MariFederico
MelattiIgor
SalvoIvano
TronciEnrico
TouiliT.
CookB.
JacksonP.
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
We present an algorithm that given a Discrete Time Linear Hybrid System returns a correct-by-construction software implementation K for a (near time optimal) robust quantized feedback controller for 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.