View in EDS HTML Full Text PDF Full Text

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

Saved in:
Bibliographic Details
Title: Automated formal synthesis of provably safe digital controllers for continuous plants.
Authors: Abate, Alessandro1, Bessa, Iury2, Cordeiro, Lucas3, David, Cristina4, Kesseli, Pascal5, Kroening, Daniel1, Polgreen, Elizabeth6, epolgreen@berkeley.edu
Source: Acta Informatica; Apr2020, Vol. 57 Issue 1/2, p223-244, 22p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:00015903
DOI:10.1007/s00236-019-00359-1