{"id":"arxiv/2610.36773","url":"https://arxiv.org/abs/2610.36773","tags":["math.OC","eess.SY"],"score":0,"title":"Verifying Control Invariance of H-Polytopes is coNP-Complete","domain":"math.OC","source":"arxiv","authors":["Mario Eduardo Villanueva","Boris Houska"],"reviews":0,"subject":"math.OC","summary":"We prove that verifying whether an H-polytope is control invariant for a discrete-time linear system with polytopic input constraints is \\textsc{coNP}-complete. This establishes a fundamental computational complexity barrier for set-theoretic control. As an immediate consequence, the exact computation of maximal control invariant subsets of H-polytopes is \\textsc{coNP}-hard. These hardness results hold regardless of whether the input constraint set is given in H- or V-representation.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-27","reactions":{}}