DSSynth: an automated digital controller synthesis tool for physical plants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen. DSSynth: an automated digital controller synthesis tool for physical plants. In Grigore Rosu, Massimiliano Di Penta, Tien N. Nguyen, editors, 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, ACM, 2017. [doi]

This author has not been identified. Look up 'Alessandro Abate' in GoogleThis author has not been identified. Look up 'Iury Bessa' in GoogleThis author has not been identified. Look up 'Dario Cattaruzza' in GoogleThis author has not been identified. Look up 'Lennon Chaves' in GoogleThis author has not been identified. Look up 'Lucas C. Cordeiro' in GoogleThis author has not been identified. Look up 'Cristina David' in GoogleThis author has not been identified. Look up 'Pascal Kesseli' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Elizabeth Polgreen' in Google

runs on WebDSL