Skip to main content
Log in

On absolute equivalence and linearization I

  • Original Paper
  • Published:
Geometriae Dedicata Aims and scope Submit manuscript

Abstract

In this paper, we study the absolute equivalence between Pfaffian systems with a degree 1 independence condition and obtain structural results, particularly for systems of corank 3. We apply these results to understanding dynamic feedback linearization of control systems with 2 inputs.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2

Similar content being viewed by others

Notes

  1. We will call such a Pfaffian system a system of corank 2.

  2. By “generic,” we mean that this condition holds for a set of integral curves that is open and dense in the space of all integral curves with respect to the \(C^k\) topology for some k. We do not require all integral curves of \((M,I;\tau )\) to satisfy the condition, in order to make the concept useful even when there exists a negligible set of integral curves that do not admit unique liftings. For example, consider \((M,I;\tau ):= (\mathbb R^5, [\![\textrm{d}x - u \textrm{d}t, \textrm{d}y - v\textrm{d}t]\!]; \textrm{d}t)\). It has a Cartan prolongation: \((N,J;\sigma ):= (\mathbb R^5\times \mathbb R, [\![I, \textrm{d}u - \lambda \textrm{d}v]\!]; \textrm{d}t)\), to which all integral curves of \((M,I;\tau )\) admits a unique lifting except those along which v is a constant.

  3. The reader may compare this with [10, p.61].

  4. Here and below, we drop the independence conditions in these diagrams for clarity.

  5. Compare with [11, Definition 3.2].

  6. This theorem may be seen as a variant of [11, Theorem 3.6].

  7. In fact, this prolongation is obtained by setting \(n = 3\) in Example 2.34.

  8. Here we do not require each prolongation by differentiation to be constructed from a fixed set of coordinates.

  9. We adopt the convention of summing over repeated indices.

References

  1. Brunovský, P.: A classification of linear controllable systems. Kybernetika 6(3), 173–188 (1970)

    MathSciNet  MATH  Google Scholar 

  2. Cartan, É.: Sur l’équivalence absolue de certains systemes d’équations différentielles et sur certaines familles de courbes. Bull. Soc. Math. France 42, 12–48 (1914)

    Article  MathSciNet  MATH  Google Scholar 

  3. Chow, W.-L.: Über systeme von linearen partiellen differentialgleichungen erster ordnung. Math. Ann. 117, 98–105 (1939)

    Article  MathSciNet  MATH  Google Scholar 

  4. De Doná, J., Tehseen, N., Vassiliou, P.J.: Symmetry reduction, contact geometry, and partial feedback linearization. SIAM J. Control Optim. 56(1), 201–230 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  5. Gardner, R.B.: Invariants of Pfaffian systems. Trans. Am. Math. Soc. 126, 514–533 (1967)

    Article  MathSciNet  MATH  Google Scholar 

  6. Gardner, R.B., Shadwick, W.F.: Feedback equivalence for general control systems. Syst. Control Lett. 15(1), 15–23 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  7. Gardner, R.B., Shadwick, W.F.: The GS algorithm for exact linearization to Brunovsky normal form. IEEE Trans. Autom. Control 37(2), 224–230 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  8. Hilbert, D.: Über den begriff der klasse von differentialgleichungen. Math. Ann. 73, 95–108 (1912)

    Article  MathSciNet  MATH  Google Scholar 

  9. Shadwick, W.F.: Absolute equivalence and dynamic feedback linearization. Syst. Control Lett. 15(1), 35–39 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  10. Sluis, W.M.: Absolute equivalence and its applications to control theory. Ph.D. Thesis (1994)

  11. van Nieuwstadt, M., Rathinam, M., Murray, R.M.: Differential flatness and absolute equivalence of nonlinear control systems. SIAM J. Control Optim. 36(4), 1225–1239 (1998)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

We would like to thank Prof. Robert L. Bryant for generously offering his time for discussion. This work also benefited from discussions with Prof. George R. Wilkens and Taylor J. Klotz. Additionally, we would like to thank the referee for their comments and questions, which have led to substantial improvements in our exposition.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jeanne N. Clelland.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The first author was supported by a Collaboration Grant for Mathematicians from the Simons Foundation, and the second author was partially supported by the China Postdoctoral Science Foundation Grant 2021TQ0014.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Clelland, J.N., Hu, Y. On absolute equivalence and linearization I. Geom Dedicata 217, 78 (2023). https://doi.org/10.1007/s10711-023-00811-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10711-023-00811-0

Keywords

Mathematics Subject Classification (2010)

Navigation