ŠAFRÁNEK, David, Matej TROJÁK, Vojtěch BRŮŽA, Tomáš VEJPUSTEK, Jan PAPOUŠEK, Martin DEMKO, Samuel PASTVA, Aleš PEJZNOCH a Luboš BRIM. Barbaric Robustness Monitoring Revisited for STL* in Parasim. In Bortolussi L., Sanguinetti G. Computational Methods in Systems Biology (CMSB 2019). LNBI 11773. Neuveden: Springer. s. 356-359. ISBN 978-3-030-31303-6. doi:10.1007/978-3-030-31304-3_26. 2019.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Barbaric Robustness Monitoring Revisited for STL* in Parasim
Autoři ŠAFRÁNEK, David (203 Česká republika, garant, domácí), Matej TROJÁK (703 Slovensko, domácí), Vojtěch BRŮŽA (203 Česká republika, domácí), Tomáš VEJPUSTEK (203 Česká republika), Jan PAPOUŠEK (203 Česká republika), Martin DEMKO (703 Slovensko, domácí), Samuel PASTVA (703 Slovensko, domácí), Aleš PEJZNOCH (203 Česká republika) a Luboš BRIM (203 Česká republika, domácí).
Vydání LNBI 11773. Neuveden, Computational Methods in Systems Biology (CMSB 2019), od s. 356-359, 4 s. 2019.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
Impakt faktor Impact factor: 0.402 v roce 2005
Kód RIV RIV/00216224:14330/19:00107671
Organizační jednotka Fakulta informatiky
ISBN 978-3-030-31303-6
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-030-31304-3_26
UT WoS 000557875100026
Klíčová slova anglicky systems biology; robustness analysis; STL
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 15. 4. 2021 12:11.
Anotace
In our previous work, we have introduced an extension of signal temporal logic called STL* that allows expressing freezing of values referred within temporal operators. The extension is important especially to express several aspects of signals that cannot be expressed in plain STL (e.g., presence of local extremes and their mutual relationships, nontrivial oscillatory behaviour such as damped oscillations, etc.). In this short paper, we address the tool Parasim that includes an implementation of the algorithm for computing robustness with respect to an STL* specification. The tool is in its current version considered as a prototype implementation of the algorithms for STL* robust monitoring of ODE models.
Návaznosti
GA15-11089S, projekt VaVNázev: Získávání parametrů biologických modelů pomocí techniky ověřování modelů
Investor: Grantová agentura ČR, Získávání parametrů biologických modelů pomocí techniky ověřování modelů
LM2015055, projekt VaVNázev: Centrum pro systémovou biologii (Akronym: C4SYS)
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, The national infrastructure C4SYS - Centre for Systems Biology
MUNI/A/1018/2018, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII.
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
VytisknoutZobrazeno: 29. 3. 2024 15:40