-A A +A

DSSynth: an automated digital controller synthesis tool for physical plants

TitleDSSynth: an automated digital controller synthesis tool for physical plants
Publication TypeConference Paper
Year of Publication2017
AuthorsAbate A, Bessa I, Cattaruzza D, Chaves L, Cordeiro LC, David C, Kesseli P, Kroening D, Polgreen E
Conference NameProceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017
URLhttps://doi.org/10.1109/ASE.2017.8115705
DOI10.1109/ASE.2017.8115705

CONTACT US

Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

 

Education - This is a contributing Drupal Theme
Design by WeebPal.