arxiv: 2602.17562 · v2 · submitted 2026-02-19 · 🧮 math.DS · math.OC

Recognition: 2 theorem links

· Lean Theorem

On the Linearization of Flat Multi-Input Systems via Prolongations

Georg Hartl , Conrad Gst\"ottner , Markus Sch\"oberl

Authors on Pith no claims yet

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

classification 🧮 math.DS math.OC

keywords differential flatnessstatic feedback linearizationinput prolongationnonlinear controlmulti-input systemsthree-input systemsdynamic extension

0 comments

The pith

Sufficient conditions turn three-input flat control systems into static feedback linearizable ones after input prolongations.

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

The paper seeks to find when flat nonlinear systems with three inputs can be made static feedback linearizable by prolonging some inputs after a static transformation. It provides sufficient conditions based on the structure of the derivatives of a flat output. This matters because linearizable systems allow easier controller design using linear techniques. For two inputs, exact criteria were known; this extends the analysis. If true, more multi-input systems become accessible to linear control methods without full dynamic extensions.

Core claim

For (x,u)-flat three-input systems, if the time derivatives of a flat output exhibit a structure that permits identification of relative degrees and highest derivative orders, then a minimal number of prolongations of suitably chosen inputs after a static input transformation renders the system static feedback linearizable.

What carries the argument

The structure of the time derivatives of a flat output, which identifies relative degrees and highest orders to determine the needed prolongations.

If this is right

Systems meeting the conditions require only a small number of input prolongations for linearization.
Static feedback linearizability is guaranteed under the derived sufficient conditions for three-input cases.
Prior two-input links between relative degrees and flat parameterization extend to three inputs.
Minimal dimension of linearizing dynamic extension can be determined from the derivative orders.

Where Pith is reading between the lines

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

These conditions might help classify flat systems that are linearizable with bounded dynamic extensions.
Similar analysis could apply to systems with four or more inputs by identifying analogous structures.
Practitioners in control engineering could use these to check linearizability before designing controllers for complex plants.

Load-bearing premise

The time derivatives of the flat output possess a specific identifiable structure that reveals relative degrees without needing further checks for arbitrary systems.

What would settle it

Finding a three-input flat system where the derivative structure does not satisfy the sufficient conditions yet the system becomes linearizable after the described prolongations, or conversely a system that satisfies the conditions but does not linearize.

read the original abstract

We examine when differentially flat nonlinear control systems with more than two inputs can be rendered static feedback linearizable by a minimal number of prolongations of suitably chosen inputs after applying a static input transformation. We derive sufficient conditions that guarantee such prolongations yield a static feedback linearizable system. For $(x,u)$-flat two-input systems, prior work established precise links between the relative degrees, the highest derivative orders occurring in the flat parameterization, and the minimal dimension of a linearizing dynamic extension, leading to necessary and sufficient criteria for flatness of systems that become static feedback linearizable after at most two prolongations of such suitably chosen inputs. Building on the structure of the time derivatives of a flat output, this work extends this analysis to systems with three inputs.

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.

Desk Editor's Note private letter to a colleague

The paper gives sufficient conditions for linearizing three-input flat systems via minimal prolongations after input transformation, extending the two-input case in a direct way.

read the letter

Colleague, the main thing to know is that this work supplies sufficient conditions under which three-input (x,u)-flat nonlinear systems can be made static feedback linearizable by a static input transformation plus a minimal number of input prolongations. It takes the structure of the time derivatives of a flat output and uses that to set relative degrees and highest orders so the prolongations produce the needed linearizing feedback. This is a straightforward extension of the earlier two-input results that linked relative degrees to the minimal dimension of the dynamic extension. The authors avoid circular definitions and stay within the established differential flatness framework without adding free parameters. The construction appears consistent on its own terms, and the stress-test note did not turn up unsupported steps or internal contradictions. What the paper does well is organize the three-input case around the derivative structure in a way that could help with multi-actuator control problems. The logic builds cleanly on prior independent work rather than re-deriving everything from scratch. On the softer side, the conditions are only sufficient, not necessary and sufficient, so they may not cover every three-input flat system. Without more explicit examples or a clear checklist for verifying the derivative structure on an arbitrary system, it is not yet obvious how restrictive or practical the criteria turn out to be in applications. That is a minor gap rather than a flaw in the central argument. This paper is for researchers already working on flatness, prolongations, and feedback linearization in nonlinear control. A reader following the two-input literature would get direct value from seeing how the same ideas scale to three inputs. I would send it to peer review; the contribution is focused and the math looks grounded enough to benefit from referee scrutiny even if examples and verification guidance need strengthening.

Referee Report

2 major / 1 minor

Summary. The paper examines differentially flat nonlinear control systems with three inputs and derives sufficient conditions under which a static input transformation followed by a minimal number of prolongations of suitably chosen inputs renders the system static feedback linearizable. It extends prior results for (x,u)-flat two-input systems by analyzing the structure of the time derivatives of a flat output to identify relative degrees and highest derivative orders, leading to criteria for linearizability after at most a small number of prolongations.

Significance. If the sufficient conditions are correctly derived and verifiable without post-hoc adjustments, the work provides a systematic extension of linearization techniques to three-input flat systems, which could facilitate control design for a broader class of nonlinear systems. The approach builds directly on established links between flat outputs, relative degrees, and dynamic extensions from the two-input case, offering potential for constructive methods in multi-input settings.

major comments (2)

[Extension to three inputs / sufficient conditions] The derivation of sufficient conditions (as summarized in the abstract and the extension section): the claim that the structure of time derivatives of the flat output allows identification of relative degrees and highest orders for three-input systems lacks an explicit verification procedure or algorithm for arbitrary systems, which is load-bearing for applying the conditions beyond the two-input case.
[Main result on prolongations] The part on minimal prolongations after static input transformation: while the two-input case had necessary and sufficient criteria, the three-input extension only states sufficient conditions without showing that the proposed prolongations always produce the required relative degrees or without an error analysis for cases where the flat output derivatives deviate from the assumed structure.

minor comments (1)

[Abstract] The abstract would benefit from a concise statement of the explicit form of the sufficient conditions rather than only describing their existence.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and positive evaluation of the paper's significance. We address each major comment below and indicate the revisions we will make to strengthen the manuscript.

read point-by-point responses

Referee: The derivation of sufficient conditions (as summarized in the abstract and the extension section): the claim that the structure of time derivatives of the flat output allows identification of relative degrees and highest orders for three-input systems lacks an explicit verification procedure or algorithm for arbitrary systems, which is load-bearing for applying the conditions beyond the two-input case.

Authors: We acknowledge the need for an explicit verification procedure. The sufficient conditions rely on identifying specific patterns in the time derivatives of the flat output, which determine the relative degrees and the orders of the highest derivatives. In the revised version, we will add a dedicated subsection outlining a systematic procedure: (1) compute the successive Lie derivatives along the vector fields up to the order where the flat output appears, (2) check the rank of the decoupling matrix and the independence conditions on the highest-order terms, and (3) verify the matching with the assumed structure for three inputs. This builds directly on the two-input verification and makes the conditions applicable to arbitrary systems satisfying the hypotheses. revision: yes
Referee: The part on minimal prolongations after static input transformation: while the two-input case had necessary and sufficient criteria, the three-input extension only states sufficient conditions without showing that the proposed prolongations always produce the required relative degrees or without an error analysis for cases where the flat output derivatives deviate from the assumed structure.

Authors: The main result provides sufficient conditions under which the proposed static input transformation and minimal prolongations render the system static feedback linearizable. The proof demonstrates that when the derivative structure matches the assumed pattern (as identified via the conditions), the prolongations exactly achieve the required relative degrees, leading to linearizability. We do not claim that the prolongations always work for any three-input flat system, only for those satisfying the sufficient conditions; hence no general error analysis for deviations is included, as such cases fall outside the theorem's scope. We will revise the text to explicitly state this limitation and contrast it with the necessary and sufficient results for two inputs. revision: partial

Circularity Check

1 steps flagged

Minor self-citation of prior two-input analysis; new three-input conditions derived independently

specific steps

self citation load bearing [Abstract]
"For (x,u)-flat two-input systems, prior work established precise links between the relative degrees, the highest derivative orders occurring in the flat parameterization, and the minimal dimension of a linearizing dynamic extension, leading to necessary and sufficient criteria for flatness of systems that become static feedback linearizable after at most two prolongations of such suitably chosen inputs. Building on the structure of the time derivatives of a flat output, this work extends this analysis to systems with three inputs."

The extension invokes prior results (likely by the same authors) as the foundation for identifying the required structure in flat output derivatives, but the new sufficient conditions for three-input systems are presented as derived from that structure rather than reducing directly to the cited criteria by construction.

full rationale

The paper extends established results on two-input (x,u)-flat systems to the three-input case by deriving new sufficient conditions based on the structure of time derivatives of a flat output and relative degrees after input transformation and prolongations. The reference to 'prior work' constitutes a self-citation but is not load-bearing for the central claim, as the extension provides independent mathematical content without reducing to a fit, self-definition, or unverified uniqueness theorem. No equations or steps in the derivation chain collapse by construction to the inputs or prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract provides insufficient detail to enumerate specific free parameters or invented entities; relies on standard domain assumptions from differential flatness theory.

axioms (1)

domain assumption Existence of flat outputs whose time derivatives encode relative degrees and highest orders for the linearization analysis
Invoked when building on the structure of time derivatives of a flat output for the three-input case

pith-pipeline@v0.9.0 · 5428 in / 1111 out tokens · 26319 ms · 2026-05-15T20:33:34.800495+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

A Structurally Flat Triangular Form for Three-Input Systems
math.DS 2026-04 unverdicted novelty 7.0

A structurally flat triangular form is introduced for x-flat three-input systems, with necessary and sufficient conditions for static feedback equivalence and sufficient conditions after input prolongations.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · cited by 1 Pith paper

[1]

Flatness and defect of non-linear systems: introductory theory and examples,

M. Fliess, J. L ´evine, P. Martin, and P. Rouchon, “Flatness and defect of non-linear systems: introductory theory and examples,”International Journal of Control, vol. 61, no. 6, pp. 1327–1361, 1995

work page 1995
[2]

A Lie-B ¨acklund approach to equivalence and flatness of nonlinear systems,

——, “A Lie-B ¨acklund approach to equivalence and flatness of nonlinear systems,”IEEE Trans. Autom. Control, vol. 44, no. 5, pp. 922–937, May 1999

work page 1999
[3]

A structurally flat triangular form based on the extended chained form,

C. Gst ¨ottner, B. Kolar, and M. Sch ¨oberl, “A structurally flat triangular form based on the extended chained form,”International Journal of Control, vol. 95, no. 5, pp. 1144–1163, 2022

work page 2022
[4]

Necessary and sufficient conditions for the linearisability of two-input systems by a two-dimensional endogenous dynamic feed- back,

——, “Necessary and sufficient conditions for the linearisability of two-input systems by a two-dimensional endogenous dynamic feed- back,”International Journal of Control, vol. 96, no. 3, pp. 800–821, 2023

work page 2023
[5]

Flatness of multi-input control-affine systems linearizable via one-fold prolongation,

F. Nicolau and W. Respondek, “Flatness of multi-input control-affine systems linearizable via one-fold prolongation,”SIAM Journal on Control and Optimization, vol. 55, no. 5, pp. 3171–3203, Jan. 2017

work page 2017
[6]

Normal forms for multi-input flat systems of minimal differen- tial weight,

——, “Normal forms for multi-input flat systems of minimal differen- tial weight,”International Journal of Robust and Nonlinear Control, vol. 29, no. 10, pp. 3139–3162, Jul. 2019

work page 2019
[7]

On an implicit triangular decom- position of nonlinear control systems that are 1-flat—A constructive approach,

M. Sch ¨oberl and K. Schlacher, “On an implicit triangular decom- position of nonlinear control systems that are 1-flat—A constructive approach,”Automatica, vol. 50, no. 6, pp. 1649–1655, Jun. 2014

work page 2014
[8]

On linearization of control sys- tems,

B. Jakubczyk and W. Respondek, “On linearization of control sys- tems,” vol. 28, no. 9-10, pp. 517–522, 1980

work page 1980
[9]

Sufficient conditions for dynamic state feedback linearization,

B. Charlet, J. L ´evine, and R. Marino, “Sufficient conditions for dynamic state feedback linearization,”SIAM Journal on Control and Optimization, vol. 29, no. 1, pp. 38–57, Jan. 1991

work page 1991
[10]

A bound on the number of integrators needed to linearize a control system,

W. Sluis and D. Tilbury, “A bound on the number of integrators needed to linearize a control system,”Systems & Control Letters, vol. 29, no. 1, pp. 43–50, Sep. 1996

work page 1996
[11]

A constructive condition for dynamic feedback linearization,

S. Battilotti and C. Califano, “A constructive condition for dynamic feedback linearization,”Systems & Control Letters, vol. 52, no. 5, pp. 329–338, Aug. 2004

work page 2004
[12]

Linearization by prolongations: New bounds on the number of integrators,

J. Franch and E. Fossas, “Linearization by prolongations: New bounds on the number of integrators,”European Journal of Control, vol. 11, no. 2, pp. 171–179, Jan. 2005

work page 2005
[13]

Differential flatness by pure prolongation: necessary and sufficient conditions,

J. L ´evine, “Differential flatness by pure prolongation: necessary and sufficient conditions,”Communications in Optimization Theory, vol. 2025, no. 11, pp. 1–40, 2025

work page 2025
[14]

On the linearization of flat two-input systems by prolongations and applications to control design,

C. Gst ¨ottner, B. Kolar, and M. Sch ¨oberl, “On the linearization of flat two-input systems by prolongations and applications to control design,”IFAC-PapersOnLine, vol. 53, no. 2, pp. 5479–5486, 2020

work page 2020
[15]

Flatness of two-input control-affine systems linearizable via a two-fold prolongation,

F. Nicolau and W. Respondek, “Flatness of two-input control-affine systems linearizable via a two-fold prolongation,” in2016 IEEE 55th Conference on Decision and Control (CDC), Las Vegas, NV , Dec. 2016, pp. 3862–3867

work page 2016
[16]

Properties of flat systems with regard to the parameterization of the system variables by the flat output,

B. Kolar, M. Sch ¨oberl, and K. Schlacher, “Properties of flat systems with regard to the parameterization of the system variables by the flat output,”IFAC-PapersOnLine, vol. 49, no. 18, pp. 814–819, 2016

work page 2016
[17]

Tracking control for (x, u)- flat systems by quasi-static feedback of classical states,

C. Gst ¨ottner, B. Kolar, and M. Sch ¨oberl, “Tracking control for (x, u)- flat systems by quasi-static feedback of classical states,”Symmetry, Integrability and Geometry: Methods and Applications (SIGMA), vol. 20, no. 71, Jul. 2024

work page 2024
[18]

On triangular forms for x- flat control-affine systems with two inputs,

G. Hartl, C. Gst ¨ottner, and M. Sch ¨oberl, “On triangular forms for x- flat control-affine systems with two inputs,” in2025 29th International Conference on System Theory, Control and Computing (ICSTCC), Cluj-Napoca, Oct. 2025, pp. 161–168

work page 2025
[19]

Gst ¨ottner,Analysis and Control of Flat Systems by Geometric Methods, ser

C. Gst ¨ottner,Analysis and Control of Flat Systems by Geometric Methods, ser. Modellierung und Regelung komplexer dynamischer Systeme. D ¨uren: Shaker Verlag, 2023, vol. 59

work page 2023
[20]

Kolar,Contributions to the Differential Geometric Analysis and Control of Flat Systems, ser

B. Kolar,Contributions to the Differential Geometric Analysis and Control of Flat Systems, ser. Modellierung und Regelung komplexer dynamischer Systeme. Aachen: Shaker, 2017, vol. 35

work page 2017
[21]

On the exact linearization of minimally underactuated configuration flat Lagrangian systems in generalized state representation,

G. Hartl, C. Gst ¨ottner, B. Kolar, and M. Sch ¨oberl, “On the exact linearization of minimally underactuated configuration flat Lagrangian systems in generalized state representation,”IFAC-PapersOnLine, vol. 58, no. 17, pp. 244–249, 2024

work page 2024
[22]

The role of symmetry in constructing geometric flat outputs for free-flying robotic systems,

J. Welde, M. D. Kvalheim, and V . Kumar, “The role of symmetry in constructing geometric flat outputs for free-flying robotic systems,” in2023 IEEE International Conference on Robotics and Automation (ICRA), London, United Kingdom, May 2023, pp. 12 247–12 253. APPENDIXI Proof of Theorem 2.The proof is organized according to the items of the Theorem. Item ...

work page 2023