@misc{indiciaeca0cabc01bf3,
  title = {A Framework for Guaranteed Active Fault Diagnosis with Applications to Aircraft Systems},
  author = {Dawei Sun and Daochun Li and Koffi M. D. Motchon and Haoyuan Shao and Jinwu Xiang},
  year = {2026},
  url = {https://arxiv.org/abs/2611.07320},
  note = {Source identifier: 2611.07320}
}