Monitoring transient behaviors of real-time systems plays an important role in model-based
systems design. Signal Temporal Logic (STL) emerges as a convenient and powerful …

Signal temporal logic (STL) is a formalism used to rigorously specify requirements of
cyberphysical systems (CPS), ie, systems mixing digital or discrete components in …

In this paper, we provide a Dynamic Programming algorithm for on-line monitoring of the
state robustness of Metric Temporal Logic specifications with past time operators. We …

In this paper we introduce a variant of temporal logic tailored for specifying desired
properties of continuous signals. The logic is based on a bounded subset of the real-time …

In cyber-physical systems (CPS), physical behaviors are typically controlled by digital
hardware. As a consequence, continuous behaviors are discretized by sampling and …

We are interested in predicting failures of cyber-physical systems during their operation.
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …

We consider temporal logic formulae specifying constraints in continuous time and space on
the behaviors of continuous and hybrid dynamical system admitting uncertain parameters …

We present rtamt, an online monitoring library for Signal Temporal Logic (STL) and its
interface-aware variant (IA-STL), providing both discrete-and dense-time interpretation of the …

In this paper we describe AMT, a tool for monitoring temporal properties of continuous
signals. We first introduce Stl/Psl, a specification formalism based on the industrial standard …

This article studies runtime verification of properties expressed either in lineartime temporal
logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in …