Barbaric Robustness Monitoring Revisited for STL* in Parasim
| Authors | |
|---|---|
| Year of publication | 2019 |
| Type | Article in Proceedings |
| Conference | Computational Methods in Systems Biology (CMSB 2019) |
| MU Faculty or unit | |
| Citation | |
| Doi | http://dx.doi.org/10.1007/978-3-030-31304-3_26 |
| Keywords | systems biology; robustness analysis; STL |
| Description | 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. |
| Related projects: |