Shape expressions (SEs) is a novel specification language that was recently introduced to
express behavioral patterns over real-valued signals observed during the execution of cyber …

The behavior of a cyber-physical system (CPS) is usually defined in terms of the input and
output signals processed by sensors and actuators. Requirements specifications of CPSs …

Identification of dynamical and hybrid systems using trajectory data is an important way to
construct models for complex systems where derivation from first principles is too difficult. In …

In this work, we introduce a supervised learning framework for inferring temporal logic
specifications from labelled patterns in signals, so that the formulae can then be used to …

Specifying properties can be challenging work. In this paper, we propose an automated
approach to exemplify properties given in the form of automata extended with timing …

Modern cyber-physical systems (CPS) and the Internet of things (IoT) are data factories
generating, measuring and recording huge amounts of time series. The useful information in …

We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from
their real-valued behaviors. The learned specifications are in the form of linear shape …

In this paper we present ShapEx, a tool that generates random behaviors from shape
expressions, a formal specification language for describing sophisticated temporal …

Timed pattern matching consists in finding occurrences of a timed regular expression in a
timed word. This problem has been addressed using several techniques, its solutions are …

Cyber-physical systems (CPS) consist of computer systems which control physical
processes. Examples of this include medical devices, autonomous cars, and robots. Due to …