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

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 …

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

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 …

Tutorial Description Temporal Logic (TL) is a popular formalism, introduced into systems
design [Pnu77] as a language for specifying acceptable behaviors of reactive systems …

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 …

We introduce in this paper AMT\; 2.0 AMT 2.0, a tool for qualitative and quantitative analysis
of hybrid continuous and Boolean signals that combine numerical values and discrete …

Given a dense-time real-valued signal and a parameterized temporal logic formula with both
magnitude and timing parameters, we compute the subset of the parameter space that …

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 …

We present an approach to monitoring system policies. As a specification language, we use
an expressive fragment of a temporal logic, which can be effectively monitored. We report on …