We consider the problem of extracting safe environments and controllers for reach-avoid
objectives for systems with known state and control spaces, but unknown dynamics. In a …

As autonomous systems become more complex and integral in our society, the need to
accurately model and safely control these systems has increased significantly. In the past …

This work studies formal verification of continuous-time continuous-space systems with
unknown dynamics against safety specifications. The proposed framework is based on a …

This article is concerned with a formal verification scheme for both discrete-and continuous-
time deterministic systems with unknown mathematical models. The main target is to verify …

In this letter, we develop a data-driven approach for the safety verification of stochastic
systems with unknown dynamics. First, we use a notion of barrier certificates in order to cast …

This letter presents a framework for the safety-critical control of robotic systems, when safety
is defined on safe regions in the configuration space. To maintain safety, we synthesize a …

In the face of an adverse event, autonomous systems may undergo abrupt changes in their
dynamics. In such an event, systems should be able to determine their continuing …

We detail an approach to safety-critical verification using barrier functions. Our method
requires limited system data to verify a system's ability to keep positive a candidate barrier …

In this work, we investigate the data-driven safe control synthesis problem for unknown
dynamic systems. We first formulate the safety synthesis problem as a robust convex …

Certifying the behavior of autonomous systems is essential to the development and
deployment of systems in safety‐critical applications. This paper presents an approach to …