Anomaly detection is an active area of research with numerous methods and applications.
This survey reviews the state-of-the-art of data-driven anomaly detection techniques and …

We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …

In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

A significant challenge to the formal validation of software-based industrial control systems
is that system requirements are often imprecise, non-modular, evolving, or even simply …

This paper introduces a framework for inference of timed temporal logic properties from data.
The dataset is given as a finite set of pairs of finite-time system traces and labels, where the …

This paper presents a technique, named STLCG, to compute the quantitative semantics of
Signal Temporal Logic (STL) formulas using computation graphs. STLCG provides a …

We present two novel algorithms for learning formulas in Linear Temporal Logic (LTL) from
examples. The first learning algorithm reduces the learning task to a series of satisfiability …

This survey presents an overview of verification techniques for autonomous systems, with a
focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents …

In an aircraft electric power system, one or more supervisory control units actuate a set of
electromechanical switches to dynamically distribute power from generators to loads, while …

The increased complexity of modern systems necessitates automated anomaly detection
methods to detect possible anomalous behavior determined by malfunctions or external …