Toward Model Selection by Formal Methods

• 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
• 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

• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII.
• Diskrétní bifurkační analýza reaktivních systémů