Toward Model Selection by Formal Methods
| Authors | |
|---|---|
| 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 | |
| Citation | HAJNAL, Matej and Samuel PASTVA. Toward Model Selection by Formal Methods. Online. In Ankit Gupta, Tatjana Petrov. Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350. Freiburg im Breisgau, Germany: Elsevier, 2020, p. 57-71. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2020.06.004. |
| 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: |