On Expressing and Monitoring Oscillatory Dynamics

Autor:	Dluhoš, Petr, Brim, Luboš, Šafránek, David
Rok vydání:	2012
Předmět:	Computer Science - Computational Engineering Finance and Science Computer Science - Logic in Computer Science Computer Science - Numerical Analysis Computer Science - Systems and Control
Zdroj:	EPTCS 92, 2012, pp. 73-87
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.92.6
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. Comment: In Proceedings HSB 2012, arXiv:1208.3151
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1208.3853 Zobrazit plný text záznamu View this record from Arxiv