TY - CONF AU - Alimguzhin, Vadim AU - Mari, Federico AU - Melatti, Igor AU - Salvo, Ivano AU - Tronci, Enrico PY - 2012// TI - Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems BT - Conference on Decision and Control, CDC PB - IEEE L1 - papers/alimguzhin/2012/13_Alimguzhin_etal2012.pdf N1 - To Appear. A preliminary version can be found at http://arxiv.org/abs/1207.4098 ID - Alimguzhin_etal2012 ER -