Pith. sign in

REVIEW 1 major objections 7 minor 51 references

Revisiting Certainty Equivalence: The Structural Coupling Between Estimation and Control in Underactuated Nonlinear Systems

T0 review · 1 major / 7 minor · reviewed 2026-07-09 · glm-5.2

Pith's one-line read Estimation errors structurally corrupt nonlinear control, not just perturb it

desk verdict Good theoretical framing of estimation-control coupling in nonlinear systems, but the proposed EA mechanism is not formally connected to the Lyapunov bounds it claims to improve. read the letter →

arxiv 2607.07276 v1 pith:V6B6KZZ4 submitted 2026-07-08 eess.SY cs.SY

classification eess.SYcs.SY
keywords certaintyequivalencenonlinearcontrolstateestimationseparationprincipleLyapunovstabilityquadrotorestimation-awareunderactuatedsystems
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper argues that certainty equivalence—the widespread practice of designing a nonlinear controller as if the estimated state were the true state—fails for a structural reason, not merely because of noise. In nonlinear systems, the control input depends on the state through nonlinear functions, so when the controller acts on an estimate rather than the true state, the composition g(x)κ(x̂) cannot be split into a nominal term plus a small perturbation. Estimation error becomes woven into the closed-loop dynamics themselves, creating feedback loops that couple observer behavior directly into tracking performance. The paper formalizes this coupling through a Lyapunov analysis that derives an invariant error tube: tracking error is bounded below by estimation error (a perception floor) and above by a dissipation ceiling set by control gains. The ratio of dissipation rate to estimation coupling—called the separation index—governs whether the system contracts, oscillates, or diverges. To counteract this structural coupling, the paper proposes an estimation-aware control law that injects the estimation covariance matrix into the feedback structure, cross-projecting coupled states to dampen aggressive tracking of distorted estimates when uncertainty is high and seamlessly recovering nominal control when uncertainty is low.

What carries the argument

The argument proceeds through three linked constructions. First, the error decomposition (Eq. 33) splits perceived tracking dynamics into nominal CE dynamics, an innovation coupling term Ω(x̃, w, v), and a structural residual δ(x, x̂, u). Second, the Lyapunov inequality (Eq. 39) bounds the rate of change of the Lyapunov function as V̇ ≤ −λ‖ε̂‖² + μ‖x̃‖² + d, establishing the competition between dissipation and estimation-induced excitation. Third, the estimation-aware augmentation (Eq. 49) implements the coupling mitigation as Δ(η) = (I − Σ̄)ẋ̂, where Σ̄ is the whitened covariance matrix; when estimation is confident, Σ̄ → I and the term vanishes, but when uncertainty grows, off-diagonal cou

What would settle it

Demonstrate that the frozen-time transfer functions used to derive the 39%/55% improvements diverge significantly from the true time-varying closed-loop dynamics during high-speed transients—e.g., by comparing the frozen-time pole locations against instantaneous eigenvalues of the time-varying Jacobian along the actual 57.6 km/h trajectory.

Watch

Extended reading notes

Core claim

The central object is the separation index ρ = λ/μ, a dimensionless ratio between the controller's nominal dissipation rate λ and the estimation coupling coefficient μ. This ratio partitions closed-loop behavior into three regimes: contraction (ρ ≫ 1, controller dominates), equilibrium (ρ ≈ 1, standoff oscillation), and expansion (ρ ≪ 1, potential divergence). The index formalizes the claim that tracking stability in nonlinear estimate-based control is parametrically enslaved to estimation quality, not an independent property of either the controller or the observer alone.

Load-bearing premise

The frequency-domain analysis that produces the headline 39% bandwidth and 55% stability margin improvements relies on a frozen-time approximation: it assumes that the local linearization of the nonlinear dynamics changes slowly even during aggressive 57.6 km/h maneuvers. If the system's Jacobians actually vary rapidly during such transients, the transfer functions and pole locations from which those improvement figures are derived may not faithfully represent the true time-v

Editorial extensions

If this is right

  • Any nonlinear control architecture that relies on state estimates—whether feedback linearization, INDI, geometric control, or NMPC—carries an implicit estimation-coupling tax on its stability margins that is invisible under classical separation-principle analysis.
  • The separation index ρ provides a design metric: controllers can be tuned not just for tracking performance but explicitly to maintain ρ ≫ 1 given a known estimation quality floor, turning estimation accuracy into a first-class design constraint rather than an afterthought.
  • The invariant error tube (Eq. 42) sets a hard performance ceiling: no control gain can push tracking error below the estimation error floor, meaning that sensor and estimator improvements directly unlock control performance in a quantifiable way.
  • The estimation-aware augmentation is filtering-agnostic, meaning any estimator that produces a covariance matrix—Kalman filter, UKF, particle filter—can be paired with any smooth nonlinear controller to activate the coupling mitigation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the separation index ρ governs the contraction-to-divergence boundary, then there should exist a critical velocity or maneuver aggressiveness at which ρ crosses unity—a bifurcation point where tracking performance collapses discontinuously rather than degrading gracefully. This predicts a phase transition in tracking fidelity that could be tested experimentally by sweeping trajectory speed unti
  • The covariance-gating operator (I − Σ̄) acts as an algorithmic clutch that disengages aggressive tracking during high uncertainty. This suggests a dual relationship: just as the controller should back off when estimation degrades, the estimator could prioritize observability of states that most affect the control coupling, creating a co-design loop where control demands shape estimator attention.
  • The perception floor (Corollary 1) implies that multi-sensor fusion improvements translate directly into control performance gains, but only up to the point where the dissipation ceiling becomes the binding constraint. Below that crossover, further estimator improvement yields diminishing returns—a regime boundary that could guide sensor investment decisions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 7 minor

Summary. This paper revisits the certainty equivalence (CE) principle for underactuated nonlinear systems, arguing that estimation errors structurally couple into control dynamics through nonlinear state dependence. The authors develop a tracking-error formulation (§3) showing that innovation coupling and higher-order residuals prevent clean separation of estimation and control. A Lyapunov-based analysis (§4) establishes uniform ultimate boundedness of the perceived tracking error with a bound governed by a separation index ρ = λ/μ. Motivated by this, the paper proposes an estimation-aware (EA) control paradigm (§5) that incorporates estimation covariance into the feedback law, and validates it via high-fidelity quadrotor simulations at speeds up to 57.6 km/h, reporting 39% bandwidth extension and 55% stability margin improvement.

Significance. The paper addresses a genuine and practically important gap: the implicit reliance on CE in nonlinear output-feedback control. The error decomposition in §3 (Eqs. 33, 35) and the invariant error tube geometry (Cor. 2, Theorem 1) provide a useful conceptual framing for why estimation errors are not merely exogenous perturbations in nonlinear settings. The simulation protocol is thorough, spanning time-domain and frequency-domain evaluations across a wide velocity range, and the authors provide open-source code. The taxonomy of EA implementations (Table 1) mapping nominal laws to EA variants is a useful organizational contribution. However, the significance is tempered by a disconnect between the theoretical framework and the specific EA mechanism implemented, as detailed below.

major comments (1)
  1. §5.3, Eqs. (47)–(50): The central theoretical contribution (§4) establishes that tracking error is UUB with bound γ(t) = sqrt((μ||x̃||² + d)/λ), governed by the separation index ρ = λ/μ (Def. 2). The EA mechanism is introduced to 'isolate estimation-induced loops,' but the paper never proves that the specific covariance-gating operator in Eq. (49) actually improves ρ. Substituting Eq. (49) into Eq. (48) shows the EA law effectively replaces x̂̇_k with Σ̄_k x̂̇_k in the INDI increment, attenuating both the nominal tracking dynamics (potentially reducing λ) and the estimation coupling (potentially reducing μ). Without demonstrating that ρ = λ/μ net improves under the EA law, the reported performance gains (Tables 2–3) lack theoretical grounding — they could arise from generic signal regularization rather than the structural decoupling the theory predicts. This is the most important gap: it
minor comments (7)
  1. §5.5: The frozen-time assumption (Ḟ≈0, Ġ≈0) is stated to hold even during aggressive maneuvers, but no quantitative justification is provided. Given that the headline 39%/55% figures derive partly from this frequency-domain analysis, a brief remark on the time-scale separation validity at 57.6 km/h would strengthen the claim.
  2. §5.1 describes three EA categories (additive, parametric, geometric), but only the additive form is implemented and tested. The other two are described qualitatively without derivation or validation. Consider clarifying that these are proposed but untested, or removing them to avoid overstating the contribution.
  3. Eq. (49): The notation Σ̄_k (Eq. 50) uses the same symbol as the covariance Σ_k with a bar, which could be confused with the estimate notation x̂ used elsewhere. A distinct symbol would improve readability.
  4. Table 1: The 'EA Law' column for NMPC shows x ∈ X(η), but the constraint set notation is introduced without definition. Clarify how η contracts the constraint set.
  5. Fig. 6: The four-regime phase portrait is discussed qualitatively but the axes and trajectory details are not fully specified in the caption. Adding axis labels and a brief description of the plotted trajectories would aid interpretation.
  6. §6.6, point 1: The 'Update Rate Bound' discussion mentions 10 Hz indoor positioning but this parameter is not listed in Table 4. Including it would aid reproducibility.
  7. Several references (e.g., [47], [51]) are dated 2026, which appears to be a typographical or formatting issue in the bibliography.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the theoretical framework is self-contained, and the EA mechanism is a design choice validated by simulation rather than a result derived from its own inputs.

full rationale

The paper's derivation chain is largely self-contained. The error decomposition (Eq. 33), Lyapunov bounds (Eqs. 39-42), and the separation index ρ=λ/μ (Def. 2) follow from standard nonlinear control theory applied to the tracking-error coordinates, without circular reasoning. Proposition 3 (the 'separation fallacy') is a straightforward first-order Taylor expansion showing g(x)κ(x̂) ≠ g(x)κ(x) + perturbation terms — this is a mathematical identity, not a circular claim. The EA mechanism (Eq. 49) is introduced as a design choice motivated by the theory, not as a prediction derived from the bounds. Critically, the paper does not claim that Eq. 49 is formally derived from Props. 1-5; it states the EA law is 'motivated by' the analysis. The simulation results (§6) use the authors' own system identification [51] for physical parameters, but this is standard practice and does not constitute circularity — the parameters (mass, MoI, aerodynamic coefficients) are independent physical measurements, not fitted to produce the reported gains. The 39%/55% improvements are measured against a baseline controller under identical conditions, making them externally falsifiable. The gap between theory and implementation (the EA mechanism is not formally proven to improve ρ) is a correctness/completeness concern, not circularity: the paper does not define its outputs in terms of its inputs, nor does it fit a parameter to data and call the fit a prediction. The self-citations [24, 26, 47, 51] are to related work on navigation and system identification, none of which serve as load-bearing premises for the central theoretical claims. Score 1 reflects one minor self-citation for system parameters that is not load-bearing for the theoretical framework.

Assumptions & free parameters 3 free parameters · 4 assumptions · 2 invented entities

The free parameters are standard control/simulation inputs, not fitted to force a result. The frozen-time axiom is the most ad hoc, as it enables the frequency-domain analysis that produces the headline numbers. The invented entities (SI, error tube) are analytical constructs derived from the Lyapunov framework, not postulated physical objects.

free parameters (3)
  • K (feedback gain matrices) = Not specified numerically
    The PD gain matrices K_j in Eq. (10) and K in Eq. (31) are stated as design parameters chosen to be Hurwitz but their specific values are not given.
  • Noise statistics (σ_pos, σ_f, σ_gyro, etc.) = σ_pos≈1.5m, σ_f=0.002, σ_gyro=0.001
    Table 4 lists sensor noise parameters used in simulation. These drive the estimation error magnitudes that determine the EA mechanism activation.
  • Quadrotor physical parameters (m, J, l, etc.) = m=0.9689kg, Jxx=0.0159, l=0.15m
    Table 4 lists system identification parameters from prior work [51]. These are inputs to the simulation, not derived in this paper.
assumptions (4)
  • domain assumption The system dynamics are control-affine (Eq. 1): ẋ = f(x) + g(x)u + w
    §2.1 states this is rooted in Newton-Euler rigid-body dynamics. This is standard for quadrotors but excludes systems with non-affine input dependence.
  • domain assumption Internal dynamics are minimum phase (Remark 2)
    §2.2 requires verification that n-r internal dynamics are minimum phase to prevent state divergence. This is assumed to hold for the quadrotor application.
  • ad hoc to paper Frozen-time assumption: local Jacobians vary slowly relative to control horizon (Ḟ≈0, Ġ≈0)
    §5.5 assumes quasi-static operating points even during aggressive maneuvers to justify LTI analysis. This is load-bearing for the frequency-domain results.
  • domain assumption Estimation error x̃ remains bounded
    Prop. 5 requires bounded x̃ to establish UUB. The paper argues this holds via the CL/OL estimation duality (§2.4) but does not prove it for the specific observer used.
invented entities (2)
  • Separation Index (ρ = λ/μ)
    purpose: Dimensionless metric characterizing coupling degree between controller and estimator
    Introduced in Definition 2 as ratio of dissipation rate to estimation coupling. It is a derived quantity from the Lyapunov analysis, not a physically measured entity. Its predictive value is validated only in simulation.
  • Invariant Error Tube (T_ε)
    purpose: Geometric confinement region for tracking error bounded by perception floor and dissipative ceiling
    Defined in Cor. 2 as the forward-invariant set {x̂ε : ||x̃|| ≤ ||x̂ε|| ≤ γ(t)}. This is a theoretical construct from the Lyapunov analysis, not a separately observable physical entity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Revisiting Certainty Equivalence: The Structural Coupling Between Estimation and Control in Underactuated Nonlinear Systems." pith.science (2026). https://pith.science/paper/V6B6KZZ4

@misc{pith2026260707276,
  author       = {Pith},
  title        = {Pith review of: Revisiting Certainty Equivalence: The Structural Coupling Between Estimation and Control in Underactuated Nonlinear Systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V6B6KZZ4}},
  note         = {Machine review of arXiv:2607.07276}
}
read the original abstract

The certainty equivalence (CE) principle underpins a wide range of control architectures by enabling the separation of estimation and control design. While this property holds for linear systems, its validity in nonlinear settings remains limited and often implicitly assumed. This paper revisits CE from a nonlinear perspective, showing that estimated states induce an intrinsic coupling between estimation and tracking dynamics. By analyzing the closed-loop system in tracking-error coordinates, we demonstrate that nonlinear state dependence gives rise to higher-order interaction terms during aggressive transients. Motivated by this limitation, we propose an estimation-aware (EA) control paradigm that incorporates estimation quality into the feedback law to isolate estimation-induced loops. The formulation remains filtering-agnostic while preserving general applicability to smooth, underactuated nonlinear systems. We derive analytical conditions guaranteeing bounded tracking under uncertainty, validating the framework under high-fidelity quadrotor flight simulation along complex 3D trajectories at speeds up to 57.6 km/h. Frequency-domain evaluations demonstrate that the EA law extends tracking bandwidth by 39% and improves stability margins by up to 55%, effectively mitigating severe cross-couplings to offer a robust alternative to classical CE-based designs.

Figures

Figures reproduced from arXiv: 2607.07276 by the authors.

Figure 1
Figure 1. Architectural mapping between the state-space b [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. In the nonlinear vector field f(ζ), the platform tracks a reference trajectory (blue) to drive ϵ → 0. Since the true states are latent (yellow), they are approximated by linearizing the dynamics about the nominal estimate xˆ (green). This first￾order approximation yields a second-order model error O(∥x˜∥ 2 ) (orange) relative to the true nonlinear dynamics (⊗) [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Nonlinear tracking architecture under the CE principle: Nominally exact components (black) are shown alongside the [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figures from the paper (13 more)
Figure 4
Figure 4. Figure 4: Geometric representation of the stability region [PITH_FULL_IMAGE:figures/full_fig_p007_4.png]
Figure 5
Figure 5. Figure 5: Transient tracking geometry: The perceived tracking [PITH_FULL_IMAGE:figures/full_fig_p009_5.png]
Figure 6
Figure 6. Figure 6: Four-regime phase-portrait analysis: i) stable conver [PITH_FULL_IMAGE:figures/full_fig_p010_6.png]
Figure 9
Figure 9. Figure 9: evaluates the error norms for both state estima￾tion (left, x˜) and tracking (right, ϵˆ) profiles. Owing to the high update rate, estimation errors remain tightly bounded throughout the cycle; however, tracking er￾rors progressively accumulate, particularly during the …
Figure 10
Figure 10. Figure 10: Inertial measurements: specific forces (top) and angu [PITH_FULL_IMAGE:figures/full_fig_p011_10.png]
Figure 11
Figure 11. Figure 11: Reference trajectory (ξ I ref, black) tracking: baseline (ξ I , brown) vs. proposed EA (ξ I EA, green) controllers. While a baseline velocity of vξ = 3.27 m/s (top-left) is manageable for both controllers, higher rates system￾atically degrade tracking fidelity. This b…
Figure 13
Figure 13. Figure 13: Control comparison (vξ = 3.27m/s): The control in￾puts {uz, uϕ, uθ, uψ} mapped across the four figure quadrants [PITH_FULL_IMAGE:figures/full_fig_p011_13.png]
Figure 14
Figure 14. Figure 14: Error comparison (vξ = 10.64m/s): state estimation error (left, ∥x˜∥) and trajectory tracking error (right, ∥ϵˆ∥) [PITH_FULL_IMAGE:figures/full_fig_p012_14.png]
Figure 15
Figure 15. Figure 15: Control comparison (vξ = 10.64m/s): The control inputs {uz, uϕ, uθ, uψ} mapped across the four figure quadrants [PITH_FULL_IMAGE:figures/full_fig_p012_15.png]
Figure 17
Figure 17. Figure 17: Time evolution of det Σ  showcasing uncertainty ex￾pansions under pulsed 2 s step input (v I ref,y ∈ {2, 5, 8} m/s, red). 6.5. Frequency-Domain Analysis To complement the previous evaluation, this section ex￾tends the comparison between u and uEA into the fre￾quency …
Figure 18
Figure 18. Figure 18: Parametric root locus: CL pole migration of the base [PITH_FULL_IMAGE:figures/full_fig_p013_18.png]
Figure 20
Figure 20. Figure 20: Transient behavior under intermittent updates: (Top) [PITH_FULL_IMAGE:figures/full_fig_p014_20.png]
Figure 21
Figure 21. Figure 21: Load factor as a function of centripetal acceleration. [PITH_FULL_IMAGE:figures/full_fig_p015_21.png]

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

51 extracted references · 51 canonical work pages

  1. [1]

    Hespanha, A

    J. Hespanha, A. Morse, Certainty equiva- lence implies detectability, Systems & Control Letters 36 (1) (1999) 1–13.doi:10.1016/ S0167-6911(98)00057-7

  2. [2]

    J.-J. E. Slotine, W. Li, et al., Applied nonlinear control, Vol. 199, Prentice Hall Englewood Cliffs, NJ, 1991

  3. [3]

    Isidori, Nonlinear control systems: an introduc- tion, Springer, 1985.doi:10.1007/BFb0006368

    A. Isidori, Nonlinear control systems: an introduc- tion, Springer, 1985.doi:10.1007/BFb0006368

  4. [4]

    Molin, S

    A. Molin, S. Hirche, On the optimality of cer- tainty equivalence for event-triggered control sys- tems, IEEE Transactions on Automatic Control 58 (2) (2013) 470–474.doi:10.1109/TAC.2012. 2206719

  5. [5]

    Grüne, J

    L. Grüne, J. Pannek, Nonlinear Model Predictive Control: Theory and Algorithms, Springer, 2016. doi:10.1007/978-0-85729-501-9

  6. [6]

    H. Mo, G. Farid, Nonlinear and adaptive intelli- gent control techniques for quadrotor UAV – a sur- vey, Asian Journal of Control 21 (2) (2019) 989– 1008.doi:10.1002/asjc.1758

  7. [7]

    J. Kim, S. A. Gadsden, S. A. Wilkerson, A compre- hensive survey of control strategies for autonomous quadrotors, Canadian Journal of Electrical and Computer Engineering 43 (1) (2019) 3–16.doi: 10.1109/CJECE.2019.2920938

  8. [8]

    W. Gu, S. Primatesta, A. Rizzo, Robust adap- tive control for aggressive quadrotor maneuvers via SO(3) and backstepping techniques, Robotics and Autonomous Systems 188 (2025) 104942

Show all 51 references
  1. [9]

    E. J. Smeur, G. C. de Croon, Q. Chu, Cascaded in- crementalnonlineardynamicinversionformavdis- turbance rejection, Control Engineering Practice 73 (2018) 79–90.doi:10.1016/j.conengprac. 2018.01.003

  2. [10]

    J. Na, B. Jing, Y. Huang, G. Gao, C. Zhang, Un- known system dynamics estimator for motion con- trol of nonlinear robotic systems, IEEE Transac- tions on Industrial Electronics 67 (5) (2020) 3850– 3859.doi:10.1109/TIE.2019.2920604

  3. [11]

    Xu, H.-J

    L.-X. Xu, H.-J. Ma, D. Guo, A.-H. Xie, D.-L. Song, Backstepping sliding-mode and cascade ac- tive disturbance rejection control for a quadrotor UAV, IEEE/ASME Transactions on Mechatron- ics 25 (6) (2020) 2743–2753.doi:10.1109/TMECH. 2020.2990582

  4. [12]

    Cohen, I

    N. Cohen, I. Klein, Inertial navigation meets deep learning: A survey of current trends and future di- rections, Results in Engineering 24 (2024) 103565. doi:10.1016/j.rineng.2024.103565

  5. [13]

    Steinert, R

    A. Steinert, R. Stefan, S. Hafner, F. Holzapfel, H. Haichao, From fundamentals to applications of incrementalnonlineardynamicinversion: Asurvey on INDI – Part I, Chinese Journal of Aeronautics 38(11)(2025)103553.doi:10.1016/j.cja.2025. 103553

  6. [14]

    S. Sun, A. Romero, P. Foehn, E. Kaufmann, D. Scaramuzza, A comparative study of nonlin- ear MPC and differential-flatness-based control for quadrotor agile flight, IEEE Transactions on Robotics 38 (6) (2022) 3357–3373.doi:10.1109/ TRO.2022.3177279

  7. [15]

    Wang, E.-J

    X. Wang, E.-J. Van Kampen, Q. Chu, P. Lu, Sta- bility analysis for incremental nonlinear dynamic inversion control, Journal of Guidance, Control, and Dynamics 42 (5) (2019) 1116–1129.doi: 10.2514/1.G003791

  8. [16]

    R. S. Park, D. J. Scheeres, Nonlinear semi-analytic methods for trajectory estimation, Journal of Guidance, Control, and Dynamics 30 (6) (2007) 1668–1676.doi:10.2514/1.29106

  9. [17]

    Hagenmeyer, E

    V. Hagenmeyer, E. Delaleau, Robustness anal- ysis with respect to exogenous perturbations for flatness-based exact feedforward lineariza- tion, IEEE Transactions on Automatic Control 55 (3) (2010) 727–731.doi:10.1109/TAC.2010. 2040425

  10. [18]

    Yadav, A

    M. Yadav, A. K. Giri, S. Ozana, Control Strategies for Non-Minimum Phase Systems, Springer, 2025. doi:10.1007/978-981-96-2351-8

  11. [19]

    Engelsman, I

    D. Engelsman, I. Klein, Inertial-based LQG con- trol: A new look at inverted pendulum stabiliza- tion, International Journal of Mechanical System Dynamics (2026).doi:10.1002/msd2.70074

  12. [20]

    S. M. Kay, Fundamentals of statistical signal processing: Estimation theory, Prentice Hall 1 (1993) Chapter–3.doi:10.1080/00401706.1995. 10484391

  13. [21]

    Bacon, A

    B. Bacon, A. Ostroff, Reconfigurable flight con- trol using nonlinear dynamic inversion with a spe- cial accelerometer implementation, in: AIAA guid- ance, navigation, and control conference and ex- hibit, 2000, p. 4565.doi:10.2514/6.2000-4565

  14. [22]

    Bar-Shalom, X

    Y. Bar-Shalom, X. R. Li, T. Kirubarajan, Esti- mation with applications to tracking and naviga- tion: theory algorithms and software, John Wiley & Sons, 2001.doi:10.1002/0471221279

  15. [23]

    Zhou, K.Glover, J.C

    K. Zhou, K.Glover, J.C. Doyle, K. Glover, Robust and optimal control, Prentice Hall, Upper Sad- dle River, N.J., 1996.doi:10.1109/CDC.1996. 572756

  16. [24]

    Engelsman, I

    D. Engelsman, I. Klein, Information-aided inertial navigation: A review, IEEE Transactions on In- strumentation and Measurement 72 (2023) 1–18. doi:10.1109/TIM.2023.3303496

  17. [25]

    J. S. Bendat, A. G. Piersol, Random data: analysis and measurement procedures, John Wiley & Sons, 2011.doi:10.1002/9781118032428

  18. [26]

    Engelsman, I

    D. Engelsman, I. Klein, Towards learning-based gyrocompassing, Engineering Applications of Ar- tificial Intelligence 163 (2026) 112842.doi:10. 1016/j.engappai.2025.112842

  19. [27]

    T. Hu, A. R. Teel, L. Zaccarian, Stability and per- formance for saturated systems via quadratic and nonquadratic Lyapunov functions, IEEE Transac- tions on Automatic Control 51 (11) (2006) 1770– 1786.doi:10.1109/TAC.2006.884942

  20. [28]

    Cheng, L

    D. Cheng, L. Guo, J. Huang, On quadratic Lya- punov functions, IEEE Transactions on Automatic Control 48 (5) (2003) 885–890.doi:10.1109/TAC. 2003.811274

  21. [29]

    Barmish, I

    B. Barmish, I. R. Petersen, A. Feuer, Linear ul- timate boundedness control of uncertain dynam- ical systems, Automatica 19 (5) (1983) 523–532. doi:10.1016/0005-1098(83)90007-9

  22. [30]

    Zhang, H

    C. Zhang, H. Hu, D. Gu, J. Wang, Cascaded con- trol for balancing an inverted pendulum on a fly- ing quadrotor, Robotica 35 (6) (2017) 1263–1279. doi:10.1017/S0263574716000035

  23. [31]

    E. J. Smeur, Q. Chu, G. C. De Croon, Adaptive incremental nonlinear dynamic inversion for atti- tude control of micro air vehicles, Journal of Guid- ance, Control, and Dynamics 39 (3) (2016) 450– 461.doi:10.2514/1.G001490

  24. [32]

    Di Francesco, M

    G. Di Francesco, M. Mattei, Modeling and in- cremental nonlinear dynamic inversion control of a novel unmanned tiltrotor, Journal of Aircraft 53 (1) (2016) 73–86.doi:10.2514/1.C033183

  25. [33]

    T. Lee, M. Leok, N. H. McClamroch, Geometric tracking control of a quadrotor UAV on SE(3), in: 49th IEEE Conference on Decision and Con- trol (CDC), 2010, pp. 5420–5425.doi:10.1109/ CDC.2010.5717652

  26. [34]

    Sreenath, T

    K. Sreenath, T. Lee, V. Kumar, Geometric con- trol and differential flatness of a quadrotor UAV with a cable-suspended load, in: 52nd IEEE con- ference on decision and control, IEEE, 2013, pp. 2269–2274.doi:10.1109/CDC.2013.6760219

  27. [35]

    F. A. Goodarzi, D. Lee, T. Lee, Geometric control of a quadrotor UAV transporting a payload con- nected via flexible cable, International Journal of Control, Automation and Systems 13 (6) (2015) 1486–1498.doi:10.1007/s12555-014-0304-0

  28. [36]

    Faessler, A

    M. Faessler, A. Franchi, D. Scaramuzza, Differen- tial flatness of quadrotor dynamics subject to ro- tor drag for accurate tracking of high-speed tra- jectories, IEEE Robotics and Automation Letters 3 (2) (2017) 620–626.doi:10.1109/LRA.2017. 2776353

  29. [37]

    Morrell, M

    B. Morrell, M. Rigter, G. Merewether, R. Reid, R. Thakker, T. Tzanetos, V. Rajur, G. Chamitoff, Differential flatness transformations for aggressive quadrotor flight, in: 2018 IEEE international con- ferenceonroboticsandautomation(ICRA),IEEE, 2018, pp. 5204–5210.doi:10.1109/IC...

  30. [38]

    E. Tal, S. Karaman, Accurate tracking of aggres- sive quadrotor trajectories using incremental non- linear dynamic inversion and differential flatness, IEEE Transactions on Control Systems Technol- ogy 29 (3) (2020) 1203–1218.doi:10.1109/TCST. 2020.3001117

  31. [39]

    Voos, Nonlinear control of a quadrotor micro- UAV using feedback-linearization, in: 2009 IEEE International Conference on Mechatronics, IEEE, 2009, pp

    H. Voos, Nonlinear control of a quadrotor micro- UAV using feedback-linearization, in: 2009 IEEE International Conference on Mechatronics, IEEE, 2009, pp. 1–6.doi:10.1109/ICMECH.2009. 4957154

  32. [40]

    A. Das, K. Subbarao, F. Lewis, Dynamic inver- sion with zero-dynamics stabilisation for quadro- tor control, IET control theory & applications 3 (3) (2009) 303–314.doi:10.1049/iet-cta: 20080002

  33. [41]

    Freddi, A

    A. Freddi, A. Lanzon, S. Longhi, A feedback lin- earization approach to fault tolerance in quadrotor vehicles, IFAC proceedings volumes 44 (1) (2011) 5413–5418.doi:10.3182/20110828-6-IT-1002. 02016

  34. [42]

    Michieletto, A

    G. Michieletto, A. Cenedese, L. Zaccarian, A. Franchi, Hierarchical nonlinear control for multi-rotor asymptotic stabilization based on zero- moment direction, Automatica 117 (2020) 108991. doi:10.1016/j.automatica.2020.108991

  35. [43]

    Y. Kang, J. K. Hedrick, Linear tracking for a fixed- wing UAV using nonlinear model predictive con- trol, IEEE Transactions on Control Systems Tech- nology 17 (5) (2009) 1202–1210.doi:10.1109/ TCST.2008.2004878

  36. [44]

    Eskandarpour, I

    A. Eskandarpour, I. Sharf, A constrained error- based MPC for path following of quadro- tor with stability analysis, Nonlinear Dynam- ics 99 (2) (2020) 899–918.doi:10.1007/ s11071-019-04859-0

  37. [45]

    D. Wang, Q. Pan, Y. Shi, J. Hu, C. Zhao, Efficient nonlinear model predictive control for quadrotor trajectory tracking: Algorithms and experiment, IEEE Transactions on Cybernetics 51 (10) (2021) 5057–5068.doi:10.1109/TCYB.2020.3043361

  38. [46]

    Kendoul, Survey of advances in guidance, nav- igation, and control of unmanned rotorcraft sys- tems, Journal of Field Robotics 29 (2) (2012) 315– 378.doi:10.1002/rob.20414

    F. Kendoul, Survey of advances in guidance, nav- igation, and control of unmanned rotorcraft sys- tems, Journal of Field Robotics 29 (2) (2012) 315– 378.doi:10.1002/rob.20414

  39. [47]

    Engelsman, I

    D. Engelsman, I. Klein, Guidance, navigation, and control: A survey, taxonomy, and challenges (2020-2025), Proceedings of the 2026 CEAS Eu- roGNC conference (May 2026).doi:10.82124/ CEAS-GNC-2026-008

  40. [48]

    Carino, H

    J. Carino, H. Abaunza, P. Castillo, Quadrotor quaternion control, in: 2015 International Con- ference on Unmanned Aircraft Systems (ICUAS), IEEE, 2015, pp. 825–831.doi:10.1109/ICUAS. 2015.7152367

  41. [49]

    H. C. Lee, J. W. Choi, Linear time-varying eigen- structure assignment with flight control applica- tion, IEEE Transactions on Aerospace and Elec- tronic Systems 40 (1) (2004) 145–157.doi:10. 1109/TAES.2004.1292149

  42. [50]

    Pfeiffer, D

    C. Pfeiffer, D. Scaramuzza, Human-piloted drone racing: Visual processing and control, IEEE Robotics and Automation Letters 6 (2) (2021) 3467–3474.doi:10.1109/LRA.2021.3064282

  43. [51]

    Engelsman, I

    D. Engelsman, I. Klein, C-ZUPT: Stationarity- aided aerial hovering, IEEE Transactions on Aerospace and Electronic Systems 62 (2026) 4063– 4077.doi:10.1109/TAES.2025.3650499

Pith tools

Reviewed July 9, 2026 · model on record in the stance chip above.