On Expressing and Monitoring Oscillatory Dynamics

Logo poskytovatele
Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

DLUHOŠ Petr BRIM Luboš ŠAFRÁNEK David

Rok publikování 2012
Druh Článek v odborném periodiku
Časopis / Zdroj Electronic Proceedings in Theoretical Computer Science
Fakulta / Pracoviště MU

Fakulta informatiky

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

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