Toward Certifiable State Estimation with Observability Degeneracy

This paper introduces a dual certification framework for non-convex state estimation. It addresses rank expansion in semidefinite relaxations under observability degeneracy, enabling global verification without direct solving. The method uses observability-aware search and closed-form dual recovery for efficiency.