DSSynth: An automated digital controller synthesis tool for physical plants

Alessandro Abate, Lury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

5 Citations (Scopus)
121 Downloads (Pure)


We present an automated MATLAB Toolbox, named DSSynth (Digital-System Synthesizer), to synthesize sound digital controllers for physical plants that are represented as linear timeinvariant systems with single input and output. In particular, DSSynth synthesizes digital controllers that are sound w.r.t. stability and safety specifications. DSSynth considers the complete range of approximations, including time discretization, quantization effects and finite-precision arithmetic (and its rounding errors). We demonstrate the practical value of this toolbox by automatically synthesizing stable and safe controllers for intricate physical plant models from the digital control literature. The resulting toolbox enables the application of program synthesis to real-world control engineering problems. A demonstration can be found at https://youtu.be_hLQslRcee8.
Original languageEnglish
Title of host publicationASE 2017
Subtitle of host publicationProceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
PublisherAssociation for Computing Machinery (ACM)
Number of pages6
ISBN (Electronic)978-1-5386-2684-9
Publication statusPublished - 23 Nov 2017


  • Formal Synthesis
  • Digital Control Systems
  • MATLAB Toolbox
  • Finite-Word Length
  • Verification


Dive into the research topics of 'DSSynth: An automated digital controller synthesis tool for physical plants'. Together they form a unique fingerprint.

Cite this