PT Unknown
AU Mari, F
Melatti, I
Salvo, I
Tronci, E
TI Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
SE Computer Aided Verification
PY 2010
BP 180
EP 195
VL 6174
DI 10.1007/978-3-642-14295-6_20
AB 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.
ER