About: STL*: Extending signal temporal logic with signal-value freezing operator

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: STL*: Extending signal temporal logic with signal-value freezing operator Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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 is not expressive enough to sufficiently distinguish oscillatory properties important in biology. In this paper we introduce the extended logic STL* in which STL is augmented with a signal-value freezing operator allowing to express (and distinguish) various dynamic aspects of oscillations. This operator may be nested for further increase of expressiveness. The logic is supported by a monitoring algorithm prototyped in Matlab for the fragment that avoids nesting of the freezing operator. The monitoring procedure for STL* is evaluated on a sample oscillatory signal with varied parameters. Application of the extended logic is demonstrated on a case study of a biological oscillator. 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 is not expressive enough to sufficiently distinguish oscillatory properties important in biology. In this paper we introduce the extended logic STL* in which STL is augmented with a signal-value freezing operator allowing to express (and distinguish) various dynamic aspects of oscillations. This operator may be nested for further increase of expressiveness. The logic is supported by a monitoring algorithm prototyped in Matlab for the fragment that avoids nesting of the freezing operator. The monitoring procedure for STL* is evaluated on a sample oscillatory signal with varied parameters. Application of the extended logic is demonstrated on a case study of a biological oscillator. (en)
Title	STL: Extending signal temporal logic with signal-value freezing operator STL: Extending signal temporal logic with signal-value freezing operator (en)
skos:prefLabel	STL: Extending signal temporal logic with signal-value freezing operator STL: Extending signal temporal logic with signal-value freezing operator (en)
skos:notation	RIV/00216224:14330/14:00075313!RIV15-MSM-14330___
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(EE2.3.20.0256), S
http://linked.open...iv/cisloPeriodika	January
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Šafránek, David Brim, Luboš Vejpustek, Tomáš Dluhoš, Petr
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	47533
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/14:00075313
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Signal Temporal Logic; dynamical systems; robustness analysis; value-freezing logic (en)
http://linked.open.../riv/klicoveSlovo	dynamical systems value-freezing logic Signal Temporal Logic robustness analysis
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[047BF648F956]
http://linked.open...i/riv/nazevZdroje	Information and computation
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	4 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Local team and international consortium for computational modelling of a cyanobacterial cell
http://linked.open...UplatneniVysledku	2014
http://linked.open...v/svazekPeriodika	236
http://linked.open...iv/tvurceVysledku	Brim, Luboš Šafránek, David Dluhoš, Petr Vejpustek, Tomáš
http://linked.open...ain/vavai/riv/wos	000337655300005
issn	0890-5401
number of pages	16 (xsd:int)
http://bibframe.org/vocab/doi	10.1016/j.ic.2014.01.012
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software