TY - CONF AU - Alimguzhin, Vadim AU - Mari, Federico AU - Melatti, Igor AU - Salvo, Ivano AU - Tronci, Enrico PY - 2012 DA - 2012// TI - Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems BT - Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA SP - 6120 EP - 6125 PB - IEEE SN - 978-1-4673-2065-8 L1 - http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2012/96_Alimguzhin_etal2012.pdf UR - https://doi.org/10.1109/CDC.2012.6426260 DO - 10.1109/CDC.2012.6426260 N1 - Techreport version can be found at http://arxiv.org/abs/1207.4098 ID - Alimguzhin_etal2012 ER -