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 …

Ensuring safe and capable motion planning is paramount for automated vehicles.
Traditional methods are limited in their ability to handle complex and unpredictable traffic …

Equipping any controller with formal safety guarantees can be achieved by using safety
filters. These filters modify the desired control input in the least restrictive way to guarantee …

Ensuring robust constraint satisfaction for an infinite-time horizon is a challenging, yet crucial
task when deploying safety-critical systems. In this article, we address this issue by …

Verifying the safety of autonomous vehicles is one of the major challenges towards their
deployment on public roads due to the vast number of possible situations that can occur in …

Backward reachability analysis is essential to synthesizing controllers that ensure the
correctness of closed-loop systems. This article is concerned with developing scalable …

To protect civilian global positioning system (GPS) users from spoofing attacks, the US Air
Force Research Lab has proposed the chips-message robust authentication (Chimera) …

Abstract The Simplex Architecture is a runtime assurance framework where control authority
may switch from an unverified and potentially unsafe advanced controller to a backup …

Future power systems will rely heavily on micro grids with a high share of decentralised
renewable energy sources and energy storage systems. The high complexity and …

Fast and accurate safety assessment and collision checking are essential for motion
planning and control of highly dynamic autonomous robotic systems. Informative, intuitive …