activity
20232026
most citedAutomatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling

1 citations · 1 across the 8 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2026

Safe, Real-Time Active Model Discrimination and Fault Diagnosis for Nonlinear Systems via Differentiable Reachability

Xinpei Ni, Melkior Ornik, Glen Chou +1

We present a safe, real-time algorithm for active fault diagnosis and model discrimination for uncertain continuous-time nonlinear systems with process and measurement disturbances…