{"id":"arxiv/2606.15181","url":"https://arxiv.org/abs/2606.15181","tags":["math.OC","eess.SY"],"score":0,"title":"Revisiting The PBH Test: Fast Uncontrollability Certificates via Krylov Methods","domain":"math.OC","source":"arxiv","authors":["Ahmad F. Taha","Mohamad H. Kazma","Abdallah A. Albustami"],"reviews":0,"subject":"math.OC","summary":"This letter revisits the classical PBH test through the lens of finite-horizon reachability. By casting state transfer as a minimum energy, primal optimization problem, we show that unreachable state-space maneuvers admit dual infeasibility certificates. These certificates are computable without forming the controllability matrix meaning that uncontrollability can be efficiently certified. We prove that any such certificate is a linear combination of uncontrollable generalized eigenvectors, thereby providing a spectral interpretation without a global eigendecomposition. We also devise…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-13","reactions":{}}