pith. sign in

arxiv: 2602.17166 · v2 · submitted 2026-02-19 · 💻 cs.RO · cs.SY· eess.SY

Geometric Inverse Flight Dynamics on SO(3) and Application to Tethered Fixed-Wing Aircraft

Antonio Franchi , Chiara Gabellieri This is my paper

Pith reviewed 2026-05-15 21:33 UTC · model grok-4.3

classification 💻 cs.RO cs.SYeess.SY
keywords inverse flight dynamicsgeometric controlSO(3)fixed-wing aircrafttethered flightcoordinated flightattitude determinationtrajectory planning
0
0 comments X

The pith

A coordinate-free formulation on SO(3) produces a closed-form map from any coordinated trajectory to the required aircraft attitude, angular velocity, and thrust-angle-of-attack inputs.

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

The paper develops an inverse dynamics method that writes force balance in the world frame and rotational dynamics in the body frame while defining lift, drag, and side forces purely geometrically on the rotation group SO(3). By enforcing zero sideslip, the method yields explicit expressions that recover attitude, angular velocity, thrust magnitude, and angle of attack directly from a desired path without iterative numerical solving. The same map is specialized to tethered flight on spherical parallels, delivering analytic bank-angle formulas and identifying a zero-bank curve where tether tension alone balances centrifugal force. These pointwise solutions become exact trim conditions for time-invariant paths and allow component-wise recovery of aerodynamic moment coefficients.

Core claim

The central claim is that translational force balance in the world frame combined with rotational dynamics in the body frame, under a geometric definition of aerodynamic directions and the zero-sideslip constraint, produces an explicit trajectory-to-input map on SO(3) that returns the full attitude, angular velocity, thrust, and angle-of-attack pair while recovering moment coefficients component-wise. When specialized to tethered flight along spherical parallels, the map gives closed-form bank angles and reveals a zero-bank locus that decouples aerodynamic coordination from apparent gravity. Under a simple lift-drag law the minimal-thrust angle of attack also admits a closed expression. The

What carries the argument

The trajectory-to-input map obtained from geometric force-moment balance on SO(3) under the coordinated-flight constraint.

If this is right

  • The map supplies exact bank-angle expressions for any tethered path on a sphere without numerical inversion.
  • Aerodynamic moment coefficients can be recovered component-wise from measured trajectories and inputs.
  • A closed-form minimal-thrust angle of attack exists under the standard lift-drag relation.
  • Time-invariant trajectories yield exact steady-flight trim solutions directly from the same formulas.
  • The method supplies analytic feasibility checks for trajectory design before numerical simulation.

Where Pith is reading between the lines

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

  • The geometric separation of aerodynamic coordination from apparent gravity could simplify control allocation in other tethered or towed vehicles.
  • Real-time implementations might use the map as a feed-forward term inside model-predictive controllers for wind-disturbed flight.
  • The same construction could be tested on non-spherical tether constraints to see whether closed-form loci persist.
  • Extension to time-varying wind fields would require only an additional force term inside the world-frame balance.

Load-bearing premise

The assumption that coordinated flight can be strictly enforced with zero sideslip while aerodynamic directions remain geometrically well-defined and a simple lift-drag law suffices for the closed-form angle-of-attack solution.

What would settle it

Fly a fixed-wing aircraft along a known curved tethered trajectory, measure the actual sideslip angle and required controls at several points, and check whether the measured values match the zero-sideslip predictions from the map within sensor accuracy.

Figures

Figures reproduced from arXiv: 2602.17166 by Antonio Franchi, Chiara Gabellieri.

Figure 1
Figure 1. Figure 1: Behavior of the geometric bank angle µ required for coordinated tethered flight. (a) Increasing tether tension pulls the aircraft outward (negative bank), competing with centrifugal force. (b) Lowering the trajectory on the sphere (increasing θ) increases the turn radius, reducing centrifugal force and favoring outward banking. (c) The heatmap highlights the zero-bank locus (white contour), separating the … view at source ↗
Figure 2
Figure 2. Figure 2: Attitude, thrust, and drag forces for the aircraft schematically depicted on the left. The constant tangential speed is [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
read the original abstract

We present a robotics-oriented, coordinate-free formulation of inverse flight dynamics for fixed-wing aircraft on SO(3). Translational force balance is written in the world frame and rotational dynamics in the body frame; aerodynamic directions (drag, lift, side) are defined geometrically, avoiding local attitude coordinates. Enforcing coordinated flight (no sideslip), we derive a closed-form trajectory-to-input map yielding the attitude, angular velocity, and thrust-angle-of-attack pair, and we recover the aerodynamic moment coefficients component-wise. Applying such a map to tethered flight on spherical parallels, we obtain analytic expressions for the required bank angle and identify a specific zero-bank locus where the tether tension exactly balances centrifugal effects, highlighting the decoupling between aerodynamic coordination and the apparent gravity vector. Under a simple lift/drag law, the minimal-thrust angle of attack admits a closed form. These pointwise quasi-steady inversion solutions become steady-flight trim when the trajectory and rotational dynamics are time-invariant. The framework bridges inverse simulation in aeronautics with geometric modeling in robotics, providing a rigorous building block for trajectory design and feasibility checks.

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

1 major / 1 minor

Summary. The paper develops a coordinate-free inverse flight dynamics formulation on SO(3) for fixed-wing aircraft. Translational force balance is expressed in the world frame and rotational dynamics in the body frame, with aerodynamic axes (drag, lift, side) defined geometrically from velocity and force vectors. Enforcing coordinated flight (zero sideslip), the authors derive a closed-form trajectory-to-input map that recovers attitude R(t), angular velocity ω(t), and the thrust-angle-of-attack pair; aerodynamic moment coefficients are recovered component-wise. The map is applied to tethered flight on spherical parallels to obtain analytic bank-angle expressions and a zero-bank locus where tether tension balances centrifugal force. Under a simple lift/drag law the minimal-thrust angle of attack admits a closed form. Time-invariant cases reduce to steady-flight trim conditions.

Significance. If the kinematic consistency between the recovered ω(t) and the body-frame derivative of R(t) holds for arbitrary trajectories, the work supplies a rigorous geometric building block for inverse simulation and trajectory feasibility checks that bridges aeronautics and robotics. The component-wise moment recovery, analytic tethered-flight expressions, and closed-form minimal-thrust solution under a simple lift/drag law are concrete strengths that could support reproducible trajectory design and parameter-free feasibility tests.

major comments (1)
  1. [Central derivation of the trajectory-to-input map] Central construction (force-balance derivation of R(t) and ω(t) under zero-sideslip): the recovered body-frame angular velocity ω must identically satisfy the kinematic relation ω = R^T (dR/dt) (or its hat-map equivalent) for the map to be consistent with rigid-body dynamics. The abstract and central construction give no indication that this identity is enforced or verified; if it fails for general trajectories, the closed-form map reduces to an algebraic snapshot rather than a dynamically consistent inversion.
minor comments (1)
  1. [Application to minimal-thrust angle of attack] The simple lift/drag law is introduced without quantified validation against flight data or higher-fidelity models; a brief comparison or sensitivity statement would strengthen the minimal-thrust closed-form claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address the single major comment on kinematic consistency of the trajectory-to-input map below.

read point-by-point responses

  1. Referee: Central construction (force-balance derivation of R(t) and ω(t) under zero-sideslip): the recovered body-frame angular velocity ω must identically satisfy the kinematic relation ω = R^T (dR/dt) (or its hat-map equivalent) for the map to be consistent with rigid-body dynamics. The abstract and central construction give no indication that this identity is enforced or verified; if it fails for general trajectories, the closed-form map reduces to an algebraic snapshot rather than a dynamically consistent inversion.

    Authors: We thank the referee for highlighting this essential consistency requirement. In our coordinate-free derivation, the attitude R(t) is obtained directly from the world-frame translational force balance under the geometric definition of aerodynamic axes and the zero-sideslip constraint. The body-frame angular velocity ω(t) is then recovered from the rotational dynamics. Because R(t) is an explicit function of the given trajectory (position, velocity, acceleration), its time derivative is analytically available; the recovered ω(t) is constructed to satisfy the kinematic identity hat(ω) = R^T dot(R) identically. This is not an additional assumption but follows from the rigid-body kinematics on SO(3) once R(t) is fixed by the force balance. To address the lack of explicit indication, we will add a short verification subsection that substitutes the closed-form expressions for R(t) and ω(t) into the kinematic relation and confirms it holds for arbitrary smooth trajectories, thereby establishing that the map is dynamically consistent rather than a static algebraic inversion. revision: yes

Circularity Check

0 steps flagged

No circularity in the geometric inverse dynamics derivation

full rationale

The paper derives the closed-form trajectory-to-input map directly from translational force balance in the world frame and rotational dynamics in the body frame on SO(3), with aerodynamic directions defined geometrically from velocity and force vectors and the zero-sideslip constraint imposed externally. The attitude R(t), angular velocity ω(t), and thrust-angle-of-attack pair are obtained by algebraic solution of these balance equations without any fitted parameters renamed as predictions, without load-bearing self-citations, and without smuggling ansatzes or renaming known results. The tethered-flight application and moment-coefficient recovery are likewise direct consequences of the same balance equations. The derivation is self-contained and does not reduce any claimed output to its inputs by construction.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The derivation rests on standard rigid-body kinematics on SO(3), Newtonian force/moment balance, and two domain assumptions: strictly coordinated flight and a simple parametric lift/drag relation. No new physical entities are postulated.

free parameters (1)
  • lift/drag law parameters
    A simple lift/drag law is invoked to obtain the closed-form minimal-thrust angle of attack; specific coefficients are not stated as fitted inside the derivation but are required for numerical evaluation.
axioms (2)
  • domain assumption Coordinated flight with zero sideslip angle
    Explicitly enforced to close the inverse map; appears in the sentence beginning 'Enforcing coordinated flight'.
  • domain assumption Quasi-steady pointwise inversion
    Solutions are computed instantaneously and become trim only when trajectory and rates are time-invariant.

pith-pipeline@v0.9.0 · 5497 in / 1562 out tokens · 33710 ms · 2026-05-15T21:33:05.672380+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    We present a robotics-oriented, coordinate-free formulation of inverse flight dynamics for fixed-wing aircraft on SO(3). ... aerodynamic directions (drag, lift, side) are defined geometrically

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · 1 internal anchor

  1. [1]

    On the existence of static equilibria of a cable-suspended load with non-stopping flying carriers,

    C. Gabellieri and A. Franchi, “On the existence of static equilibria of a cable-suspended load with non-stopping flying carriers,” in Proceedings of the International Conference on Unmanned Aircraft Systems (ICUAS), Chania, Greece, 2024, pp. 638–644

    work page 2024

  2. [2]

    Cyclic Nullspace Coordination: Perpetual Flight of Aerial Carriers for Static Suspension

    C. Gabellieri and A. Franchi, “Coordinated trajectories for non- stop flying carriers holding a cable-suspended load,”arXiv preprint arXiv:2503.03481, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  3. [3]

    Trajectory generation and control of a quadrotor with a cable-suspended load — a differentially-flat hybrid system,

    K. Sreenath, N. Michael, and V . Kumar, “Trajectory generation and control of a quadrotor with a cable-suspended load — a differentially-flat hybrid system,” inProceedings of the IEEE Inter- national Conference on Robotics and Automation (ICRA), Karlsruhe, Germany, 2013. 5https://codeberg.org/CGabelli/ Inverse-Flight-Dynamics-Tethered-Fixed-Wing-Aircraft

    work page 2013

  4. [4]

    Cooperative transportation of cable suspended payloads with MA Vs using monocular vision and inertial sensing,

    G. Li, R. Ge, and G. Loianno, “Cooperative transportation of cable suspended payloads with MA Vs using monocular vision and inertial sensing,”IEEE Robotics and Automation Letters, vol. 6, no. 3, pp. 5316–5323, 2021

    work page 2021

  5. [5]

    Agile and cooperative aerial manipulation of a cable- suspended load,

    S. Sun, X. Wang, D. Sanalitro, A. Franchi, M. Tognon, and J. Alonso-Mora, “Agile and cooperative aerial manipulation of a cable- suspended load,”Science Robotics, vol. 10, no. 107, eadu8015, 2025

    work page 2025

  6. [6]

    Dynamics of towed payload system using multiple fixed-wing aircraft,

    P. Williams and W. Ockels, “Dynamics of towed payload system using multiple fixed-wing aircraft,”Journal of guidance, control, and dynamics, vol. 32, no. 6, pp. 1766–1780, 2009

    work page 2009

  7. [7]

    Auto- matic crosswind flight of tethered wings for airborne wind energy: Modeling, control design, and experimental results,

    L. Fagiano, A. U. Zgraggen, M. Morari, and M. Khammash, “Auto- matic crosswind flight of tethered wings for airborne wind energy: Modeling, control design, and experimental results,”IEEE Transac- tions on Control Systems Technology, vol. 22, no. 4, pp. 1433–1447, 2014

    work page 2014

  8. [8]

    Modeling of aircraft prescribed trajectory flight as an inverse simulation problem,

    W. Blajer, J. Graffstein, and M. Krawczyk, “Modeling of aircraft prescribed trajectory flight as an inverse simulation problem,” in Modeling, Simulation and Control of Nonlinear Engineering Dynam- ical Systems, Dordrecht, Netherlands: Springer, 2009, pp. 153–162

    work page 2009

  9. [9]

    A flight-mechanics solver for aircraft inverse sim- ulations and application to 3D Mirage-III maneuver,

    O. A. Marzouk, “A flight-mechanics solver for aircraft inverse sim- ulations and application to 3D Mirage-III maneuver,”arXiv preprint arXiv:2411.00834, 2024

    work page arXiv 2024

  10. [10]

    Nonlinear dynamic inversion baseline control law: Architecture and performance predictions,

    C. J. Miller, “Nonlinear dynamic inversion baseline control law: Architecture and performance predictions,” NASA Dryden Flight Research Center, Tech. Rep. NASA/TM-2011-217170, 2011

    work page 2011

  11. [11]

    Adaptive incremental nonlinear dynamic inversion for attitude control of micro air vehi- cles,

    E. J. Smeur, Q. Chu, and G. C. De Croon, “Adaptive incremental nonlinear dynamic inversion for attitude control of micro air vehi- cles,”Journal of Guidance, Control, and Dynamics, vol. 39, no. 3, pp. 450–461, 2016

    work page 2016

  12. [12]

    Nonlinear dynamic inversion with actuator dynamics: An incremental control perspec- tive,

    R. Steffensen, A. Steinert, and E. J. Smeur, “Nonlinear dynamic inversion with actuator dynamics: An incremental control perspec- tive,”Journal of Guidance, Control, and Dynamics, vol. 46, no. 4, pp. 709–717, 2023

    work page 2023

  13. [13]

    R. F. Stengel,Flight Dynamics, Second. Princeton, NJ, USA: Prince- ton University Press, 2022

    work page 2022

  14. [14]

    B. L. Stevens, F. L. Lewis, and E. N. Johnson,Aircraft Control and Simulation: Dynamics, Controls Design, and Autonomous Systems, Third. Hoboken, NJ, USA: Wiley, 2015

    work page 2015

  15. [15]

    Minimum snap trajectory generation and control for quadrotors,

    D. Mellinger and V . Kumar, “Minimum snap trajectory generation and control for quadrotors,” inProceedings of the IEEE International Conference on Robotics and Automation (ICRA), Shanghai, China, 2011, pp. 2520–2525

    work page 2011

  16. [16]

    Differential flatness of quadrotor dynamics subject to rotor drag for accurate tracking of high-speed trajectories,

    M. Faessler, A. Franchi, and D. Scaramuzza, “Differential flatness of quadrotor dynamics subject to rotor drag for accurate tracking of high-speed trajectories,”IEEE Robotics and Automation Letters, vol. 3, no. 2, pp. 620–626, 2018

    work page 2018

  17. [17]

    Geometric tracking control of a quadrotor UA V on SE(3),

    T. Lee, M. Leok, and N. H. McClamroch, “Geometric tracking control of a quadrotor UA V on SE(3),” inProceedings of the IEEE Conference on Decision and Control (CDC), Atlanta, GA, USA, 2010, pp. 5420–5425

    work page 2010

  18. [18]

    Ratio of all unit weight (auw) to thrust force of upper wing aeromodelling aircraft,

    M. Zuhdi, A. Doyan, S. Syahrial, J. Rokhmat, and K. Kosim, “Ratio of all unit weight (auw) to thrust force of upper wing aeromodelling aircraft,”AMPLITUDO: Journal of Science and Technology Innova- tion, vol. 2, no. 1, pp. 14–19, 2023

    work page 2023

  19. [19]

    coordinated turn

    B. Etkin and L. D. Reid,Dynamics of Flight: Stability and Control, Third. New York, NY , USA: Wiley, 1995. Supplementary Material Geometric Inverse Flight Dynamics onSO(3)and Application to Tethered Fixed-Wing Aircraft Antonio Franchi and Chiara Gabellieri APPENDIXI AUXILIARYTABLES For the reader’s convenience, Tables II and III provide a summary of the n...

    work page 1995

  20. [20]

    Skywalker x8 kit 2120 mm epo fpv wing: Specs

    S. /. ReadyMadeRC. “Skywalker x8 kit 2120 mm epo fpv wing: Specs. ”[Online]. Available:https : / / www . readymaderc . com/products/details/skywalker-model-x8-wing

    work page

  21. [21]

    Scaneagle product card

    I. (Boeing). “Scaneagle product card. ”[Online]. Available:https: //www.insitu.com/products/scaneagle

    work page

  22. [22]

    Aerosonde mk. 4.7 fixed-wing uas

    T. Systems. “Aerosonde mk. 4.7 fixed-wing uas. ”[Online]. Avail- able:https://www.unmannedsystemstechnology.com/ company / textron - systems / aerosonde - mk - 4 - 7 - fixed-wing-uas/

    work page

  23. [23]

    Skyeye 5000 fixed-wing uav platform (specifications)

    Airmobi. “Skyeye 5000 fixed-wing uav platform (specifications). ”[Online]. Available:https : / / www . airmobi . com / product/skyeye-5000-fixed-wing-uav-platform/

    work page

  24. [24]

    Low-to-moderate aspect ratio wings tested at low reynolds numbers

    G. K. Ananda, P. P. Sukumar, and M. S. Selig. “Low-to-moderate aspect ratio wings tested at low reynolds numbers. ”[Online]. Avail- able:https : / / m - selig . ae . illinois . edu / pubs / AnandaSukumarSelig-2012-AIAA-2012-3026.pdf

    work page 2012

  25. [25]

    J. D. Anderson,Fundamentals of Aerodynamics, 6th. McGraw-Hill, 2016

    work page 2016

  26. [26]

    Peraire and M

    J. Peraire and M. 1. staff,Lecture notes on lift-curve slope (finite wings) and low-speed airfoils,https : / / web . mit . edu / 16 . unified / www / FALL / fluids / Lectures / f19 . pdf, Accessed 19 Jan 2026, 2013

    work page 2026

  27. [27]

    The aircraft drag polar

    A. Wood. “The aircraft drag polar. ”[Online]. Available:https: //aerotoolbox.com/drag-polar/

    work page

  28. [28]

    Modern drag equation

    N. G. R. Center. “Modern drag equation. ”[Online]. Available: https : / / www1 . grc . nasa . gov / beginners - guide - to-aeronautics/modern-drag-equation/

    work page

  29. [29]

    Ebee x specifications

    A. (senseFly). “Ebee x specifications. ”[Online]. Available:https: / / eaglenxt . com / wp - content / uploads / 2022 / 06 / AgEagle-eBee-X-EN-2022-2.pdf

    work page 2022

  30. [30]

    Silent falcon specifications / company overview

    Avia.pro and S. F. U. Tech. “Silent falcon specifications / company overview. ”[Online]. Available:https : / / avia - pro . net / blog / silent - falcon - tehnicheskie - harakteristiki-foto

    work page

  31. [31]

    Mugin-5 pro 5000 mm carbon fiber uav platform

    M. UA V. “Mugin-5 pro 5000 mm carbon fiber uav platform. ”[On- line]. Available:https://www.muginuav.com/product/ mugin-5-pro-5000mm-carbon-fiber-uav-platform/

    work page

  32. [32]

    International standard atmosphere: Sea level conditions

    U. of Cambridge. “International standard atmosphere: Sea level conditions. ”[Online]. Available:https : / / www - mdp . eng . cam.ac.uk/web/library/enginfo/aerothermal_dvd_ only/aero/atmos/atmos.html

    work page

  33. [33]

    Lift curve slope in more detail

    T. D. OCW. “Lift curve slope in more detail. ”[Online]. Available: https://ocw.tudelft.nl/course-readings/4-1-3- optional-lift-curve-slope-in-more-detail/

    work page