| Title: | Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants |
|---|---|
| Links: | Homepage |
| Authors: | Alessandro Abate |
| Iury Bessa | |
| Cordeiro Lucas | |
| Cristina David | |
| Pascal Kesseli | |
| Daniel Kroening EMail | |
| Elizabeth Polgreen | |
| Remarks: | |
| Topics: |
Bibtex:
@article{abcckkp2019,
AUTHOR = { Abate, Alessandro
and Bessa, Iury
and Lucas, Cordeiro
and David, Cristina
and Kesseli, Pascal
and Kroening, Daniel
and Polgreen, Elizabeth },
TITLE = { Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants },
YEAR = { 2020 },
PAGES = { 223--244 },
JOURNAL = { Acta Informatica },
VOLUME = { 57 },
NUMBER = { 1 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.