Toward Model Selection by Formal Methods

Kód výsledku v 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>

Výsledek na webu

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

Jazyk výsledku

angličtina

Název v původním jazyce

Toward Model Selection by Formal Methods

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Toward Model Selection by Formal Methods

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA18-00178S" target="_blank" >GA18-00178S: Diskrétní bifurkační analýza reaktivních systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350

ISBN

—

ISSN

1571-0661

e-ISSN

—

Počet stran výsledku

15

Strana od-do

57-71

Název nakladatele

Elsevier

Místo vydání

Freiburg im Breisgau, Germany

Místo konání akce

Freiburg im Breisgau, Germany

Datum konání akce

1. 1. 2020

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

000577846300004