DSSynth: An automated digital controller synthesis tool for physical plants
We present an automated MATLAB Toolbox, named DSSynth (Digital-System Synthesizer), to synthesize sound digital controllers for physical plants that are represented as linear time-invariant systems with single input and output. In particular, DSSynth synthesizes digital controllers that are sound w....
| Main Authors: | , , , , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2017
|
| _version_ | 1797096462206631936 |
|---|---|
| author | Abate, A Bessa, I Cattaruzza, D Chaves, L Cordeiro, L David, C Kesseli, P Kroening, D Polgreen, E |
| author_facet | Abate, A Bessa, I Cattaruzza, D Chaves, L Cordeiro, L David, C Kesseli, P Kroening, D Polgreen, E |
| author_sort | Abate, A |
| collection | OXFORD |
| description | We present an automated MATLAB Toolbox, named DSSynth (Digital-System Synthesizer), to synthesize sound digital controllers for physical plants that are represented as linear time-invariant 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. |
| first_indexed | 2024-03-07T04:42:13Z |
| format | Conference item |
| id | oxford-uuid:d20b3946-fec8-4a66-bf49-b8647c0c9bf5 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:42:13Z |
| publishDate | 2017 |
| publisher | Association for Computing Machinery |
| record_format | dspace |
| spelling | oxford-uuid:d20b3946-fec8-4a66-bf49-b8647c0c9bf52022-03-27T08:01:05ZDSSynth: An automated digital controller synthesis tool for physical plantsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:d20b3946-fec8-4a66-bf49-b8647c0c9bf5Symplectic Elements at OxfordAssociation for Computing Machinery2017Abate, ABessa, ICattaruzza, DChaves, LCordeiro, LDavid, CKesseli, PKroening, DPolgreen, EWe present an automated MATLAB Toolbox, named DSSynth (Digital-System Synthesizer), to synthesize sound digital controllers for physical plants that are represented as linear time-invariant 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. |
| spellingShingle | Abate, A Bessa, I Cattaruzza, D Chaves, L Cordeiro, L David, C Kesseli, P Kroening, D Polgreen, E DSSynth: An automated digital controller synthesis tool for physical plants |
| title | DSSynth: An automated digital controller synthesis tool for physical plants |
| title_full | DSSynth: An automated digital controller synthesis tool for physical plants |
| title_fullStr | DSSynth: An automated digital controller synthesis tool for physical plants |
| title_full_unstemmed | DSSynth: An automated digital controller synthesis tool for physical plants |
| title_short | DSSynth: An automated digital controller synthesis tool for physical plants |
| title_sort | dssynth an automated digital controller synthesis tool for physical plants |
| work_keys_str_mv | AT abatea dssynthanautomateddigitalcontrollersynthesistoolforphysicalplants AT bessai dssynthanautomateddigitalcontrollersynthesistoolforphysicalplants AT cattaruzzad dssynthanautomateddigitalcontrollersynthesistoolforphysicalplants AT chavesl dssynthanautomateddigitalcontrollersynthesistoolforphysicalplants AT cordeirol dssynthanautomateddigitalcontrollersynthesistoolforphysicalplants AT davidc dssynthanautomateddigitalcontrollersynthesistoolforphysicalplants AT kesselip dssynthanautomateddigitalcontrollersynthesistoolforphysicalplants AT kroeningd dssynthanautomateddigitalcontrollersynthesistoolforphysicalplants AT polgreene dssynthanautomateddigitalcontrollersynthesistoolforphysicalplants |