An approach for formally verifying the safety of automated vehicles is proposed. Due to the
uniqueness of each traffic situation, we verify safety online, ie, during the operation of the …

One of the biggest boosts for innovation in engineering has been the ongoing improvement
of digital processor technology. Connections between physical systems and computing …

The safety of the planned paths of autonomous cars with respect to the movement of other
traffic participants is considered. Therefore, the stochastic occupancy of the road by other …

A new technique for computing the reachable set of hybrid systems with nonlinear
continuous dynamics is presented. Previous work showed that abstracting the nonlinear …

How to drive safely in complex real-world traffic settings has long been a question and
challenge for autonomous vehicles (AVs). Decision-making systems (DecSs) are the core of …

A methodology for automatic simulation-based testing of control systems for autonomous
vessels is proposed. The work is motivated by the need for increased test coverage and …

This paper presents methods for using zonotopes and constrained zonotopes to improve the
practicality of a wide variety of set-based operations commonly used in control theory. The …

This paper presents a numerical procedure for the reachability analysis of systems with
nonlinear, semi-explicit, index-1 differential-algebraic equations. The procedure computes …

Industrial robots cannot be reconfigured to optimally fulfill a given task and often have to be
caged to guarantee human safety. Consequently, production processes are meticulously …

Incremental sampling-based motion planning algorithms such as the Rapidly-exploring
Random Trees (RRTs) have been successful in efficiently solving computationally …