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. Online. In \textit{Proceedings HSB 2013}. Neuveden: Neuveden, 2013, s.~20-36. ISSN~2075-2180. Dostupné z: https://dx.doi.org/10.4204/EPTCS.125.
|