Automated formal synthesis of provably safe digital controllers for continuous plants

Autor: Abate, A, Bessa, I, Cordeiro, L, David, C, Kesseli, P, Kroening, D, Polgreen, E

Publikováno v: Acta Informatica
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, vol. 57, no. 1-2, pp. 223-244 . https://doi.org/10.1007/s00236-019-00359-1
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, vol. 57, no. 1, pp. 223-244 . https://doi.org/10.1007/s00236-019-00359-1
Abate, A, Bessa, I, Cordeiro, L, David, C, Kesseli, P, Kroening, D & Polgreen, E 2019, ' Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants ', Acta Informatica, vol. 57 (2020), pp. 223–244 . https://doi.org/10.1007/s00236-019-00359-1

We present a sound and automated approach to synthesizing safe, digital controllers for physical plants represented as time-invariant models. Models are linear differential equations with inputs, evolving over a continuous state space. The synthesis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3f86927691664e66dd1ef76d20d8bfb
https://www.repository.cam.ac.uk/handle/1810/300147

Automated experiment design for data-efficient verification of parametric Markov decision processes

Autor: Polgreen, E., Wijesuriya, V.B., Haesaert, S., Abate, A., Bertrand, N., Bortolussi, L.

Publikováno v: Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, 259-274
STARTPAGE=259;ENDPAGE=274;TITLE=Quantitative Evaluation of Systems
Quantitative Evaluation of Systems ISBN: 9783319663340
QEST

We present a new method for statistical verification of quantitative properties over a partially unknown system with actions, utilising a parameterised model (in this work, a parametric Markov decision process) and data collected from experiments per

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a71994785476504832c313053a6931a2
https://research.tue.nl/nl/publications/aca4e369-ced0-45d1-8e3e-daea13cf3c4d

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Data-efficient Bayesian verification of parametric Markov chains

Autor: Polgreen, E., Wijesuriya, V.B., Haesaert, S., Abate, A., Agha, G., Van Houdt, B.

Publikováno v: Quantitative Evaluation of Systems, QEST 2016: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, 35-51
STARTPAGE=35;ENDPAGE=51;TITLE=Quantitative Evaluation of Systems, QEST 2016
Quantitative Evaluation of Systems ISBN: 9783319434247
QEST

Obtaining complete and accurate models for the formal verification of systems is often hard or impossible. We present a data-based verification approach, for properties expressed in a probabilistic logic, that addresses incomplete model knowledge. We

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab1a794a408a2099844b38ae1d48e246
https://research.tue.nl/nl/publications/83bc6b3f-e997-4321-8c56-086fd468b967

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.