work Explainable AI for Nashville Water System AI-powered anomaly detection for urban water distribution — combining graph neural networks, physics-informed hydraulics, and explainable real-time diagnostics. DAE-CBF Safety on the constraint manifold — verification and control for differential-algebraic systems. Safe AI-Embedded Robots End-to-end safety verification and synthesis for robotic systems whose controllers — or whose safety certificates themselves — are neural networks. Resilient CPS Safety and stability under sensor faults, actuator failures, and adversarial attacks — from CDC 2020 fault-tolerant CBFs to GM-award LiDAR defense. SNNV Sound set-based robustness verification for first-to-fire Leaky Integrate-and-Fire spiking neural networks.
