Barbaric Robustness Monitoring Revisited for STL* in Parasim

D 2019

Barbaric Robustness Monitoring Revisited for STL* in Parasim

ŠAFRÁNEK, David, Matej TROJÁK, Vojtěch BRŮŽA, Tomáš VEJPUSTEK, Jan PAPOUŠEK et. al.

Basic information

Original name

Barbaric Robustness Monitoring Revisited for STL* in Parasim

Authors

ŠAFRÁNEK, David (203 Czech Republic, guarantor, belonging to the institution), Matej TROJÁK (703 Slovakia, belonging to the institution), Vojtěch BRŮŽA (203 Czech Republic, belonging to the institution), Tomáš VEJPUSTEK (203 Czech Republic), Jan PAPOUŠEK (203 Czech Republic), Martin DEMKO (703 Slovakia, belonging to the institution), Samuel PASTVA (703 Slovakia, belonging to the institution), Aleš PEJZNOCH (203 Czech Republic) and Luboš BRIM (203 Czech Republic, belonging to the institution)

Edition

LNBI 11773. Neuveden, Computational Methods in Systems Biology (CMSB 2019), p. 356-359, 4 pp. 2019

Publisher

Springer

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

printed version "print"

Impact factor

Impact factor: 0.402 in 2005

RIV identification code

RIV/00216224:14330/19:00107671

Organization unit

Faculty of Informatics

ISBN

978-3-030-31303-6

ISSN

DOI

http://dx.doi.org/10.1007/978-3-030-31304-3_26

UT WoS

000557875100026

Keywords in English

systems biology; robustness analysis; STL

Abstract

V originále

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.

Links

GA15-11089S, research and development project

Name: Získávání parametrů biologických modelů pomocí techniky ověřování modelů

Investor: Czech Science Foundation

LM2015055, research and development project

Name: Centrum pro systémovou biologii (Acronym: C4SYS)

Investor: Ministry of Education, Youth and Sports of the CR

MUNI/A/1018/2018, interní kód MU

Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII.

Investor: Masaryk University, Category A

Citovat

ŠAFRÁNEK, David, Matej TROJÁK, Vojtěch BRŮŽA, Tomáš VEJPUSTEK, Jan PAPOUŠEK, Martin DEMKO, Samuel PASTVA, Aleš PEJZNOCH and 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, 2019, p. 356-359. ISBN 978-3-030-31303-6. Available from: https://dx.doi.org/10.1007/978-3-030-31304-3_26.

@inproceedings{1561203,
   author = {Šafránek, David and Troják, Matej and Brůža, Vojtěch and Vejpustek, Tomáš and Papoušek, Jan and Demko, Martin and Pastva, Samuel and Pejznoch, Aleš and Brim, Luboš},
   address = {Neuveden},
   booktitle = {Computational Methods in Systems Biology (CMSB 2019)},
   doi = {http://dx.doi.org/10.1007/978-3-030-31304-3_26},
   edition = {LNBI 11773},
   editor = {Bortolussi L., Sanguinetti G.},
   keywords = {systems biology; robustness analysis; STL},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Neuveden},
   isbn = {978-3-030-31303-6},
   pages = {356-359},
   publisher = {Springer},
   title = {Barbaric Robustness Monitoring Revisited for STL* in Parasim},
   year = {2019}
}

TY  - JOUR
ID  - 1561203
AU  - Šafránek, David - Troják, Matej - Brůža, Vojtěch - Vejpustek, Tomáš - Papoušek, Jan - Demko, Martin - Pastva, Samuel - Pejznoch, Aleš - Brim, Luboš
PY  - 2019
TI  - Barbaric Robustness Monitoring Revisited for STL* in Parasim
PB  - Springer
CY  - Neuveden
SN  - 9783030313036
KW  - systems biology
KW  - robustness analysis
KW  - STL
N2  - 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.
ER  -

ŠAFRÁNEK, David, Matej TROJÁK, Vojtěch BRŮŽA, Tomáš VEJPUSTEK, Jan PAPOUŠEK, Martin DEMKO, Samuel PASTVA, Aleš PEJZNOCH and Luboš BRIM. Barbaric Robustness Monitoring Revisited for STL* in Parasim. In Bortolussi L., Sanguinetti G. \textit{Computational Methods in Systems Biology (CMSB 2019)}. LNBI 11773. Neuveden: Springer, 2019, p.~356-359. ISBN~978-3-030-31303-6. Available from: https://dx.doi.org/10.1007/978-3-030-31304-3\_{}26.

Detailed Information on Publication Record