arXiv Science⌕ Search

arXiv · 2610.21221

Regions of Attraction of CBF-Based Safety Filters for Stable Planar Linear Systems

Abstract

In this paper we study the dynamical properties induced by safety filters based on control barrier functions (CBFs). These are obtained by minimally modifying a nominal controller with the goal of rendering it safe. We consider the simple setting of a planar linear plant with a stable linear nominal controller and an affine constraint. We show that even in this simple setting, the filtered system can oscillate or diverge while remaining safe. We fully characterize the parameters for which the origin is globally (exponentially or asymptotically) stable. For all other parameters, the filter creates a saddle on the constraint boundary, and we characterize the region of attraction of the origin. For underdamped nominal dynamics, its boundary is an unstable periodic orbit, a homoclinic loop, or the saddle's stable manifold, depending on whether the CBF gain is below, at, or above a homoclinic transition value. A vehicle sideslip example and two three-dimensional examples illustrate the results and what changes beyond planar dynamics.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Adam K. Kiss, Pol Mestres, Andras Bartfai, Shima Sadat Mousavi, Aaron D. Ames. 2026-10-15. Regions of Attraction of CBF-Based Safety Filters for Stable Planar Linear Systems. https://arxiv.org/abs/2610.21221

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

KEEP EXPLORING

Related papers

Learning neural controllers for nonlinear systems from data

This article addresses the problem of designing neural feedback controllers for unknown nonlinear systems. We propose an indirect data-driven framework that uses offline data to identify the system dynamics, upon which a neural feedback controller and a neural Lyapunov function are jointly synthesized. Input constraints are enforced by integrating a hard-saturation structure into the controller architecture. Robust synthesis conditions are derived to account for data perturbations during identification. Formal stability is certified by combining SMT verification with local Lyapunov analysis near the equilibrium. Numerical examples validate the effectiveness of the proposed framework.

eess.SY↗

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↗

Multilayer Evaluation of Vertiport Departure Directions Under Urban Obstacles and Wind

Vertiports must accommodate electric vertical takeoff and landing (eVTOL) aircraft with different climb capabilities and crosswind tolerances. However, conventional runway based departure criteria do not exploit the directional freedom of vertical takeoff. This paper proposes a framework that evaluates every departure azimuth and identifies usable and preferred departure directions for each climb capability. Each azimuth is evaluated by its obstacle clearance from surrounding urban buildings and its wind operability based on ten years of wind observations. Three climb angle layers reflect differences in climb capability among aircraft. Four weighting scenarios between obstacles and wind reveal how operational priority affects the preferred departure direction. In an application to Suseo station and the Jamsil heliport in Seoul, steeper climbs widened the usable azimuths from 8.9 to 34.4% and from 66.1 to 83.6%, respectively. By relaxing obstacle constraints, steeper climbs also shifted the preferred direction toward the prevailing wind at lower wind weights. These results show that vertiport departure paths should be planned as a set of candidate directions matched to the obstacles and wind of the site and the climb capability of the aircraft, rather than as a single runway style path.

eess.SY↗