Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
Mari
Federico
author
Melatti
Igor
author
Salvo
Ivano
author
Tronci
Enrico
author
2010
Springer Berlin / Heidelberg
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.
exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=16), last updated on Sat, 24 Nov 2012 12:31:55 +0100
text
http://mclab.di.uniroma1.it/publications/papers/mari/2010/16_Mari_etal2010.pdf
10.1007/978-3-642-14295-6_20
Mari_etal2010
Sapienza @ mari @ cav2010
Computer Aided Verification
Touili
T.
editor
Cook
B.
editor
Jackson
P.
editor
2010
Springer Berlin / Heidelberg
conference publication
180
195
Lecture Notes in Computer Science
6174