@article{saferealtimeactivemodeldiscriminationand,
  title = {Safe, Real-Time Active Model Discrimination and Fault Diagnosis for Nonlinear Systems via Differentiable Reachability},
  author = {Xinpei Ni and Melkior Ornik and Glen Chou and Samuel Coogan},
  year = {2026},
  eprint = {2606.19590},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.19590},
}