48 citations · 192 across the 38 of their papers we have counts for
8 papers · 1 filter
Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided Exploration
Songyuan Zhang, Chuchu Fan
Designing stabilizing controllers is a fundamental challenge in autonomous systems, particularly for high-dimensional, nonlinear systems that can hardly be accurately modeled with…
Compositional Neural Certificates for Networked Dynamical Systems
Songyuan Zhang, Yumeng Xiu, Guannan Qu +1
Developing stable controllers for large-scale networked dynamical systems is crucial but has long been challenging due to two key obstacles: certifiability and scalability. In this…
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
Charles Dawson, Zengyi Qin, Sicun Gao +1
Safety and stability are common requirements for robotic control systems; however, designing safe, stable controllers remains difficult for nonlinear and uncertain models. We devel…
Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
Chuchu Fan, Xin Qin, Yuan Xia +2
In this paper, we propose conformal inference based approach for statistical verification of CPS models. Cyber-physical systems (CPS) such as autonomous vehicles, avionic systems,…
Verifying nonlinear analog and mixed-signal circuits with inputs
Chuchu Fan, Yu Meng, Jürgen Maier +3
We present a new technique for verifying nonlinear and hybrid models with inputs. We observe that once an input signal is fixed, the sensitivity analysis of the model can be comput…
Road to safe autonomy with data and formal reasoning
Chuchu Fan, Bolun Qi, Sayan Mitra
We present an overview of recently developed data-driven tools for safety analysis of autonomous vehicles and advanced driver assist systems. The core algorithms combine model-base…
DRYVR:Data-driven verification and compositional reasoning for automotive systems
Chuchu Fan, Bolun Qi, Sayan Mitra +1
We present the DRYVR framework for verifying hybrid control systems that are described by a combination of a black-box simulator for trajectories and a white-box transition graph s…
Bounded Verification with On-the-Fly Discrepancy Computation
Chuchu Fan, Sayan Mitra
Simulation-based verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on user provided model annotations call…