Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …
and biological systems monitored and/or controlled by an embedded computational core …
Fast random walk with restart and its applications
How closely related are two nodes in a graph? How to compute this score quickly, on huge,
disk-resident, real graphs? Random walk with restart (RWR) provides a good relevance …
disk-resident, real graphs? Random walk with restart (RWR) provides a good relevance …
A taxonomy for classifying runtime verification tools
Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …
which has stimulated the development of numerous theoretical frameworks and practical …
A survey of challenges for runtime verification from advanced application domains (beyond software)
Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …
execution traces against formal specifications. Typically, the two main activities in runtime …
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic
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 …
of hybrid continuous and Boolean signals that combine numerical values and discrete …
Online timed pattern matching using derivatives
Timed pattern matching consists in finding all segments of a dense-time Boolean signal that
match a pattern defined by a timed regular expression. This problem has been formulated …
match a pattern defined by a timed regular expression. This problem has been formulated …
RTAMT–Runtime Robustness Monitors with Application to CPS and Robotics
In this paper, we present the Real-Time Analog Monitoring Tool (RTAMT), a tool for
quantitative monitoring of Signal Temporal Logic (STL) specifications. The library …
quantitative monitoring of Signal Temporal Logic (STL) specifications. The library …
Model-bounded monitoring of hybrid systems
Monitoring of hybrid systems attracts both scientific and practical attention. However,
monitoring algorithms suffer from the methodological difficulty of only observing sampled …
monitoring algorithms suffer from the methodological difficulty of only observing sampled …
Formal techniques for verification and testing of cyber-physical systems
Modern cyber-physical systems (CPS) are often developed in a model-based development
(MBD) paradigm. The MBD paradigm involves the construction of different kinds of …
(MBD) paradigm. The MBD paradigm involves the construction of different kinds of …
Montre: A Tool for Monitoring Timed Regular Expressions
D Ulus - … Aided Verification: 29th International Conference, CAV …, 2017 - Springer
We present Montre, a monitoring tool to search patterns specified by timed regular
expressions over real-time behaviors. We use timed regular expressions as a compact …
expressions over real-time behaviors. We use timed regular expressions as a compact …