Formal specifications play an essential role in the life-cycle of modern systems, both at the
time of their design and during their operation. Despite their importance, formal …

Rolling element bearings are widely used components in modern rotary machines, and
accurate diagnosis and interpretation for faults of bearings are significant for equipment …

In this article, we focus on inferring high-level descriptions of a system from its execution
traces. Specifically, we consider a classification problem where system behaviors are …

In this article, we make the case for the new class of Self-aware Cyber-physical Systems. By
bringing together the two established fields of cyber-physical systems and self-aware …

The maturity of sensor network technologies has facilitated the emergence of an industrial
Internet of Things (IIoT), which has collected an increasing volume of data. Converting these …

Cyber-physical system applications such as autonomous vehicles, wearable devices, and
avionic systems generate a large volume of time-series data. Designers often look for tools …

Abstract Model learning has gained increasing interest in recent years. It derives
behavioural models from test data of black-box systems. The main advantage offered by …

In runtime verification, manually formalizing a specification for monitoring system executions
is a tedious and error-prone process. To address this issue, we consider the problem of …

Traffic systems, where human and autonomous drivers interact, are a very relevant instance
of complex systems and produce behaviors that can be regarded as trajectories over time …

In several domains, systems generate continuous streams of data during their execution,
including meaningful telemetry information, that can be used to perform tasks like …