{"id":"arxiv/2610.24308","url":"https://arxiv.org/abs/2610.24308","tags":["eess.SY","math.OC"],"score":0,"title":"Lifting Safety Through Reduced-Order Model Architectures: An Invariant Manifold Approach","domain":"eess.SY","source":"arxiv","authors":["Massimiliano de Sa","Aaron D. Ames"],"reviews":0,"subject":"eess.SY","summary":"Reduced-order model architectures are often used to decompose complex safety-critical control design tasks into tractable subproblems. In this paradigm, one must ask: when does the safety of a reduced-order model lift to safety of the full system? Taking an invariant manifold perspective, we provide necessary and sufficient conditions for the existence of smooth, regular lifts of compact safe sets from reduced-order models. Our characterization relies only on asymptotic stability of an embedding of a reduced-order safe set, without additional robustness or rate conditions. We apply these…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-10-16","reactions":{}}