Guaranteed state estimation and robust control for nonlinear, networked systems under uncertainty and attacks. Develops distributed methods for multi‑agent coordination, task allocation, and reachability/invariance across robotics, power systems, and IoT.