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