Barbaric Robustness Monitoring Revisited for STL* in Parasim

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

• Získávání parametrů biologických modelů pomocí techniky ověřování modelů
• The national infrastructure C4SYS - Centre for Systems Biology
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII.