Compute-Constrained Safety Filters with Neuromorphic Event Triggering
The proposed dual-LIF controller uses separate safety and performance states to schedule CBF-filter computations under delayed input application. This guarantees robust forward invariance, completeness, and non-Zeno execution for linear systems with nonzero computation time. It achieves this by coupling the safety threshold to residual growth bounds.