| DLUHOŠ, Petr, Luboš BRIM a David ŠAFRÁNEK. On Expressing and Monitoring Oscillatory Dynamics. Online. Electronic Proceedings in Theoretical Computer Science. Newcastle Upon Tyne: EPTCS, 2012, roč. 2012, č. 92, s. 73-87. ISSN 2075-2180. Dostupné z: https://dx.doi.org/10.4204/EPTCS.92. [citováno 2024-04-23] |
Další formáty:
BibTeX
LaTeX
RIS
@article{1067413,
author = {Dluhoš, Petr and Brim, Luboš and Šafránek, David},
article_location = {Newcastle Upon Tyne},
article_number = {92},
doi = {http://dx.doi.org/10.4204/EPTCS.92},
keywords = {dynamical systems; oscillation; monitoring; Signal Temporal Logic},
language = {eng},
issn = {2075-2180},
journal = {Electronic Proceedings in Theoretical Computer Science},
title = {On Expressing and Monitoring Oscillatory Dynamics},
url = {http://arxiv.org/abs/1208.3853v1},
volume = {2012},
year = {2012}
}
TY - JOUR
ID - 1067413
AU - Dluhoš, Petr - Brim, Luboš - Šafránek, David
PY - 2012
TI - On Expressing and Monitoring Oscillatory Dynamics
JF - Electronic Proceedings in Theoretical Computer Science
VL - 2012
IS - 92
SP - 73-87
EP - 73-87
PB - EPTCS
SN - 20752180
KW - dynamical systems
KW - oscillation
KW - monitoring
KW - Signal Temporal Logic
UR - http://arxiv.org/abs/1208.3853v1
L2 - http://arxiv.org/abs/1208.3853v1
N2 - To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of continuous signals. The logic has been used to express and analyse biological systems, but it is not expressive enough to sufficiently distinguish oscillatory properties important in biology. In this paper we define the extended logic STL* in which STL is augmented with a signal-value freezing operator allowing us to express (and distinguish) detailed properties of biological oscillations. The logic is supported by a monitoring algorithm prototyped in Matlab. The monitoring procedure of STL* is evaluated on a biologically-relevant case study.
ER -
DLUHOŠ, Petr, Luboš BRIM a David ŠAFRÁNEK. On Expressing and Monitoring Oscillatory Dynamics. Online. \textit{Electronic Proceedings in Theoretical Computer Science}. Newcastle Upon Tyne: EPTCS, 2012, roč.~2012, č.~92, s.~73-87. ISSN~2075-2180. Dostupné z: https://dx.doi.org/10.4204/EPTCS.92. [citováno 2024-04-23]
|
