December 2012: The paper “Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems” of Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci has been presented at the 51th IEEE Conference on Decision and Control (CDC 2012).
Full paper details are available here.