Robustness Analysis for Value-Freezing Signal Temporal Logic

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2013
Druh Článek ve sborníku
Konference Proceedings HSB 2013
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://arxiv.org/abs/1309.0867v1
Doi http://dx.doi.org/10.4204/EPTCS.125
Obor Informatika
Klíčová slova Signal Temporal Logic; robustness; monitoring; systems biology
Popis 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.
Související projekty:

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

Další info