Lifting Safety Through Reduced-Order Model Architectures: An Invariant Manifold Approach

Abstract

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 results to study control barrier functions in reduced-order model architectures and lifts of safe sets through cascades. Further, we use our conditions to obtain topological obstructions to the tracking of safe, kinematic reduced-order models for mechanical systems. We conclude by using these obstructions to inform safe hierarchical control design for an underactuated satellite on SE(3).

Noncommutative commutant lifting, interpolation, and shift-invariant subspaces
Sibaprasad Barik, Samir Panja
arXiv10 Sep 2026PreprintCC BY 4.0Full textAnalysis & PDEsarXiv
Invariant almost Hermitian structures on the maximal real flag manifold of type 𝒜₃
Ana P. C. Freitas, Brian Grajales, Ailton R. Oliveira
arXiv12 Sep 2026PreprintarXiv licenceFull textGeometry & topologyarXiv
Determination of all diffeomorphism invariant tensor fields on the space of smooth positive densities on a compact manifold with corners
Peter W. Michor
arXiv28 Sep 2026PreprintCC BY-NC-SA 4.0Full textGeometry & topologyarXiv
The hyperbolic class and vanishing laws in a TMF-valued four-manifold invariant
Yuqi Li, Hao-Yu Sun
arXiv9 Sep 2026PreprintCC BY 4.0Full textGeometry & topology High-energy & particle physicsarXiv
On the sharpness of the C¹-norm threshold for perturbations in the normally hyperbolic invariant manifold theorem---a toy model perspective
Yujie Huang, Junhao Li, Lin Wang
arXiv13 Oct 2026PreprintCC BY 4.0Full textDynamical systemsarXiv

Cite

BibTeX RIS

BibTeX

@misc{sa2026lifting,
  title = {{Lifting Safety Through Reduced-Order Model Architectures: An Invariant Manifold Approach}},
  author = {Massimiliano de Sa and Aaron D. Ames},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.24308},
  eprint = {2610.24308},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.24308},
}

RIS

TY  - UNPB
TI  - Lifting Safety Through Reduced-Order Model Architectures: An Invariant Manifold Approach
AU  - Massimiliano de Sa
AU  - Aaron D. Ames
PY  - 2026
DA  - 2026/10/16
PB  - arXiv
DO  - 10.48550/arxiv.2610.24308
UR  - https://arxiv.org/abs/2610.24308
AB  - 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 results to study control barrier functions in reduced-order model architectures and lifts of safe sets through cascades. Further, we use our conditions to obtain topological obstructions to the tracking of safe, kinematic reduced-order models for mechanical systems. We conclude by using these obstructions to inform safe hierarchical control design for an underactuated satellite on SE(3).
ER  -

Abstract

Related

Cite