Control barrier functions (CBFs) have become popular as a safety filter to guarantee the
safety of nonlinear dynamical systems for arbitrary inputs. However, it is difficult to construct …

Hamilton-Jacobi reachability analysis is a useful tool for generating reachable sets and
corresponding optimal control policies, but its use in high-dimensional systems is hindered …

As the use of autonomous robots expands in tasks that are complex and challenging to
model, the demand for robust data-driven control methods that can certify safety and stability …

Control Barrier Functions (CBFs) have proven to be an effective tool for performing safe
control synthesis for nonlinear systems. However, guaranteeing safety in the presence of …

Autonomous robots in the real world have nonlinear dynamics with actuators that are subject
to constraints. The combination of the two poses complicates the task of designing …

For safety-critical systems such as autonomous vehicles, power systems, and robotics, it is
important to guarantee the systems operate under given safety constraints. Numerous safety …

As autonomous systems take on increasingly challenging tasks in safety-critical settings
such as autonomous driving and aerospace, their ability to explicitly account for uncertainty …