Differential-algebraic decision methods and some applications to system theory
- 11 May 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 98 (1) , 137-161
- https://doi.org/10.1016/0304-3975(92)90384-r
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Closedness of morphisms of differential algebraic sets. Applications to system theoryForum Mathematicum, 1993
- Elimination in control theoryMathematics of Control, Signals, and Systems, 1991
- Generalized controller canonical form for linear and nonlinear dynamicsIEEE Transactions on Automatic Control, 1990
- Automatique et corps différentielsForum Mathematicum, 1989
- Differential dimension polynomials of finitely generated extensionsProceedings of the American Mathematical Society, 1978
- Smooth representation of systems with differentiated inputsIEEE Transactions on Automatic Control, 1978
- Well-ordering of certain numerical polynomialsTransactions of the American Mathematical Society, 1975
- Differential Dimension Polynomials and a Fundamental Theorem on Differential ModulesAmerican Journal of Mathematics, 1969
- The notion of dimension in the theory of algebraic differential equationsBulletin of the American Mathematical Society, 1964
- Specializations in differential algebraTransactions of the American Mathematical Society, 1959