Solvability of differential algebraic equations and inequalities: An algorithm

ECC 1997 - European Control Conference

Volumn , Issue , 1997, Pages 1195-1200

  Glad, S T ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

Differential algebra; Differential equations; Dynamic systems; Inequalities; Real algebra

Indexed keywords

DYNAMICAL SYSTEMS; POLYNOMIALS;

DIFFERENTIAL ALGEBRAIC EQUATIONS; DIFFERENTIAL ALGEBRAS; DIFFERENTIAL INEQUALITIES; IMPLICIT DIFFERENTIAL EQUATIONS; INEQUALITIES; POLYNOMIAL SYSTEMS; REAL ALGEBRA; REAL SOLUTIONS;

DIFFERENTIAL EQUATIONS;

EID: 84949092315     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.1997.7082262     Document Type: Conference Paper

References (14)

1. D. S. Arnon, G. E. Collins, and S. McCallum. Cylindrical algebraic decomposition i: The basic algorithm. SIAM J. Comput, 13:865-889, 1984.
2. D. S. Arnon, G. E. Collins, and S. McCallum. Cylindrical algebraic decomposition ii: An adjacency algorithm for the plane. SIAM J. Comput, 13:878-889, 1984.
3. J. Bochnak, M. Coste, and M-F. Roy. Geometrie algebrique reelle. Springer-Verlag, 1987.
4. S. Diop. A state elimination procedure for nonlinear systems. In J. Descusse, M. Fliess, A. Isidori, and D. Leborgne, editors, New trends in Nonlinear Control Theory, Lect. Notes Control Inform. Sci. 122, pages 190-198. Springer, 1989.
5. S. Diop. Elimination in control theory. Math. Control Signals Systems, 4:17-32, 1991.
6. M. Fliess and S. T. Glad. An algebraic approach to linear and nonlinear control. In H. L. Trentelman and J. C. Willems, editors, Essays on control: Perspectives in the theory and its applications., pages 223-267. Birkhauser, 1993.
7. M. Fliess and M. Hasler. Questioning the classical state space description via circuit examples. In M. A. Kaashoek, J. H. van Schuppen, and A. C. M. Ran, editors, Realization and Modelling in System Theory, pages 1-12. Birkhuser, 1990.
8. S. T. Glad. Differential algebraic modelling of nonlinear systems. In M. A. Kaashoek, J. H. van Schuppen, and A. C. M. Ran, editors, Realization and Modelling in System Theory, pages 97-105. Birkhuser, 1990.
9. S. T. Glad. Implementing Ritt's algorithm of differential algebra. In IFAC Symposium on Control Systems Design, NOLCOS'92, pages 610-614, Bordeaux, France, June 1992.
10. Manfred Knebusch and Claus Scheiderer. Einführung in die reelle Algebra. Vieweg studium, 1989.
11. E. R. Kolchin. Differential Algebra and Algebraic Groups. Academic Press, New York, 1973.
12. J. F. Ritt. Differential Algebra. American Mathematical Society, Providence, R I, 1950.
13. A. Seidenberg. An elimination theory for differential algebra. In F. Wolf, J. L. Hodges, and A. Seidenberg, editors, University of California Publications in Mathematics: New Series, pages 31-66. University of California Press, Berkeley and Los Angeles, California, 1956.
14. F. Verhulst. Nonlinear differential equations and dynamical systems. Springer-Verlag, 1985.