Robustness Analysis for Value-Freezing Signal Temporal Logic

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BRIM Luboš VEJPUSTEK Tomáš ŠAFRÁNEK David FABRIKOVÁ Jana

Year of publication 2013
Type Article in Proceedings
Conference Proceedings HSB 2013
MU Faculty or unit

Faculty of Informatics

Citation
Web http://arxiv.org/abs/1309.0867v1
Doi http://dx.doi.org/10.4204/EPTCS.125
Field Informatics
Keywords Signal Temporal Logic; robustness; monitoring; systems biology
Description In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric Temporal Logic (MTL). Furthermore, we present an algorithm for STL* robustness computation, which is implemented in the tool Parasim. Application of STL* robustness analysis is demonstrated on case studies.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.