TY  - CONF
AU  - Mari, Federico
AU  - Melatti, Igor
AU  - Salvo, Ivano
AU  - Tronci, Enrico
ED  - Touili, T.
ED  - Cook, B.
ED  - Jackson, P.
PY  - 2010
DA  - 2010//
TI  - Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
BT  - Computer Aided Verification
T3  - Lecture Notes in Computer Science
SP  - 180
EP  - 195
VL  - 6174
PB  - Springer Berlin / Heidelberg
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.
L1  - http://mclab.di.uniroma1.it/publications/papers/mari/2010/16_Mari_etal2010.pdf
UR  - https://doi.org/10.1007/978-3-642-14295-6_20
DO  - 10.1007/978-3-642-14295-6_20
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=16), last updated on Sat, 24 Nov 2012 12:31:55 +0100
ID  - Mari_etal2010
ER  -