The Community for Technology Leaders
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (2017)
Urbana, IL, USA
Oct. 30, 2017 to Nov. 3, 2017
ISBN: 978-1-5386-3976-4
pp: 919-924
Alessandro Abate , University of Oxford, Oxford, United Kingdom
Iury Bessa , Federal University of Amazonas, Manaus, Brazil
Dario Cattaruzza , University of Oxford, Oxford, United Kingdom
Lennon Chaves , Federal University of Amazonas, Manaus, Brazil
Lucas Cordeiro , University of Oxford, Oxford, United Kingdom
Cristina David , University of Oxford, Oxford, United Kingdom
Pascal Kesseli , University of Oxford, Oxford, United Kingdom
Daniel Kroening , University of Oxford, Oxford, United Kingdom
Elizabeth Polgreen , University of Oxford, Oxford, United Kingdom
ABSTRACT
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.
INDEX TERMS
MATLAB, Mathematical model, Transfer functions, Tools, Digital control, Engines
CITATION

A. Abate et al., "DSSynth: An automated digital controller synthesis tool for physical plants," 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Urbana, IL, USA, 2017, pp. 919-924.
doi:10.1109/ASE.2017.8115705
426 ms
(Ver 3.3 (11022016))