Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1132231,
author = {Brim, Luboš and Vejpustek, Tomáš and Šafránek, David and Fabriková, Jana},
address = {Neuveden},
booktitle = {Proceedings HSB 2013},
doi = {http://dx.doi.org/10.4204/EPTCS.125},
keywords = {Signal Temporal Logic; robustness; monitoring; systems biology},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Neuveden},
pages = {20-36},
publisher = {Neuveden},
title = {Robustness Analysis for Value-Freezing Signal Temporal Logic},
url = {http://arxiv.org/abs/1309.0867v1},
year = {2013}
}
TY - JOUR
ID - 1132231
AU - Brim, Luboš - Vejpustek, Tomáš - Šafránek, David - Fabriková, Jana
PY - 2013
TI - Robustness Analysis for Value-Freezing Signal Temporal Logic
PB - Neuveden
CY - Neuveden
KW - Signal Temporal Logic
KW - robustness
KW - monitoring
KW - systems biology
UR - http://arxiv.org/abs/1309.0867v1
L2 - http://arxiv.org/abs/1309.0867v1
N2 - 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.
ER -
BRIM, Luboš, Tomáš VEJPUSTEK, David ŠAFRÁNEK a Jana FABRIKOVÁ. Robustness Analysis for Value-Freezing Signal Temporal Logic. In \textit{Proceedings HSB 2013}. Neuveden: Neuveden. s.~20-36. ISSN~2075-2180. doi:10.4204/EPTCS.125. 2013.
|
