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

Massimiliano de Sa; Aaron D. Ames

Home/Archive/arXiv

arXiv · 2610.24308

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

Massimiliano de Sa·Aaron D. Ames

View original source ↗Read source document ↗Export metadata ↓

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).

Explore related subjects

eess.SY cs.SY math.OC

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Massimiliano de Sa, Aaron D. Ames. 2026-10-16. Lifting Safety Through Reduced-Order Model Architectures: An Invariant Manifold Approach. https://arxiv.org/abs/2610.24308

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

From Inference to Control: Structure-Guided Control of Hypergraph Dynamics

Controllability determines whether a system's state can be guided toward any desired configuration, making it a fundamental prerequisite for designing effective control strategies. In the context of networked systems, controllability is a well-established concept. However, many real-world systems, from biological collectives to engineered infrastructures, exhibit higher-order interactions that cannot be captured by simple graphs. Moreover, the interaction structures might be unknown and difficult to measure directly. Here, we close this gap by combining hypergraph inference with the identification of controllable nodes. Building on the inferred structure, we design a controller that, given a set of controllable nodes, steers the system toward a desired configuration. We formulate analytical controllability guarantees for polynomial systems. For non-polynomial dynamics on hypergraphs, we propose a heuristic method for identifying controllable nodes and validate the proposed approach using Kuramoto oscillators.

eess.SY↗

arXiv2026

Physical AI: A Survey of Models, Learning, Systems, and Open Challenges

Physical AI aims to enable intelligent systems to perceive, reason, act, and learn through interaction with the physical world. Unlike purely digital intelligence, physical agents must operate under partial observability, uncertain dynamics, embodiment constraints, and real-time requirements, while their actions continuously reshape the environment and subsequent observations. Recent advances in foundation models and robot learning have expanded the capabilities of physical agents, yet achieving reliable autonomy requires more than improvements in individual models. This survey presents a comprehensive, system-level review of Physical AI, organized around the closed-loop process of physical interaction. We examine the foundations and recent developments in task representations and memory, predictive and action-generating models, data and learning methods, embodiment and control, computing systems, evaluation, and safety. Beyond reviewing individual advances, we investigate how these components interact and collectively shape the capabilities and limitations of Physical AI systems. Building on this integrated perspective, we identify fundamental challenges in generalization, resource-efficient learning and execution, reliable state tracking, safety, recovery, and continual adaptation. We argue that advancing Physical AI requires moving beyond isolated model performance toward integrated systems capable of robust, efficient, safe, and autonomous physical interaction under changing real-world conditions.

eess.SY↗

arXiv2026

New Results for Networked Control of Nonlinear Plants Subject to Transmission Delays

This paper studies networked control for nonlinear plants subject to several network-induced constraints, with a particular focus on transmission delays. In the context of general nonlinear networked control systems, a standard approach for guaranteeing stability is to construct a storage function, coupled with a single timer variable, to analyze the maximum allowable transmission interval (MATI) and maximum allowable transmission delay (MAD). In this paper, we propose a new approach that assigns each signal that is either \textit{in transit or most recently updated}, to an individual timer variable. This enables the individual characterization and compensation for the dynamics of each potential updating error. Subsequently, based on a novel construction of timer-coupled storage functions, the dynamics of these timer variables is designed and investigated, leading to less conservative conditions on the MATI and MAD than those by the standard approach while still ensuring closed-loop input-to-state stability with respect to external disturbances. Finally, simulation results are given to illustrate the advantages of these new results.

eess.SY↗