On Expressing and Monitoring Oscillatory Dynamics

Investor logo
Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

DLUHOŠ Petr BRIM Luboš ŠAFRÁNEK David

Year of publication 2012
Type Article in Periodical
Magazine / Source Electronic Proceedings in Theoretical Computer Science
MU Faculty or unit

Faculty of Informatics

Citation
Web http://arxiv.org/abs/1208.3853v1
Doi http://dx.doi.org/10.4204/EPTCS.92
Field Informatics
Keywords dynamical systems; oscillation; monitoring; Signal Temporal Logic
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.