Search papers, labs, and topics across Lattice.
This paper introduces a real-time algorithm for active fault diagnosis and model discrimination in uncertain nonlinear systems, addressing both actuator and sensor faults. By formulating a time-varying policy optimization problem that enforces safety constraints and ensures deterministic diagnosis, the authors achieve robust performance across various high-dimensional robotic systems. The method demonstrates significant improvements in model discrimination speed and success rate, achieving reliable results in under 50 ms while maintaining formal safety guarantees.
Achieving reliable model discrimination in under 50 ms while ensuring safety could revolutionize fault diagnosis in high-stakes robotic applications.
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. Given a finite set of candidate models representing nominal and faulty modes, including actuator and sensor faults, we formulate an output-feedback, time-varying policy optimization problem that (i) robustly enforces state-input safety constraints over a finite horizon and (ii) drives the system to produce sampled measurements consistent with at most one model, enabling deterministic diagnosis. To solve this problem in real time, we develop a tractable approximation using interval over-approximations of reachable state and output sets, and encode diagnosability via a differentiable objective that penalizes overlap between the reachable output sets of possible models. The resulting optimization is solved efficiently online with gradient-based methods using JAX and differentiable reachability primitives. We evaluate our method on sensor and actuator fault diagnosis (up to 11 fault modes) in several high-dimensional nonlinear robotic systems, including a simulated quadrotor and fighter-jet model, a hardware differential-drive robot, and quadrupedal navigation. Across these case studies, our approach achieves reliable model discrimination in under 50 ms, outperforming baselines in discrimination success rate and speed while providing formal safety guarantees.
