| Title: | Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Alessandro Abate |
| Iury Bessa | |
| Dario Cattaruzza | |
| Cordeiro Lucas | |
| Cristina David | |
| Pascal Kesseli | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{abccdkk2017,
AUTHOR = { Abate, Alessandro
and Bessa, Iury
and Cattaruzza, Dario
and Lucas, Cordeiro
and David, Cristina
and Kesseli, Pascal
and Kroening, Daniel },
TITLE = { Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants },
BOOKTITLE = { Hybrid Systems: Computation and Control (HSCC) },
YEAR = { 2017 },
PUBLISHER = { ACM },
PAGES = { 197--206 },
ISBN = { 978-1-4503-4590-3 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.