Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci. Automatic control software synthesis for quantized discrete time hybrid systems. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 6120-6125, IEEE, 2012. [doi]
Abstract is missing.