| Identifikační kód | RIV/00216224:14330/12:00057626 |
|---|
| Název v anglickém jazyce | On Expressing and Monitoring Oscillatory Dynamics |
|---|
| Druh | J - Článek v odborném periodiku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2012 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 2 |
|---|
| Počet tvůrců celkem | 3 |
|---|
| Počet domácích tvůrců | 3 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Petr Dluhoš (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5272378)
Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773)
David Šafránek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8225400) |
|---|
| Popis výsledku v anglickém jazyce | 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 abiologically-relevant case study. |
|---|
| Klíčová slova oddělená středníkem | dynamical systems; oscillation; monitoring; Signal Temporal Logic |
|---|
| Stránka www, na které se nachází výsledek | http://arxiv.org/abs/1208.3853v1 |
|---|
| DOI výsledku | 10.4204/EPTCS.92 |
|---|