This HTML5 document contains 47 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n15http://localhost/temp/predkladatel/
n5http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F14%3A00075313%21RIV15-MSM-14330___/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/
n7http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n11http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F14%3A00075313%21RIV15-MSM-14330___
rdf:type
n7:Vysledek skos:Concept
dcterms: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.
dcterms:title
STL*: Extending signal temporal logic with signal-value freezing operator STL*: Extending signal temporal logic with signal-value freezing operator
skos:prefLabel
STL*: Extending signal temporal logic with signal-value freezing operator STL*: Extending signal temporal logic with signal-value freezing operator
skos:notation
RIV/00216224:14330/14:00075313!RIV15-MSM-14330___
n3:aktivita
n14:S n14:P
n3:aktivity
P(EE2.3.20.0256), S
n3:cisloPeriodika
January
n3:dodaniDat
n8:2015
n3:domaciTvurceVysledku
n5:6500773 n5:3083705 n5:8225400 n5:5272378
n3:druhVysledku
n16:J
n3:duvernostUdaju
n18:S
n3:entitaPredkladatele
n17:predkladatel
n3:idSjednocenehoVysledku
47533
n3:idVysledku
RIV/00216224:14330/14:00075313
n3:jazykVysledku
n13:eng
n3:klicovaSlova
Signal Temporal Logic; dynamical systems; robustness analysis; value-freezing logic
n3:klicoveSlovo
n6:Signal%20Temporal%20Logic n6:value-freezing%20logic n6:robustness%20analysis n6:dynamical%20systems
n3:kodStatuVydavatele
CZ - Česká republika
n3:kontrolniKodProRIV
[047BF648F956]
n3:nazevZdroje
Information and computation
n3:obor
n12:IN
n3:pocetDomacichTvurcuVysledku
4
n3:pocetTvurcuVysledku
4
n3:projekt
n4:EE2.3.20.0256
n3:rokUplatneniVysledku
n8:2014
n3:svazekPeriodika
236
n3:tvurceVysledku
Dluhoš, Petr Šafránek, David Brim, Luboš Vejpustek, Tomáš
n3:wos
000337655300005
s:issn
0890-5401
s:numberOfPages
16
n11:doi
10.1016/j.ic.2014.01.012
n15:organizacniJednotka
14330