Automated formal synthesis of provably safe digital controllers for continuous plants.

Abate, Alessandro; Bessa, Iury; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel; Polgreen, Elizabeth

View / Open Files

Published version (PDF, 632Kb)

Authors

Abate, Alessandro

Bessa, Iury

Cordeiro, Lucas

David, Cristina

Kesseli, Pascal

Kroening, Daniel

Polgreen, Elizabeth

Publication Date

2020-01

Journal Title

Acta informatica

ISSN

0001-5903

Volume

Issue

Pages

223-244

Language

eng

Type

Article

This Version

VoR

Physical Medium

Print-Electronic

Metadata

Show full item record

Citation

Abate, A., Bessa, I., Cordeiro, L., David, C., Kesseli, P., Kroening, D., & Polgreen, E. (2020). Automated formal synthesis of provably safe digital controllers for continuous plants.. Acta informatica, 57 (1), 223-244. https://doi.org/10.1007/s00236-019-00359-1

Sponsorship

Royal Society (UF160079)

Identifiers

External DOI: https://doi.org/10.1007/s00236-019-00359-1

This record's URL: https://www.repository.cam.ac.uk/handle/1810/300147

Rights

Attribution 4.0 International

Licence URL: https://creativecommons.org/licenses/by/4.0/

Except where otherwise noted, this item's licence is described as Attribution 4.0 International