Toward Model Selection by Formal Methods
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F20%3A00113960" target="_blank" >RIV/00216224:14330/20:00113960 - isvavai.cz</a>
Result on the web
<a href="http://www.sciencedirect.com/science/article/pii/S1571066120300311" target="_blank" >http://www.sciencedirect.com/science/article/pii/S1571066120300311</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.entcs.2020.06.004" target="_blank" >10.1016/j.entcs.2020.06.004</a>
Alternative languages
Result language
angličtina
Original language name
Toward Model Selection by Formal Methods
Original language 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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA18-00178S" target="_blank" >GA18-00178S: Discrete Bifurcation Analysis of Reactive Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350
ISBN
—
ISSN
1571-0661
e-ISSN
—
Number of pages
15
Pages from-to
57-71
Publisher name
Elsevier
Place of publication
Freiburg im Breisgau, Germany
Event location
Freiburg im Breisgau, Germany
Event date
Jan 1, 2020
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
000577846300004