zbMATH — the first resource for mathematics

Elimination in control theory. (English) Zbl 0727.93025
Summary: 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 differential inequations. We show that the application of differential algebraic elimination theory (which goes back to J. F. Ritt and A. Seidenberg) leads to an effective method for deriving the equivalent representation. Examples calculated by a computer algebra program are shown.

93C10 Nonlinear systems in control theory
93C15 Control/observation systems governed by ordinary differential equations
Full Text: DOI
[1] H. Blomberg and R. Ylinen,Algebraic Theory for Multivariable Linear Systems, Academic Press, London, 1983. · Zbl 0556.93016
[2] N. Bourbaki,Eléments de Mathématique, Algèbre, Chapters 4–7, Masson, Paris, 1981.
[3] 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. · Zbl 0649.93031
[4] 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. · Zbl 0675.93031
[5] H. Diaz and A. A. Desrochers, Modeling of nonlinear discrete time systems from input-output data,Automatica,24 (1988), 629–641. · Zbl 0661.93013
[6] 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.
[7] S. Diop, Théorie de l’Élimination et Principe du Modèle Interne en Automatique, Thèse de Doctorat, Université Paris Sud, Orsay, 1989.
[8] 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. · Zbl 0513.93014
[9] M. Fliess, Automatique et corps différentiels,Forum Math.,1 (1989), 227–238. · Zbl 0701.93048
[10] 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.
[11] 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.
[12] M. I. Freedman and J. C. Willems, Smooth representations of systems with differentiated inputs,IEEE Trans. Automat. Control.,23 (1978), 16–22. · Zbl 0376.93024
[13] 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.
[14] N. Jacobson,Basic Algebra, Vol. I, Freeman, San Francisco, 1974. · Zbl 0284.16001
[15] B. Jakubczyk, Existence and uniqueness of realizations of nonlinear systems,SIAM J. Control Optim.,18 (1980), 455–471. · Zbl 0447.93012
[16] E. R. Kolchin,Differential Algebra and Algebraic Groups, Academic Press, New York, 1973. · Zbl 0264.12102
[17] 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.
[18] 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. · Zbl 0569.93011
[19] D. Mumford,Algebraic Geometry, 1, Complex Projective Varieties, Springer-Verlag, Berlin, 1976. · Zbl 0356.14002
[20] J. F. Ritt,Differential Equations from the Algebraic Standpoint, American Mathematical Society, New York, 1932. · JFM 58.0445.06
[21] J. F. Ritt,Differential Algebra, American Mathematical Society, New York, 1950. · Zbl 0037.18402
[22] H. H. Rosenbrock,State-space and Multivariable Theory, Wiley, New York, 1970. · Zbl 0246.93010
[23] A. Seidenberg, Some basic theorems in differential algebra,Trans. Amer. Math. Soc.,73 (1952), 174–190. · Zbl 0047.03502
[24] A. Seidenberg, A new decision method for elementary algebra,Ann. of Math.,60 (1954), 365–374. · Zbl 0056.01804
[25] A. Seidenberg, Some remarks on Hilbert’s Nullstellensatz,Arch. Math.,7 (1956), 235–240. · Zbl 0074.25507
[26] A. Seidenberg, An elimination theory for differential algebra,Univ. California Publ. Math. (N.S.),3 (1956), 31–65.
[27] I. R. Shafarevich,Basic Algebraic Geometry, Springer-Verlag, Berlin, 1977 (translated from the Russian). · Zbl 0362.14001
[28] E. D. Sontag,Polynomial Response Maps, Springer-Verlag, New York, 1979.
[29] E. D. Sontag, Realization theory of discrete-time nonlinear systems: Part I–The bounded case,IEEE Trans. Circuits and Systems,26 (1979), 342–356. · Zbl 0409.93014
[30] E. D. Sontag, Bilinear realizability is equivalent to existence of a singular affine differential i/o equation,Systems Control Lett.,11 (1988), 181–187. · Zbl 0657.93010
[31] H. J. Sussmann, Existence and uniqueness of minimal realizations of nonlinear systemsMath. Systems Theory,10 (1977), 263–284. · Zbl 0354.93017
[32] 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.
[33] A. J. van der Schaft, On realization of nonlinear systems described by higher-order differential equations,Math. Systems Theory,19 (1987), 239–275. · Zbl 0624.93015
[34] 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.
[35] 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.
[36] B. L. van der Waerden,Algebra, Vols. I and II, Ungar, New York, 1970.
[37] Y. Wang and E. D. Sontag, A new result on the relation between differential algebraic realizability and the state space realization, Preprint, 1989.
[38] J. C. Willems, System theoretical models for analysis of physical systems,Ricerche Automat.,10 (1979), 71–106. · Zbl 0938.37525
[39] J. C. Willems, Input-output and state space representation of finite dimensional linear time invariant systems,Linear Algebra Appl.,50 (1983), 581–608. · Zbl 0507.93017
[40] 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.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.