Toward Model Selection by Formal Methods

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

HAJNAL Matej PASTVA Samuel

Rok publikování 2020
Druh Článek ve sborníku
Konference Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://www.sciencedirect.com/science/article/pii/S1571066120300311
Doi http://dx.doi.org/10.1016/j.entcs.2020.06.004
Klíčová slova model checking; model selection; FFL
Popis We address the problem of selecting a model from a list of potential models in the field of dynamical systems. The selection is based on model behaviour specified in temporal logic rather than time series. We suggest and apply several ordering relations comparing the models given property specification. To provide a formal method for the proposed setting we exploit and adapt model checking and parameter synthesis methods. To evaluate the method, we apply the proposed method to the FFL motifs.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.