DSSynth: an automated digital controller synthesis tool for physical plants
Alessandro Abate‚ Iury Bessa‚ Dario Cattaruzza‚ Lennon Chaves‚ Lucas C. Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
Book Title
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering‚ ASE 2017‚ Urbana‚ IL‚ USA‚ October 30 − November 03‚ 2017
Pages
919–924
Year
2017