%0 Conference Proceedings %T Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems %A Alimguzhin, Vadim %A Mari, Federico %A Melatti, Igor %A Salvo, Ivano %A Tronci, Enrico %S Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA %D 2012 %I IEEE %@ 978-1-4673-2065-8 %F Alimguzhin_etal2012 %O Techreport version can be found at http://arxiv.org/abs/1207.4098 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=96), last updated on Wed, 20 Feb 2013 15:45:56 +0100 %R 10.1109/CDC.2012.6426260 %U http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2012/96_Alimguzhin_etal2012.pdf %U https://doi.org/10.1109/CDC.2012.6426260 %P 6120-6125