TY  - RPRT
TI  - Safe, Real-Time Active Model Discrimination and Fault Diagnosis for Nonlinear Systems via Differentiable Reachability
AU  - Xinpei Ni
AU  - Melkior Ornik
AU  - Glen Chou
AU  - Samuel Coogan
PY  - 2026
UR  - https://arxiv.org/abs/2606.19590
ID  - 2606.19590
ER  -