52 citations · 98 across the 37 of their papers we have counts for
4 papers · 1 filter
Monotone Neural Barrier Certificates
Saber Jafarpour, Alireza Nadali, Ashutosh Trivedi +1
This report presents a neurosymbolic framework for safety verification and control synthesis in high-dimensional monotone dynamical systems without relying on explicit models or co…
Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
Damola Ajeyemi, Saber Jafarpour, Emiliano Dall'Anese
Control Barrier Functions (CBFs) have been widely utilized in the design of optimization-based controllers and filters for dynamical systems to ensure forward invariance of a given…
Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
Zishun Liu, Saber Jafarpour, Yongxin Chen
We address the problem of safety verification for nonlinear stochastic systems, specifically the task of certifying that system trajectories remain within a safe set with high prob…
Geometric Reachability for Attitude Control Systems via Contraction Theory
Chencheng Xu, Saber Jafarpour, Chengcheng Zhao +2
In this paper, we present a geometric framework for the reachability analysis of attitude control systems. We model the attitude dynamics on the product manifold $\mathrm{SO}(3) \t…