Toward Model Selection by Formal Methods

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

HAJNAL Matej PASTVA Samuel

Year of publication 2020
Type Article in Proceedings
Conference Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350
MU Faculty or unit

Faculty of Informatics

Citation
Web http://www.sciencedirect.com/science/article/pii/S1571066120300311
Doi http://dx.doi.org/10.1016/j.entcs.2020.06.004
Keywords model checking; model selection; FFL
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.