Recent years have seen significant progress in the realm of robot autonomy, accompanied
by the expanding reach of robotic technologies. However, the emergence of new …

We introduce sparse polynomial zonotopes, a new set representation for formal verification
of hybrid systems. Sparse polynomial zonotopes can represent nonconvex sets and are …

While reinforcement learning produces very promising results for many applications, its main
disadvantage is the lack of safety guarantees, which prevents its use in safety-critical …

This paper presents new methods for set-valued state estimation of discrete-time nonlinear
systems whose trajectories are known to satisfy nonlinear equality constraints, called …

Automatic train control systems are complex and software-intensive cyber–physical systems.
Hazard prediction at runtime for such systems has emerged as an essential research topic …

The hybrid systems with continuous and discrete variables can be used to describe many
real-world phenomena. In this paper, by generalizing the mathematical form of gene …

We present the results of a friendly competition for formal verification of continuous and
hybrid systems with nonlinear continuous dynamics. The friendly competition took place as …

In this thesis, we present the three novel set representations sparse polynomial zonotopes,
constrained polynomial zonotopes, and the Z-representation of polytopes. One major …

We present the results of a friendly competition for formal verification of continuous and
hybrid systems with nonlinear continuous dynamics. The friendly competition took place as …

Virtual coupling is a novel railway transport concept that allows trains to split and join on-the-
fly by switching from mechanical to virtual couplers. One of the main challenges in applying …