Test for Lyapunov stability by rational operations
- 1 October 1975
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 20 (5), 700-702
- https://doi.org/10.1109/tac.1975.1101045
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Inner algorithm to test for positive definiteness of arbitrary binary formsIEEE Transactions on Automatic Control, 1975
- Output feedback stabilization and related problems-solution via decision methodsIEEE Transactions on Automatic Control, 1975
- REDUCE 2Published by Association for Computing Machinery (ACM) ,1971
- The Numerical Factorization of a PolynomialSIAM Review, 1971
- A quadratic form representation of polynomials of several variables and its applicationsIEEE Transactions on Automatic Control, 1968
- Explicit criterion for the positive definiteness of a general quartic formIEEE Transactions on Automatic Control, 1965
- On positive definiteness of quartic forms of two variablesIEEE Transactions on Automatic Control, 1964
- Inequalities of Higher Degree in One UnknownAmerican Journal of Mathematics, 1947
- The relative distribution of the real roots of a system of polynomialsTransactions of the American Mathematical Society, 1922