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