Advertisement

Elimination in control theory

  • Sette Diop
Article

Abstract

For nonlinear systems described by algebraic differential equations (in terms of “state” or “latent” variables) we examine the converse to realization,elimination, which consists of deriving an externally equivalent representation not containing the state variables. The elimination in general yields not only differential equations but also differentialinequations. We show that the application of differential algebraic elimination theory (which goes back to J.F. Ritt and A. Seidenberg) leads to aneffective method for deriving the equivalent representation. Examples calculated by a computer algebra program are shown.

Key words

Equivalent system representations Latent variable elimination State elimination Elimination theory Differential polynomial algebras 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BY]
    H. Blomberg and R. Ylinen,Algebraic Theory for Multivariable Linear Systems, Academic Press, London, 1983.zbMATHGoogle Scholar
  2. [B]
    N. Bourbaki,Eléments de Mathématique, Algèbre, Chapters 4–7, Masson, Paris, 1981.zbMATHGoogle Scholar
  3. [CMP]
    G. Conte, C. H., Moog, and A. Perdon. Un théorème sur la représentation entrée—sortie d’un système non linéaire,C. R. Acad. Sci. Paris Sér. I,307 (1988), 363–366.MathSciNetzbMATHGoogle Scholar
  4. [CL]
    P. E. Crouch and F. Lamnabhi-Lagarrigue, State space realizations of nonlinear systems defined by input-output differential equations,Proceedings of the 8th International Conference on Analysis and Optimization Systems, Antibes, 1988 (A. Bensousan and J. L. Lions, eds), pp. 138–149, Lecture Notes in Control and Information Sciences, Vol. 111, Springer-Verlag, Berlin, 1988.Google Scholar
  5. [DD]
    H. Diaz and A. A. Desrochers, Modeling of nonlinear discrete time systems from input-output data,Automatica,24 (1988), 629–641.CrossRefMathSciNetzbMATHGoogle Scholar
  6. [D1]
    S. Diop, A state elimination procedure for nonlinear systems, inNew Trends in Nonlinear Control Theory (Proceedings of the International Conference on Nonlinear Systems, Nantes, June 1988) (J. Descusse, M. Fliess, A. Isidori, and M. Leborgne eds.), pp. 190–198, Lecture Notes in Control and Information Sciences, Vol. 122, Springer-Verlag, Berlin, 1989.CrossRefGoogle Scholar
  7. [D2]
    S. Diop, Théorie de l’Élimination et Principe du Modèle Interne en Automatique, Thèse de Doctorat, Université Paris Sud, Orsay, 1989.Google Scholar
  8. [F1]
    M. Fliess, Réalisation locale des systèmes non linéaires, algèbres de Lie filtrées transitives et séries génératrices non commutatives,Invent. Math.,71 (1983), 521–537.CrossRefMathSciNetzbMATHGoogle Scholar
  9. [F2]
    M. Fliess, Automatique et corps différentiels,Forum Math.,1 (1989), 227–238.MathSciNetCrossRefzbMATHGoogle Scholar
  10. [FH]
    M. Fliess and M. Hasler, Questioning the classic state space description via circuit examples, inMathematical Theory of Network and Systems (MTNS-89, Amsterdam, June 1989) (M. A. Kaashock, A. C. M. Ram, and J. H. van Schuppen, eds.), Progress in Systems and Control Theory, Birkhäuser, Boston, to appear.Google Scholar
  11. [FR]
    M. Fliess and C. Reutenauer, Une application de l’algèbre différentielle aux systèmes réguliers (ou bilinéaires), inAnalysis and Optimization of Systems (A. Bensoussan and J. L. Lions, eds.), pp. 99–107, Lecture Notes in Control and Information Sciences., Vol. 44, Springer-Verlag, Berlin, 1982.CrossRefGoogle Scholar
  12. [FW]
    M. I. Freedman and J. C. Willems, Smooth representations of systems with differentiated inputs,IEEE Trans. Automat. Control.,23 (1978), 16–22.CrossRefMathSciNetzbMATHGoogle Scholar
  13. [G]
    S. T. Glad, Nonlinear state space and input-output descriptions using differential polynomials, inNew Trends in Nonlinear Control Theory (Proceedings of the International Conference on Nonlinear Systems, Nantes, June 1988) (J. Descusse, M. Fliess, A. Isidori, and M. Leborgne, eds.), pp. 182–189, Lecture Notes in Control and Information Sciences, Vol. 122, Springer-Verlag, Berlin, 1989.CrossRefGoogle Scholar
  14. [J1]
    N. Jacobson,Basic Algebra, Vol. I, Freeman, San Francisco, 1974.zbMATHGoogle Scholar
  15. [J2]
    B. Jakubczyk, Existence and uniqueness of realizations of nonlinear systems,SIAM J. Control Optim.,18 (1980), 455–471.CrossRefMathSciNetzbMATHGoogle Scholar
  16. [K]
    E. R. Kolchin,Differential Algebra and Algebraic Groups, Academic Press, New York, 1973.zbMATHGoogle Scholar
  17. [L]
    A. Lascoux, La résultante de deux polynomes,Proceedings of the Seminaire d’Algèbre Paul Dubreil et Marie-Paule Malliavin, Paris, 1985, pp. 52–72, Lecture Notes in Mathematics, Vol. 1220, Springer-Verlag, Berlin, 1986.Google Scholar
  18. [LB]
    I. J. Leontaritis and S. A. Billings, Input-output parametric models for nonlinear systems. Parts I and II,Internat. J. Control,41 (1985), 303–344.MathSciNetzbMATHGoogle Scholar
  19. [M]
    D. Mumford,Algebraic Geometry, 1, Complex Projective Varieties, Springer-Verlag, Berlin, 1976.Google Scholar
  20. [R1]
    J. F. Ritt,Differential Equations from the Algebraic Standpoint, American Mathematical Society, New York, 1932.Google Scholar
  21. [R2]
    J. F. Ritt,Differential Algebra, American Mathematical Society, New York, 1950.zbMATHGoogle Scholar
  22. [R3]
    H. H. Rosenbrock,State-space and Multivariable Theory, Wiley, New York, 1970.zbMATHGoogle Scholar
  23. [S1]
    A. Seidenberg, Some basic theorems in differential algebra,Trans. Amer. Math. Soc.,73 (1952), 174–190.CrossRefMathSciNetzbMATHGoogle Scholar
  24. [S2]
    A. Seidenberg, A new decision method for elementary algebra,Ann. of Math.,60 (1954), 365–374.CrossRefMathSciNetGoogle Scholar
  25. [S3]
    A. Seidenberg, Some remarks on Hilbert’s Nullstellensatz,Arch. Math.,7 (1956), 235–240.CrossRefMathSciNetzbMATHGoogle Scholar
  26. [S4]
    A. Seidenberg, An elimination theory for differential algebra,Univ. California Publ. Math. (N.S.),3 (1956), 31–65.MathSciNetGoogle Scholar
  27. [S5]
    I. R. Shafarevich,Basic Algebraic Geometry, Springer-Verlag, Berlin, 1977 (translated from the Russian).zbMATHGoogle Scholar
  28. [S6]
    E. D. Sontag,Polynomial Response Maps, Springer-Verlag, New York, 1979.zbMATHCrossRefGoogle Scholar
  29. [S7]
    E. D. Sontag, Realization theory of discrete-time nonlinear systems: Part I—The bounded case,IEEE Trans. Circuits and Systems,26 (1979), 342–356.CrossRefMathSciNetzbMATHGoogle Scholar
  30. [S8]
    E. D. Sontag, Bilinear realizability is equivalent to existence of a singular affine differential i/o equation,Systems Control Lett.,11 (1988), 181–187.CrossRefMathSciNetzbMATHGoogle Scholar
  31. [S9]
    H. J. Sussmann, Existence and uniqueness of minimal realizations of nonlinear systemsMath. Systems Theory,10 (1977), 263–284.CrossRefMathSciNetGoogle Scholar
  32. [T]
    A. Tarski,A Decision Method for Elementary Algebra and Geometry (prepared for publication with the assistance of J. C. C. McKinsey), University of California Press, Berkeley, 1951; also inCollected Papers, Vol. 3: 1945–1957 (S. R. Givant and R. N. McKenzie, eds.), pp. 297–367, Birkhäuser-Verlag, Basel, 1986.Google Scholar
  33. [V1]
    A. J. van der Schaft, On realization of nonlinear systems described by higher-order differential equations,Math. Systems Theory,19 (1987), 239–275.CrossRefMathSciNetzbMATHGoogle Scholar
  34. [V2]
    A. J. van der Schaft, Representing a nonlinear state space system as a set of higher-order differential equations in the inputs and outputs Preprint, 1988.Google Scholar
  35. [V3]
    A. J. van der Schaft, Transformations of nonlinear systems under external equivalence, inNew Trends in Nonlinear Control Theory (Proceedings of the International Conference on Nonlinear Systems, Nantes, June 1988) (J. Descusse, M. Fliess, A. Isidori, and M. Leborgne, eds.), pp. 33–43, Lecture Notes in Control and Information Sciences, Vol. 122, Springer-Verlag, Berlin, 1989.CrossRefGoogle Scholar
  36. [V4]
    B. L. van der Waerden,Algebra, Vols. I and II, Ungar, New York, 1970.Google Scholar
  37. [WS]
    Y. Wang and E. D. Sontag, A new result on the relation between differential algebraic realizability and the state space realization, Preprint, 1989.Google Scholar
  38. [W1]
    J. C. Willems, System theoretical models for analysis of physical systems,Ricerche Automat.,10 (1979), 71–106.MathSciNetGoogle Scholar
  39. [W2]
    J. C. Willems, Input-output and state space representation of finite dimensional linear time invariant systems,Linear Algebra Appl.,50 (1983), 581–608.CrossRefMathSciNetzbMATHGoogle Scholar
  40. [WW]
    W.-t. Wu and T. Wu, A mechanization method of geometry and its applications. 5. Solving transcendental equations by algebraic methods,MM Research Preprints, Vol. 3 pp. 30–32, Institute of Systems Science, Academia Sinica, China, 1989.Google Scholar

Copyright information

© Springer-Verlag New York Inc. 1991

Authors and Affiliations

  • Sette Diop
    • 1
  1. 1.Laboratoire d’Automatique et de Génie des Procédés, URA D 1328 du CNRSUniversité Claude Bernard Lyon 1Villeurbanne cedexFrance

Personalised recommendations