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]
@inproceedings{AlimguzhinMMST12-0,
title = {Automatic control software synthesis for quantized discrete time hybrid systems},
author = {Vadim Alimguzhin and Federico Mari and Igor Melatti and Ivano Salvo and Enrico Tronci},
year = {2012},
doi = {10.1109/CDC.2012.6426260},
url = {http://dx.doi.org/10.1109/CDC.2012.6426260},
researchr = {https://researchr.org/publication/AlimguzhinMMST12-0},
cites = {0},
citedby = {0},
pages = {6120-6125},
booktitle = {Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA},
publisher = {IEEE},
isbn = {978-1-4673-2065-8},
}