| Title: |
DSSynth: An automated digital controller synthesis tool for physical plants |
| Authors: |
Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Chaves, Lennon; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel; Polgreen, Elizabeth |
| Publisher Information: |
IEEE https://doi.org/10.1109/ase.2017.8115705 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2019-07-03T23:30:24Z 2019-07-03T23:30:24Z 2017-10 |
| Document Type: |
Electronic Resource |
| Index Terms: |
4901 Applied Mathematics; 49 Mathematical Sciences; 4007 Control Engineering, Mechatronics and Robotics; 40 Engineering; Conference Object |
| URL: |
https://www.repository.cam.ac.uk/handle/1810/294331 |
| Availability: |
Open access content. Open access content; All rights reserved |
| Note: |
application/pdf; English |
| Other Numbers: |
HS1 oai:www.repository.cam.ac.uk:1810/294331; 10.17863/CAM.41430; 1487977005 |
| Contributing Source: |
UNIV OF CAMBRIDGE; From OAIster®, provided by the OCLC Cooperative. |
| Accession Number: |
edsoai.on1487977005 |
| Database: |
OAIster |