PT Unknown AU Alimguzhin, V Mari, F Melatti, I Salvo, I Tronci, E TI Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems SE Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA PY 2012 BP 6120 EP 6125 DI 10.1109/CDC.2012.6426260 ER