Barbaric Robustness Monitoring Revisited for STL* in Parasim

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

ŠAFRÁNEK David TROJÁK Matej BRŮŽA Vojtěch VEJPUSTEK Tomáš PAPOUŠEK Jan DEMKO Martin PASTVA Samuel PEJZNOCH Aleš BRIM Luboš

Rok publikování 2019
Druh Článek ve sborníku
Konference Computational Methods in Systems Biology (CMSB 2019)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-030-31304-3_26
Klíčová slova systems biology; robustness analysis; STL
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.