Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
DSSynth: an automated digital controller synthesis tool for physical plants
ASE, 2017.
@inproceedings{ASE-2017-AbateBCCCDKKP,
author = "Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon C. Chaves and Lucas C. Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen",
booktitle = "{Proceedings of the 32nd International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2017.8115705",
isbn = "978-1-5386-2684-9",
pages = "919--924",
publisher = "{IEEE Computer Society}",
title = "{DSSynth: an automated digital controller synthesis tool for physical plants}",
year = 2017,
}