A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Robust Satisfaction of Temporal Logic over Real-Valued Signals
[chapter]

2010
*
Lecture Notes in Computer Science
*

We consider

doi:10.1007/978-3-642-15297-9_9
fatcat:rwtqqoarivcrpcloynqqt6axqu
*temporal**logic*formulae specifying constraints in continuous time and space on the behaviors*of*continuous and hybrid dynamical system admitting uncertain parameters. ... Our methodology can be used for other non-traditional applications*of**temporal**logic*such as characterizing subsets*of*the parameter space for which a system is guaranteed to satisfy a formula with a desired ...*Temporal**logic*offers a complementary way to evaluate realvalued*signals*, a way which is different from other commonly-used norms, measures and metrics, most*of*which are either point-wise or based on ...##
###
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
[chapter]

2018
*
Lecture Notes in Computer Science
*

In the context

doi:10.1007/978-3-319-75632-5_5
fatcat:2m52qvfax5cn3fgyhcl3piy2ui
*of*discrete systems, software or digital hardware, formalisms such as*temporal**logic*or regular expressions are commonly used. ... The behaviour*of*a CPS*over*time is generally characterised by the evolution*of*physical quantities, and discrete software and hardware states. ... Bartocci acknowledges the partial support*of*the Austrian National Research Network S 11405-N23 (RiSE/SHiNE)*of*the Austrian Science Fund (FWF). G. ...##
###
Specifying User Preferences using Weighted Signal Temporal Logic
[article]

2020
*
arXiv
*
pre-print

We extend

arXiv:2010.00752v1
fatcat:ain4m7kv75d4tejqj6zjik744u
*Signal**Temporal**Logic*(STL) to enable the specification*of*importance and priorities. ... We show that the*robustness**of*wSTL can be defined as weighted generalizations*of*all known compatible*robustness*functionals (i.e.,*robustness*scores that are recursively defined*over*formulae) that can ...*Signal**Temporal**Logic*(STL) STL was introduced in [5] to monitor*temporal*properties*of**real*-*valued**signals*. Consider a discrete-or continuoustime domain τ ⊆ R + . ...##
###
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic

2015
*
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools
*

We present an extension

doi:10.4108/icst.valuetools.2014.258183
dblp:conf/valuetools/NenziB14
fatcat:qjnxhvslofhohlzxaphysmgxmm
*of*the linear time, time-bounded,*Signal**Temporal**Logic*to describe spatio-*temporal*properties. ... We then present monitoring algorithms to check the validity*of*a formula, or to compute its*satisfaction*score,*over*a spatio-*temporal*trace, exploititng these routines to do statistical model checking ... We implemented this model in Matlab, both as a set*of*differential equations and as a stochastic process. ...##
###
Robust Online Monitoring of Signal Temporal Logic
[article]

2015
*
arXiv
*
pre-print

*Signal*

*Temporal*

*Logic*(STL) is a formalism used to rigorously specify requirements

*of*cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interaction with a continuous environment ... the goal

*of*falsifying the given property

*over*system behaviors. ... It is increasingly common [13, 9, 12, 2, 15 ] to specify such properties using a

*real*-time

*temporal*

*logic*such as

*Signal*

*Temporal*

*Logic*(STL) [7] or Metric

*Temporal*

*Logic*(MTL) [10] . ...

##
###
Efficient Robust Monitoring for STL
[chapter]

2013
*
Lecture Notes in Computer Science
*

*Signal*

*Temporal*

*Logic*(STL) emerges as a convenient and powerful formalism for continuous and hybrid systems. ... implementations. 1 There are some branches

*of*multi-

*valued*

*logic*such as Fuzzy [Zad65] and probabilistic [Nil86] but mainstream

*Logic*is about true and false. ...

*Signal*

*Temporal*

*Logic*is then a simple extension

*of*Metric

*Temporal*

*Logic*where

*real*-

*valued*variables (x i ) i∈N are transformed into Boolean

*values*via these predicates. ...

##
###
Temporal Logic as Filtering

2016
*
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control - HSCC '16
*

Moreover, by interpreting these operators

doi:10.1145/2883817.2883839
dblp:conf/hybrid/RodionovaBNG16
fatcat:cojweylpgbhufgbeshk6n4f42y
*over*the field*of**reals*(+,*,0,1), one can associate various quantitative semantics to a metric-*temporal*-*logic*formula, depending on the filter's kernel used: ... This remarkable connection between filtering and metric*temporal**logic*allows us to freely navigate between the two, and to regard*signal*-feature detection as*logical*inference. ... In [11] , Donzé et al. define a notion*of*time*robustness*for MTL interpreted*over*dense-*real*-time,*real*-*valued**signals*. ...##
###
Average-based Robustness for Continuous-Time Signal Temporal Logic
[article]

2019
*
arXiv
*
pre-print

We propose a new

arXiv:1909.00898v1
fatcat:ktfj3c4owjbrnlqjxnbk2yjdwi
*robustness*score for continuous-time*Signal**Temporal**Logic*(STL) specifications. ... Instead*of*considering only the most severe point along the evolution*of*the*signal*, we use average scores to extract more information from the*signal*, emphasizing*robust**satisfaction**of*all the specifications ...*Signal**Temporal**Logics*(STL) STL [5] is a*logic*designed to specify*temporal*properties*of*continuous-time*signals*. ...##
###
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology
[chapter]

2008
*
Lecture Notes in Computer Science
*

In this article we propose to go one step further by defining a continuous degree

doi:10.1007/978-3-540-88562-7_19
fatcat:wznwfnygrvh2tfftnlrlhhjnly
*of**satisfaction**of*a*temporal**logic*formula with constraints. ... formalized in*temporal**logic*. ... Preliminaries on Linear Time*Logic*with Constraints*over*the*Reals*LTL(R) The Linear Time*Logic*LTL is a*temporal**logic*[2] that extends classical*logic*with modal operators for qualifying when a formula ...##
###
Robust online monitoring of signal temporal logic

2017
*
Formal methods in system design
*

*Signal*

*temporal*

*logic*(STL) is a formalism used to rigorously specify requirements

*of*cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interaction with a continuous environment ... the goal

*of*falsifying the given property

*over*system behaviors. ... It is increasingly common [2, 9, 12, 15, 17] to specify such properties using a

*real*-time

*temporal*

*logic*such as

*Signal*

*temporal*

*logic*(STL) [7] or Metric

*Temporal*

*Logic*(MTL) [10] . ...

##
###
Robust Online Monitoring of Signal Temporal Logic
[chapter]

2015
*
Lecture Notes in Computer Science
*

*Signal*

*temporal*

*logic*(STL) is a formalism used to rigorously specify requirements

*of*cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interaction with a continuous environment ... the goal

*of*falsifying the given property

*over*system behaviors. ... It is increasingly common [2, 9, 12, 15, 17] to specify such properties using a

*real*-time

*temporal*

*logic*such as

*Signal*

*temporal*

*logic*(STL) [7] or Metric

*Temporal*

*Logic*(MTL) [10] . ...

##
###
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
[article]

2019
*
arXiv
*
pre-print

We present a new average-based

arXiv:1903.05186v1
fatcat:hvwpnlhyfreobl2zglwq4oxtbq
*robustness*score for*Signal**Temporal**Logic*(STL) and a framework for optimal control*of*a dynamical system under STL constraints. ... By averaging the scores*of*different specifications or subformulae at different time points, our new definition highlights the frequency*of**satisfaction*, as well as how robustly each specification is satisfied ...*Signal**Temporal**Logics*(STL) STL was introduced in [4] to monitor*temporal*properties*of**real*-*valued**signals*. Consider a discrete time sequence τ ∶= {t k k ∈ Z ≥0 }. ...##
###
Some Thoughts on Runtime Verification
[chapter]

2016
*
Lecture Notes in Computer Science
*

Some reflections on verification and runtime verification in general and

doi:10.1007/978-3-319-46982-9_1
fatcat:nms5ig442bhrjn22z742rg7suy
*of*cyber-physical systems in particular. ...*over**real*-*valued*variables on top*of*the dense time 4 metric*temporal**logic*(MTL) [17] . ... such as*signal**temporal**logic*[25] and timed regular expressions [2] . ...##
###
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
[article]

2019
*
arXiv
*
pre-print

On the other hand,

arXiv:1907.10265v1
fatcat:fwr25khvp5cztkesk4vocgy3nu
*temporal**logics*, such as*Signal**Temporal**Logic*(STL) have been successfully used in the formal methods community as specifications*of*time-series behaviors. ... In this work, we propose a new technique to automatically learn*temporal**logic*formulae that are able to cluster and classify*real*-*valued*time-series data. ... Conclusion We proposed a new technique for binary classification*of*time-series data using*Signal**Temporal**Logic*formulas. ...##
###
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
[article]

2018
*
arXiv
*
pre-print

In this paper we present the

arXiv:1706.09334v3
fatcat:pp6rcpzz7jb5de5x26w2se5dfe
*Signal*Spatio-*Temporal**Logic*(SSTL), a modal*logic*that can be used to specify spatio-*temporal*properties*of*linear time and discrete space models. ... As such, it is suitable for*real*-time verification*of*both white box and black box complex systems. These algorithms can also be combined with stochastic model checking routines. ... Here we mention*Signal**Temporal**Logic*(STL) [22, 33] , an extension*of*Metric Interval*Temporal**Logic*(MITL) [3] , describing linear-time properties*of**real*-*valued**signals*. ...
« Previous

*Showing results 1 — 15 out of 10,547 results*