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.MATHGoogle Scholar
  2. [B]
    N. Bourbaki,Eléments de Mathématique, Algèbre, Chapters 4–7, Masson, Paris, 1981.MATHGoogle 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.MathSciNetMATHGoogle 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.CrossRefMathSciNetMATHGoogle 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.CrossRefMathSciNetMATHGoogle Scholar
  9. [F2]
    M. Fliess, Automatique et corps différentiels,Forum Math.,1 (1989), 227–238.MathSciNetCrossRefMATHGoogle 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.CrossRefMathSciNetMATHGoogle 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.MATHGoogle Scholar
  15. [J2]
    B. Jakubczyk, Existence and uniqueness of realizations of nonlinear systems,SIAM J. Control Optim.,18 (1980), 455–471.CrossRefMathSciNetMATHGoogle Scholar
  16. [K]
    E. R. Kolchin,Differential Algebra and Algebraic Groups, Academic Press, New York, 1973.MATHGoogle 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.MathSciNetMATHGoogle 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.MATHGoogle Scholar
  22. [R3]
    H. H. Rosenbrock,State-space and Multivariable Theory, Wiley, New York, 1970.MATHGoogle Scholar
  23. [S1]
    A. Seidenberg, Some basic theorems in differential algebra,Trans. Amer. Math. Soc.,73 (1952), 174–190.CrossRefMathSciNetMATHGoogle 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.CrossRefMathSciNetMATHGoogle 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).MATHGoogle Scholar
  28. [S6]
    E. D. Sontag,Polynomial Response Maps, Springer-Verlag, New York, 1979.MATHCrossRefGoogle 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.CrossRefMathSciNetMATHGoogle 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.CrossRefMathSciNetMATHGoogle 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.CrossRefMathSciNetMATHGoogle 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.CrossRefMathSciNetMATHGoogle 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