Automatic control software synthesis for quantized discrete time hybrid systems

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]

Authors

Vadim Alimguzhin

This author has not been identified. Look up 'Vadim Alimguzhin' in Google

Federico Mari

This author has not been identified. Look up 'Federico Mari' in Google

Igor Melatti

This author has not been identified. Look up 'Igor Melatti' in Google

Ivano Salvo

This author has not been identified. Look up 'Ivano Salvo' in Google

Enrico Tronci

This author has not been identified. Look up 'Enrico Tronci' in Google