@InProceedings{Mari_etal2010,
author="Mari, Federico
and Melatti, Igor
and Salvo, Ivano
and Tronci, Enrico",
editor="Touili, T.
and Cook, B.
and Jackson, P.",
title="Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems",
booktitle="Computer Aided Verification",
series="Lecture Notes in Computer Science",
year="2010",
publisher="Springer Berlin / Heidelberg",
volume="6174",
pages="180--195",
abstract="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.",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=16), last updated on Sat, 24 Nov 2012 12:31:55 +0100",
doi="10.1007/978-3-642-14295-6_20",
opturl="https://doi.org/10.1007/978-3-642-14295-6_20",
file=":http://mclab.di.uniroma1.it/publications/papers/mari/2010/16_Mari_etal2010.pdf:PDF"
}