Dynamic Constrained Stabilization on the n-sphere (Extended version)

arXiv:2603.27382 · math.OC, cs.SY, eess.SY · Submitted 2026-03-28 · Read on arXiv

Listen

Radio episode about this paper

Transcript

Introduction to the show: ident: Robotics Radio. Generated commentary on the latest robotics and control papers.

Rosa: I'm Rosa, and with me are Dev and Taro, guest researcher.

Dev: Today's paper: "Dynamic Constrained Stabilization on the n-sphere (Extended version)".

Rosa: The gist:

Dev: First, who's behind it and why it matters.

Paper summary: Rosa: So we're looking at this paper today called "Dynamic Constrained Stabilization on the n-sphere (Extended version)". Basically, they've got a control strategy that uses this constraint proximity thing to keep a system stable even when there are star-shaped obstacles on an n-sphere.

Dev: It claims they can achieve safe and almost global asymptotic stabilization of the target point within those constraints, which is pretty important because it goes beyond just conic constraints which they say are limited.

Taro: So, if I'm driving something or running a robot, and there's this shape it absolutely cannot enter—a star-shaped set—this paper says we can design a controller that keeps us on the right path without crashing into that forbidden area.

Rosa: Right, so the core idea is this dynamic damping mechanism based on how close you are to the boundary of those constraints. It's not just a simple force pushing you away; it's adjusting based on proximity and velocity in a specific way.

Dev: The control law they propose is u(ξ) = −kdβ(dU (x))(v − νd(x)) + Jd(x)P(x)v, where that β function depends on the separation distance dU (x). They designed it so that a certain scalar function V, which is half the squared norm of the velocity minus some reference vector, stays non-increasing along the system's path.

Taro: That non-increasing function V suggests that as long as you're in your allowed region M, the velocity vector v will tend to line up with this reference direction νd(x). That sounds like it should handle things when the system is trying to settle.

Rosa: Exactly, and they prove that because of this control input, for any starting point ξ(zero) in M times R n plus one, the function V doesn't increase over time <ref:2603.27382#pg2>. This means the closed-loop system inherits some of those stability properties from a simpler kinematic system where you just follow νd(x).

Dev: The proof shows that the solution for v tends to align with νd(x) for all time as long as x stays within M, and they use Lemma one to show that the function V has a non-positive derivative along those trajectories <ref:2603.27382#pg1>. This points towards almost global asymptotic stability of the desired point (xd, 0n plus one) over that whole state space <ref:2603.27382#pg2>.

Paper summary: Taro: So for someone just listening to the show, what this means is that even when you have these complex boundaries defined by star shapes instead of simpler conic sets, you can still get your system settled safely across the entire allowed region M times R n plus one.

Rosa: That's the main implication there, that they've extended the results from previous work on conic constraints to this more general class of star-shaped constraints on an n-sphere. It gives us a much more flexible way to define those unsafe regions in practice.

Dev: They also showed it works for constrained rigidbody attitude stabilization, which is relevant for things like controlling a vehicle's orientation where you have limits on how fast or how far you can turn.

Taro: So the application part is solid; they tested this on the two-sphere and the three-sphere with these star-shaped constraint sets, and it worked as expected <ref:2603.27382#pg1,on the 2-sphere and the 3-sphere>. It seems to be robust in simulation.

Rosa: Yeah, that's what they demonstrated through simulation results on both the two-sphere and the three-sphere when dealing with those star-shaped constraint sets <ref:2603.27382#pg1,the 2-sphere and the 3-sphere>. It shows the approach is functional in practice for these kinds of systems.

Dev: The paper does state some limitations, though, which is always good to know. They mention that their method relies on a separation function dU (x) satisfying specific properties D1 and D2, and they also point out that the twice continuous differentiability of νd(x) in an open neighborhood of the isolated equilibrium points helps them analyze stability through Jacobian analysis.

Taro: So what's the catch? The method requires that separation function to meet those exact criteria, and they rely on nice smoothness conditions for the equilibrium points to do their local stability checks with Jacobians.

Rosa: Right, so it's not a universal fix for any arbitrary constraint geometry; you need that specific setup with dU (x) and those differentiability properties to get that guaranteed stabilization. It keeps the scope of its application quite specific.

Dev: In terms of what this changes for the field, it provides a concrete control design for these constrained stabilization problems on n-spheres, moving beyond just what was possible with conic constraints in prior literature.

Paper summary: Taro: It moves the goalpost on how we model and stabilize systems when your environment or your physical limits aren't simple cones but more complex star shapes. That flexibility is what makes it interesting for autonomy researchers.

Rosa: So, to sum up the paper "Dynamic Constrained Stabilization on the n-sphere (Extended version)", they propose a constraint proximity-based dynamic damping mechanism that works with star-shaped constraints to ensure safe and almost global asymptotic stabilization of your target point on an n-sphere.

Dev: And they show this approach is effective through simulations on both the two and three spheres in the presence of those star-shaped sets, confirming its capability for constrained rigidbody attitude stabilization <ref:2603.27382#pg1>.

Taro: It's a solid piece of control theory that tackles a problem where the obstacles are more complex than what most prior work focused on.

Rosa: So, moving on to the conclusion part, looking at "Dynamic Constrained Stabilization on the n-sphere (Extended version)", it really addresses the challenge of handling star-shaped constraints in stabilization problems on n-spheres that were previously often limited to conic sets.

Dev: The authors are Mayur Sawant and Abdelhamid Tayebi. Their work shows how you can use a constraint proximity function to create a control law that keeps the system stable even when those constraints are star-shaped, not just conic.

Taro: It means for people working on autonomous systems or robotics where the environment has irregular shapes defining what's safe, this gives them a tool that is more flexible than what they had before.

Rosa: It offers a way to get guaranteed safety and almost global stability for the equilibrium point (xd, 0n plus one) over the state space M times R n plus one <ref:2603.27382#pg2>.

Dev: That's the main result, confirming that this specific feedback control input guarantees forward invariance of the allowed set and asymptotic stability of that desired equilibrium point in a very broad state space.

Taro: It’s about providing a robust framework for stabilization when your physical limitations aren't simple mathematical cones but more general star shapes defined on an n-sphere.

Rosa: That flexibility in defining constraints is what makes this paper significant for how we approach constrained control problems in these geometric settings.

Conclusion: Rosa: So we're wrapping up this look at "Dynamic Constrained Stabilization on the n-sphere (Extended version)" by Sawant and Tayebi today, and what they actually did was build a control method that handles star-shaped obstacles on an n-sphere instead of just the simpler conic sets.

Dev: Right, so the authors are tackling this problem where you have these more general shapes defining your safe space, not just those nice cones we usually see in older work.

Taro: The implication for me is that it gives us a way to model real-world environments where the constraints aren't mathematically perfect shapes but something more irregular.

Rosa: Exactly, and they show this control input guarantees that your system will settle safely toward the target point even if those obstacles are star-shaped, which is way more flexible than what we've seen before.

Dev: From an engineering standpoint, the stability proof shows that this method keeps the velocity vector aligning with a certain reference direction as long as you stay within that allowed region M.

Taro: That non-increasing function V they used means when things go wrong and the system is near a boundary, it's actively pushing it back toward safety instead of letting it wander off.

Rosa: It’s about getting guaranteed stability over the entire state space M times R n plus one, which is pretty strong for any physical system you're trying to keep from falling into danger.

Dev: The caveat is that this method relies on the separation function dU (x) meeting some specific mathematical requirements, and they also need those equilibrium points to be twice continuously differentiable for their local stability checks.

Taro: So it’s not a magic fix for every single weird constraint shape; you still need that specific setup to get the full guarantee of safety.

Rosa: That's the main thing—it gives us a concrete tool, but you still have to make sure your system fits into their mathematical framework first.

Dev: And this kind of robust control design is really relevant when we start thinking about complex attitude stabilization in things like quadrotors or spherical robots in real-world scenarios.

Taro: Yeah, and that’s what I want to talk about next: how this idea translates into a practical setup for those attitude control problems we discussed earlier.

math.OC, cs.SY, eess.SY

Submitted: 2026-03-28

Updated: 2026-10-08

Comments: 14 pages, 5 figures

License: http://creativecommons.org/licenses/by/4.0/

Importance score: 78/100

The gist: The gist: We propose a control strategy with a constraint proximity-based dynamic damping mechanism that ensures safe and almost global asymptotic stabilization of the target point in the presence of

Key concepts

n-sphere: This refers to a geometric space where points exist based on n-dimensional vectors having a fixed magnitude. In this context, it represents the state space of mechanical systems like spin axes or spherical robots. The system's movement is restricted to this surface.
Star-shaped constraints: These are obstacles defined by a set that contains all line segments connecting any point within the obstacle to a central 'star' point. Unlike simpler conic constraints, star-shaped sets allow for a more flexible and general definition of forbidden regions in the stabilization problem.
Constraint proximity-based dynamic damping: This is the core control mechanism where the damping force applied to the system changes dynamically based on how close it is to an unsafe region. The control input actively adjusts its strength using a function derived from this proximity, ensuring that trajectories stay away from forbidden areas while still converging to the target.
Scalar function V(ξ): This is a specific mathematical measure, defined as half the squared distance between the system's velocity and a reference direction related to the constraint boundary. The control law is specifically designed so that this function V decreases over time, which mathematically proves that the system converges to its desired stable state.

Terminology

Closed-Loop System — 33× in this paper · explained in 4 episodes
Almost Global Asymptotic Stability — 2× in this paper · explained in 1 episode
Alignment — 1× in this paper · explained in 1 episode
Core — 1× in this paper · explained in 2 episodes

Summary

The gist: We propose a control strategy with a constraint proximity-based dynamic damping mechanism that ensures safe and almost global asymptotic stabilization of the target point in the presence of starshaped constraints on the n-sphere.

Introduction

Various mechanical systems have states that evolve on the n-sphere, such as spin-axis stabilization of rigid body systems [1], two-axis gimbal systems [2], thrust-vector control for quadrotor aircraft [3], and the spherical robot [4]. In many practical scenarios, the attitude stabilization problem can also be recast as a stabilization on the 3-sphere. The stabilization problem on the n-sphere (without constraints) has been addressed in the literature using differential geometry and hybrid dynamical systems tools, see for instance [1], [5], [6]. Although existing approaches address constrained stabilization for dynamical systems, the constraint representations are often limited to conic sets. Conic constraints are conservative and exclude a significant portion of the free space from the feasible region for stabilization compared to star-shaped constraints (which include conic constraints as a special case) <ref:2603.27382#pg2>. This work was supported by the Natural Sciences and Engineering Research Council of Canada (NSERC), under the grants RGPIN-2020-06270 <ref:2603.27382#pg2>.

Problem Setup

The system dynamics are given by x˙ = P(x)v, v˙ = u, where x ∈ S n, v ∈ R n+1 and u ∈ R n+1 <ref:2603.27382#pg2>. The unsafe set U is the union of m pairwise disjoint, closed, connected subsets Ui of S n <ref:2603.27382#pg2>. We consider the continuous scalar mapping dU: M → R≥0 that characterizes the separation between any x ∈ M and the unsafe set U <ref:2603.27382#pg2>. The system is required to satisfy several properties, including D1 dU (x) > 0, ∀x ∈ M, and dU (x) = 0, ∀x ∈ ∂U <ref:2603.27382#pg2>.

Control Design

We propose the following control scheme: u(ξ) = −kdβ(dU (x))(v − νd(x)) + Jd(x)P(x)v, where kd > 0 and the composite state vector ξ is given by ξ:= (x, v) ∈ M×R n+1 <ref:2603.27382#pg2>. The scalar function β(dU (x)) is defined piecewise based on the separation function dU (x) <ref:2603.27382#pg2>. This control law is designed so that the scalar function V (ξ) = 1/2∥v − νd(x)∥ squared is non-increasing along the trajectories of the closed-loop system <ref:2603.27382#pg2>.

Stability and Invariance Proof

The proposed control input u(ξ) is designed so that the scalar function V (ξ) = 1/2∥v − νd(x)∥ squared is non-increasing along the trajectories of the closed-loop system <ref:2603.27382#pg2>. This suggests that, under the control input (7), v(t) tends to align with νd(x(t)) for all t ≥ 0 as long as x(t) ∈ M <ref:2603.27382#pg2>. By virtue of Lemma 1, for any initial condition ξ(0) ∈ M × R n+1, the scalar function V (·) defined in (9) satisfies V˙ (ξ(t)) ≤ 0 for all t ≥ 0 <ref:2603.27382#pg2>. This indicates that the closed-loop system inherits the safety and convergence properties of the kinematic system x˙ = νd(x) and ensures that the desired point (xd, 0n+1) is almost globally asymptotically stable over M × R n+1 <ref:2603.27382#pg2>.

Application to Constrained Attitude Stabilization

For reduced attitude control using the rotation matrix, we define v:= x ×ω and u:= (ω ×) 2x + x ×τ¯ <ref:2603.27382#pg2>. The final control torque is given by: τ = ω × Jmω + Jmuf <ref:2603.27382#pg2>. Proposition 1 states that the set M × R 3 = S ∪ ⊕ (xd, 0 n+1) is forward invariant and the equilibrium point (x, ω) = (xd, 0 n+1) is almost globally asymptotically stable over M × R 3 <ref:2603.27382#pg2>.

Conclusion

In this work, we propose a feedback control design for the constrained stabilization problem of second-order systems evolving on the n-sphere <ref:2603.27382#pg2>. Unlike the majority of the existing literature, where the unsafe regions are typically represented by conic sets, our approach is able to handle a more general class of obstacles represented star-shaped sets on the nsphere which offers a more flexible characterization of the unsafe regions <ref:2603.27382#pg2>. The proposed feedback control input guarantees safety and almost global asymptotic stabilization of the equilibrium (xd, 0n+1) over the state space M × R n+1 <ref:2603.27382#pg2>.

Appendix A

For x ∈ M, we provide three valid constructions for dU (x) <ref:2603.27382#pg2>. The spherical distance is defined as dU (x) = inf a∈U arccos(x⊤a) <ref:2603.27382#pg2>.

Appendix B

The proof of Lemma 1 shows that for every initial condition ξ(0) ∈ M × R n+1, there exists δ(ξ(0)) > 0 such that dU (x(t)) ≥ δd for all t ≥ td(ξ(0)) <ref:2603.27382#pg2>.

Appendix C

The proof of Theorem 1 shows that the set S ∪ (xd, 0n+1) is globally attractive for the closedloop system (4)-(7) over M×R n+1 <ref:2603.27382#pg2>.

References

[1] F. Bullo, R. M. Murray, and A. Sarti, “Control on the sphere and reduced attitude stabilization,” IFAC Proceedings Volumes, vol. 28, no. 14, pp. 495–501, 1995 <ref:2603.27382#pg3>.

[2] J. Osborne, G. Hicks, and R. Fuentes, “Global analysis of the doublegimbal mechanism,” IEEE Control Systems Magazine, vol. 28, no. 4, pp. 44–64, 2008 <ref:2603.27382#pg4>.

[3] M.-D. Hua, T. Hamel, P. Morin, and C. Samson, “Control of vtol vehicles with thrust-tilting augmentation,” Automatica, vol. 52, pp. 1–7, 2015 <ref:2603.27382#pg5>.

[4] V. Muralidharan and A. D. Mahindrakar, “Geometric controllability and stabilization of spherical robot dynamics,” IEEE Transactions on Automatic Control, vol. 60, no. 10, pp. 2762–2767, 2015 <ref:2603.27382#pg6>.

[5] P. Casau, R. Cunha, R. G. Sanfelice, and C. Silvestre, “Hybrid control for robust and global tracking on smooth manifolds,” IEEE Transactions on Automatic Control, vol. 65, no. 5, pp. 1870–1885 <ref:2603.27382#pg7>.

[6] P. Casau, C. G. Mayhew, R. G. Sanfelice, and C. Silvestre, “Robust global exponential stabilization on the n-dimensional sphere with applications to trajectory tracking for quadrotors,” Automatica, vol. 110, p. 108534, 2019 <ref:2603.27382#pg8>.

[7] U. Lee and M. Mesbahi, “Feedback control for spacecraft reorientation under attitude constraints via convex potentials,” IEEE Transactions on Aerospace and Electronic Systems, vol. 50, no. 4, pp. 2578–2592, 2014 <ref:2603.27382#pg9>.

[8] M. M.

Improvements for AI systems

textbfAdaptive Constraint Proximity Damping Control for Second-Order Systems on Spheres: The system can ensure safe and almost global asymptotic stabilization of the target point in the presence of starshaped constraints on the n-sphere. This allows for robust control in applications like constrained rigidbody attitude stabilization.
textbfHandling General Obstacle Geometries: The approach moves beyond conic sets to utilize star-shaped constraint sets, which includes conic constraints as a special case, offering a more flexible characterization of unsafe regions and potentially enabling a larger safe region for stabilization purposes.
textbf Guaranteed Forward Invariance and Convergence: The closed-loop system ensures that the state space is forward invariant (M × R(n+1) is forward invariant) and the desired equilibrium point (xd, 0n+1) is almost globally asymptotically stable over M × R(n+1), meaning for any x(0) ∈ M × R(n+1), the solution of the closed-loop system (6)-(7) satisfies limt→∞ x(t) ∈ E ∪ 0n+1.
textbf Safety and Stability Guarantees for Attitude Control: For full attitude control using unit-quaternion dynamics, the system is forward invariant and (xd, 03) is almost globally asymptotically stable, providing reliable pointing direction control under star-shaped constraints on the 3-sphere."

Abstract

We consider the constrained stabilization problem of second-order systems evolving on the n-sphere. We propose a control strategy with a constraint proximity-based dynamic damping mechanism that ensures safe and almost global asymptotic stabilization of the target point in the presence of star-shaped constraints on the n-sphere. It is also shown that the proposed approach can be used to deal with constrained rigid-body attitude stabilization. The effectiveness of our approach is demonstrated through simulation results on the 2-sphere and the 3-sphere in the presence of star-shaped constraint sets.