pith. sign in

arxiv: 2607.00793 · v1 · pith:MUNXUGYRnew · submitted 2026-07-01 · 🧮 math.OC · cs.SY· eess.SY

Geometric Reduced-Attitude Tracking Under a Time-Varying Conic Constraint via Smooth Reference-Shaping

Pedro Santos , Joel Reis , Paulo Oliveira , Carlos Silvestre This is my paper

Pith reviewed 2026-07-02 07:48 UTC · model grok-4.3

classification 🧮 math.OC cs.SYeess.SY
keywords reduced attitude trackinggeometric controlS2conic constraintreference shapingalmost global stabilityrigid body
0
0 comments X

The pith

Smooth reference shaping lets a geometric controller track reduced attitude on the sphere while respecting a time-varying conic constraint and retaining almost-global asymptotic stability.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a geometric tracking law for reduced attitude on the 2-sphere that achieves almost-global asymptotic and regionally exponential convergence when angular velocity is the input. A smooth reference-shaping mechanism then adjusts the desired direction on the sphere so the reference stays inside the moving conic constraint. The shaped reference is passed to the original controller, producing continuous smooth feedback without altering the base law. Stability properties carry over directly because the shaping preserves the necessary regularity, though the constraint holds only in a soft sense. Simulations demonstrate the closed-loop behavior for rigid-body applications that value predictable smooth action over strict enforcement.

Core claim

Using a kinematic model on S2, the authors first give a geometric tracking law that guarantees almost-global asymptotic and regionally exponential convergence in the unconstrained case. They then introduce a smooth reference-shaping mechanism that adjusts the desired direction so the reference provided to the controller satisfies the time-varying conic constraint while preserving the smoothness required by the tracking law. The resulting closed-loop system therefore yields smooth continuous feedback and retains the stability guarantees of the unconstrained controller, at the expense of enforcing only a soft version of the original constraint.

What carries the argument

Smooth reference-shaping mechanism that adjusts the desired direction on S2 to satisfy the time-varying conic constraint while preserving regularity for the base geometric tracking law.

If this is right

  • The feedback remains smooth and continuous without discontinuities or switching.
  • Almost-global asymptotic plus regionally exponential convergence carries over unchanged from the unconstrained case.
  • The time-varying conic constraint is met only softly rather than strictly.
  • The method applies directly to rigid-body reduced-attitude problems on the sphere that prefer deterministic smooth control.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The shaping approach may be combined with barrier or optimization layers when stricter hard-constraint satisfaction is later required.
  • Similar reference adjustment could apply to other manifolds or velocity-level constraints where smoothness must be traded against set invariance.
  • Hardware experiments with sensor noise would test how the shaping function behaves when the measured direction deviates from the ideal kinematic model.

Load-bearing premise

A smooth reference-shaping function can always be constructed that adjusts the desired direction to satisfy the time-varying conic constraint while preserving the smoothness and convergence properties of the base tracking law.

What would settle it

A concrete time-varying conic constraint and initial attitude for which the shaped reference either leaves the allowed cone or the tracking error fails to converge asymptotically to zero under the closed-loop dynamics.

Figures

Figures reproduced from arXiv: 2607.00793 by Carlos Silvestre, Joel Reis, Paulo Oliveira, Pedro Santos.

Figure 1
Figure 1. Figure 1: Problem formulation on the 2-sphere for an inclusion constraint. [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Diagram of the proposed solution. III. UNCONSTRAINED TRACKING CONTROLLER Consider the Lyapunov function V : S 2 × S 2 7→ [0, 2] V (q, qd) := 1 − q T dq . (8) Using (3), its time derivate can be written as V˙ = −q T (S(qd)u + q˙ d) = (S(qd)q) T (u − S(qd)q˙ d) , (9) where the fact that q˙ d ∈ Tqd S 2 was used in the second step. By defining a tracking error e ∈ TqS 2 ∩ Tqd S 2 as e := S(qd)q , (10) and defi… view at source ↗
Figure 3
Figure 3. Figure 3: Tracking under static conic constraint for [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Tracking error dS 2 (q, qd) for different values of δ and limit case qd = q ⋆ d . Regions in green indicate dS 2 (qd, a) ≤ αmax and regions in red indicate dS 2 (qd, a) > αmax. Dashed line represents dS 2 (q, qd). 0 0.5 1 1.5 2 2.5 3 Time [s] 0 1 2 3 4 5 Input norm [rad/s] 1.2 1.3 1.4 0.5 1 1.5 2 [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Input norm, ∥u(t)∥, for different values of δ and for qd = q ⋆ d . The results show that the proposed mechanism produces a smooth approximation of the optimal reference, with δ acting as a tuning parameter that controls the smoothness level. Under the same reference trajectory, we next impose a dynamic conic inclusion constraint whose axis fol￾lows a constant-latitude circle according to a(t) := 0.5 [PITH… view at source ↗
Figure 6
Figure 6. Figure 6: Tracking under dynamic conic constraint for [PITH_FULL_IMAGE:figures/full_fig_p006_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Time evolution of dS 2 (q, qd), dS 2 (q, a), and αmax for δ = 0.2. of the problem, the reader is referred to the video available at https://youtu.be/7hQAtjc6k0s for a better visualization of the results. To further assess the effectiveness of the method, [PITH_FULL_IMAGE:figures/full_fig_p006_7.png] view at source ↗
read the original abstract

This letter studies reduced-attitude tracking for a rigid body on the 2-sphere S2 under a time-varying conic constraint. Using a kinematic model on S2, we first propose a geometric tracking law that guarantees almostglobal asymptotic and regionally exponential convergence in the unconstrained case, where the angular velocity serves as the control input. We then introduce a smooth reference-shaping mechanism that adjusts the desired direction so that the reference provided to the controller satisfies the time-varying conic constraint while preserving the smoothness required by the tracking law. The resulting approach yields smooth continuous feedback and retains the stability guarantees of the unconstrained controller, albeit at the expense of enforcing a soft version of the original constraint. Simulation results illustrate the effectiveness of the method and highlight its suitability for applications where deterministic behavior, smooth control action, and strong stability guarantees are preferred over hard constraint satisfaction.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper develops a geometric reduced-attitude tracking controller on S² for rigid-body kinematics. It first presents an unconstrained law achieving almost-global asymptotic stability plus regional exponential convergence, then augments it with a smooth reference-shaping map that deforms the desired direction to obey a time-varying conic constraint while preserving smoothness and the original stability guarantees (at the cost of a soft rather than hard constraint). Simulation results are provided to illustrate performance.

Significance. If the stability-retention claim is rigorously established, the method supplies a continuous, deterministic feedback law with strong convergence properties for constrained attitude problems, which is useful in applications (e.g., spacecraft or robotics) that prioritize smoothness over hard constraint enforcement. The approach builds on standard sphere kinematics and conventional Lyapunov arguments, offering a practical alternative to discontinuous or optimization-based methods.

major comments (2)
  1. [Stability analysis of shaped reference (post-§3)] The skeptic's concern is load-bearing: the shaped reference r_s(t) introduces an additive velocity term ṙ_s(t) into the closed-loop error kinematics that is absent from the original unconstrained analysis. The manuscript must explicitly derive the modified error dynamics (likely in the section following the unconstrained law) and show that this term remains dominated by the nominal negative-semidefinite Lyapunov derivative or is otherwise neutralized; without that step the almost-global invariance argument does not carry over directly.
  2. [Reference-shaping mechanism] The existence and construction of the smooth shaping map is stated axiomatically (a smooth map exists that maps any desired direction into the feasible cone while preserving differentiability). The paper should supply an explicit, constructive definition of this map together with bounds on its derivatives so that the extra forcing term can be quantified and the regional exponential convergence claim can be verified.
minor comments (2)
  1. [Abstract] The abstract contains the run-on word 'almostglobal'; a hyphen or space would improve readability.
  2. [Notation and figures] Notation for the shaped reference (r_s versus x_s) should be made consistent throughout the text and figures.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and constructive feedback on the stability extension and reference-shaping construction. We address each major comment below and will revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses

  1. Referee: [Stability analysis of shaped reference (post-§3)] The skeptic's concern is load-bearing: the shaped reference r_s(t) introduces an additive velocity term ṙ_s(t) into the closed-loop error kinematics that is absent from the original unconstrained analysis. The manuscript must explicitly derive the modified error dynamics (likely in the section following the unconstrained law) and show that this term remains dominated by the nominal negative-semidefinite Lyapunov derivative or is otherwise neutralized; without that step the almost-global invariance argument does not carry over directly.

    Authors: We agree that an explicit derivation of the modified error dynamics is necessary for a complete proof. The current manuscript states that the stability guarantees are retained but does not detail the perturbation analysis in a dedicated subsection. In the revision we will insert the closed-loop kinematics with the ṙ_s term, bound its magnitude using the Lipschitz continuity of the shaping map and the bounded rate of the time-varying cone, and show that the extra term can be absorbed into the negative-semidefinite part of V̇ outside a set of measure zero, thereby preserving almost-global asymptotic stability and the regional exponential convergence property. revision: yes

  2. Referee: [Reference-shaping mechanism] The existence and construction of the smooth shaping map is stated axiomatically (a smooth map exists that maps any desired direction into the feasible cone while preserving differentiability). The paper should supply an explicit, constructive definition of this map together with bounds on its derivatives so that the extra forcing term can be quantified and the regional exponential convergence claim can be verified.

    Authors: The manuscript indeed presents the shaping map existentially rather than constructively. We will add an explicit construction in the revision, for instance a smooth, time-varying projection realized via a normalized convex combination with a mollified indicator of the cone interior, together with explicit upper bounds on the first and second derivatives obtained from the cone aperture and its time derivative. These bounds will be used to quantify the perturbation in the Lyapunov analysis and to confirm the regional exponential stability neighborhood around the shaped reference. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation builds on explicit construction and standard stability arguments

full rationale

The paper first states a geometric tracking law on S² for a prescribed smooth reference (unconstrained case) and then defines a separate smooth reference-shaping map that produces a modified reference satisfying the time-varying conic constraint. Stability retention is asserted to follow from the shaping map being constructed to preserve the required smoothness and reference properties; this is an explicit design choice rather than a reduction of the output to the input by definition. No load-bearing step equates a fitted parameter to a prediction, renames a known result, or relies on a self-citation chain whose cited result is itself unverified. The derivation therefore remains self-contained against external benchmarks (standard sphere kinematics and Lyapunov arguments) and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract invokes the standard kinematic model on S2 and the existence of a suitable smooth shaping map; no free parameters or new physical entities are mentioned.

axioms (2)
  • domain assumption Kinematic reduced-attitude dynamics evolve on the 2-sphere S2.
    Standard modeling assumption in geometric attitude control.
  • ad hoc to paper A smooth reference-shaping map exists that maps any desired direction into one satisfying the instantaneous conic constraint while preserving differentiability.
    Central but undetailed premise required for the method to work.

pith-pipeline@v0.9.1-grok · 5686 in / 1336 out tokens · 42332 ms · 2026-07-02T07:48:37.333537+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    Spin-axis stabilization of symmetric spacecraft with two control torques,

    P. Tsiotras and J. M. Longuski, “Spin-axis stabilization of symmetric spacecraft with two control torques,”Syst. & Control Lett., vol. 23, no. 6, pp. 395–402, 1994

    work page 1994

  2. [2]

    Robust global exponential stabilization on the n-dimensional sphere with applications to trajectory tracking for quadrotors,

    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, 2019

    work page 2019

  3. [3]

    Almost global trajectory tracking for quadrotors using thrust direction control onS 2,

    M. Leomanni, A. Dionigi, F. Ferrante, P. Valigi, and G. Costante, “Almost global trajectory tracking for quadrotors using thrust direction control onS 2,” in63rd IEEE Conf. Dec. Control, 2024, pp. 7516– 7521

    work page 2024

  4. [4]

    Landing of a quadrotor on a moving target using dynamic image- based visual servo control,

    P. Serra, R. Cunha, T. Hamel, D. Cabecinhas, and C. Silvestre, “Landing of a quadrotor on a moving target using dynamic image- based visual servo control,”IEEE Trans. Robot., vol. 32, no. 6, pp. 1524–1535, 2016

    work page 2016

  5. [5]

    Control on the sphere and reduced attitude stabilization,

    F. Bullo, R. Murray, and A. Sarti, “Control on the sphere and reduced attitude stabilization,”IFAC Proc. Vol., vol. 28, no. 14, pp. 495–501, 1995

    work page 1995

  6. [6]

    Modeling, simulation and control of a spacecraft: Automated reorientation under directional constraints,

    S. Fiori, L. Sabatini, F. Rachiglia, and E. Sampaolesi, “Modeling, simulation and control of a spacecraft: Automated reorientation under directional constraints,”Acta Astronaut., vol. 216, pp. 214–228, 2024

    work page 2024

  7. [7]

    Constrained geometric attitude control on SO(3),

    S. Kulumani and T. Lee, “Constrained geometric attitude control on SO(3),”Int. J. Control Autom. Syst., vol. 15, 2017

    work page 2017

  8. [8]

    Adaptive reduced attitude control for rigid spacecraft with elliptical pointing constraints,

    Y . Liu, Q. Hu, and G. Feng, “Adaptive reduced attitude control for rigid spacecraft with elliptical pointing constraints,”IEEE Trans. Aerosp. Electron. Syst., vol. 59, no. 4, pp. 3835–3847, 2023

    work page 2023

  9. [9]

    Distributed collision-free motion coordination on a sphere: A conic control barrier function approach,

    T. Ibuki, S. Wilson, A. D. Ames, and M. Egerstedt, “Distributed collision-free motion coordination on a sphere: A conic control barrier function approach,”IEEE Control Syst. Lett., vol. 4, no. 4, pp. 976– 981, 2020

    work page 2020

  10. [10]

    Constrained stabilization on the n-sphere,

    S. Berkane and D. V . Dimarogonas, “Constrained stabilization on the n-sphere,”Automatica, vol. 125, 2021

    work page 2021

  11. [11]

    On the constrained attitude control problem,

    Y . Kim, M. Mesbahi, G. Singh, and F. Hadaegh, “On the constrained attitude control problem,” inAIAA Guid. Navig. Control Conf. Ex., 2004

    work page 2004

  12. [12]

    Reduced attitude control for boresight alignment with dynamic pointing constraints,

    Q. Hu, B. Chi, and M. R. Akella, “Reduced attitude control for boresight alignment with dynamic pointing constraints,”IEEE/ASME Trans. Mechatronics, vol. 24, no. 6, pp. 2942–2952, 2019

    work page 2019

  13. [13]

    Stabilization on the 2-sphere under geodesically convex constraints,

    M. Sawant and A. Tayebi, “Stabilization on the 2-sphere under geodesically convex constraints,” in64th IEEE Conf. Dec. Control, 2025, pp. 7401–7406

    work page 2025

  14. [14]

    Spacecraft attitude control with nonconvex constraints: An explicit reference governor approach,

    M. M. Nicotra, D. Liao-McPherson, L. Burlion, and I. V . Kol- manovsky, “Spacecraft attitude control with nonconvex constraints: An explicit reference governor approach,”IEEE Trans. Autom. Control, vol. 65, no. 8, pp. 3677–3684, 2020

    work page 2020

  15. [15]

    Attitude constrained control on SO(3): An explicit reference governor approach,

    S. Nakano, T. W. Nguyen, E. Garone, T. Ibuki, and M. Sampei, “Attitude constrained control on SO(3): An explicit reference governor approach,” in57th IEEE Conf. Dec. Control, 2018, pp. 1833–1838

    work page 2018

  16. [16]

    Construction of control barrier func- tion andC 2 reference trajectory for constrained attitude maneuvers,

    X. Tan and D. V . Dimarogonas, “Construction of control barrier func- tion andC 2 reference trajectory for constrained attitude maneuvers,” in59th IEEE Conf. Dec. Control, 2020, pp. 3329–3334

    work page 2020

  17. [17]

    Stabilization with guaranteed safety using control Lyapunov–barrier function,

    M. Z. Romdlony and B. Jayawardhana, “Stabilization with guaranteed safety using control Lyapunov–barrier function,”Automatica, vol. 66, pp. 39–47, 2016

    work page 2016

  18. [18]

    Feedback control for spacecraft reorientation under attitude constraints via convex potentials,

    U. Lee and M. Mesbahi, “Feedback control for spacecraft reorientation under attitude constraints via convex potentials,”IEEE Trans. Aerosp. Electron. Syst., vol. 50, no. 4, pp. 2578–2592, 2014

    work page 2014

  19. [19]

    Safety-critical and constrained geometric control synthesis using control Lyapunov and control barrier functions for systems evolving on manifolds,

    G. Wu and K. Sreenath, “Safety-critical and constrained geometric control synthesis using control Lyapunov and control barrier functions for systems evolving on manifolds,” inAmer. Control Conf., 2015, pp. 2038–2044

    work page 2015

  20. [20]

    Successive convexifi- cation for real-time six-degree-of-freedom powered descent guidance with state-triggered constraints,

    M. Szmuk, T. P. Reynolds, and B. Ac ¸ıkmes ¸e, “Successive convexifi- cation for real-time six-degree-of-freedom powered descent guidance with state-triggered constraints,”J. Guid. Control Dyn., vol. 43, no. 8, pp. 1399–1413, 2020

    work page 2020

  21. [21]

    Fixed- point constrained model predictive control of spacecraft attitude,

    A. Guiggiani, I. Kolmanovsky, P. Patrinos, and A. Bemporad, “Fixed- point constrained model predictive control of spacecraft attitude,” in Proc Amer. Control Conf., 2015, pp. 2317–2322

    work page 2015

  22. [22]

    A pointing-based method for space- craft attitude maneuver path planning under time-varying pointing constraints,

    H. He, P. Shi, and Y . Zhao, “A pointing-based method for space- craft attitude maneuver path planning under time-varying pointing constraints,”Adv. Space Res., vol. 70, no. 4, pp. 1062–1077, 2022

    work page 2022

  23. [23]

    Time-synchronized control for spacecraft reorientation with time-varying constraints,

    D. Li, S. Tong, H. Yang, and Q. Hu, “Time-synchronized control for spacecraft reorientation with time-varying constraints,”IEEE/ASME Trans. Mechatronics, vol. 30, no. 3, pp. 2073–2083, 2025

    work page 2073

  24. [24]

    Kinematic steering law for coni- cally constrained torque-limited spacecraft attitude control,

    M. Diaz Ramos and H. Schaub, “Kinematic steering law for coni- cally constrained torque-limited spacecraft attitude control,”J. Guid. Control Dyn., vol. 41, no. 9, pp. 1990–2001, 2018

    work page 1990

  25. [25]

    Rigid-body attitude stabilization with attitude and angular rate constraints,

    Q. Shen, C. Yue, C. H. Goh, B. Wu, and D. Wang, “Rigid-body attitude stabilization with attitude and angular rate constraints,”Automatica, vol. 90, pp. 157–163, 2018

    work page 2018

  26. [26]

    Quadratic programming approach to flight envelope protection using control barrier functions,

    J. Autenrieb, “Quadratic programming approach to flight envelope protection using control barrier functions,”J. Guid. Control Dyn., vol. 48, no. 11, pp. 2622–2633, 2025

    work page 2025

  27. [27]

    Optimal hybrid controls for global exponential tracking on the two-sphere,

    T. Lee, “Optimal hybrid controls for global exponential tracking on the two-sphere,” in55th IEEE Conf. Dec. Control, 2016, pp. 3331–3337

    work page 2016

  28. [28]

    Reduced-attitude boresight guidance and control on spacecraft for pointing, tracking, and searching,

    C. M. Pong and D. W. Miller, “Reduced-attitude boresight guidance and control on spacecraft for pointing, tracking, and searching,”J. Guid. Control Dyn., vol. 38, no. 6, pp. 1027–1035, 2015

    work page 2015

  29. [29]

    Geometric reduced-attitude control of fixed-wing UA Vs,

    E. M. Coates and T. I. Fossen, “Geometric reduced-attitude control of fixed-wing UA Vs,”Appl. Sci., vol. 11, no. 7, 2021

    work page 2021

  30. [30]

    Ebert, F

    D. Ebert, F. Musgrave, D. Peachey, K. Perlin, and S. Worley,Texturing and Modeling: A Procedural Approach. Elsevier Science, 2002

    work page 2002