Abstract
In this paper, the global controllability for a class of high dimensional polynomial systems has been investigated and a constructive algebraic criterion algorithm for their global controllability has been obtained. By the criterion algorithm, the global controllability can be determined in finite steps of arithmetic operations. The algorithm is imposed on the coefficients of the polynomials only and the analysis technique is based on Sturm Theorem in real algebraic geometry and its modern progress. Finally, the authors will give some examples to show the application of our results.
Similar content being viewed by others
References
Haynes G W and Hermes H, Nonlinear controllability via lie theory, SIAM J. Control, 1970, 8(4): 450–460.
Brockett R W, System theory on group manifolds and coset spaces, SIAM Journal on Control, 1972, 10(2): 265–284.
Isidori A, Nonlinear Control Systems, Springer-Verlag, London, Third Edition, 1995.
Jurdjevic V, Geometric Control Theory, Cambridge University Press, New York, 1997.
Sontag E D, Mathematical Control Theory — Deterministic Finite Dimensional Systems, Springer-Verlag, New York, 1998.
Sun Y M, Mei S W, and Lu Q, Necessary and sufficient condition for global controllability of a class of affine nonlinear systems, Journal of Systems Science & Complexity, 2007, 20(6): 492–500.
Basu S, Pollack R, and Roy M F, Algorithms in Real Algebraic Geometry, Second Edition, Springer-Verlag, Heidelberg, 2006.
Jacobson M, Basic Algebra I, Second Edition, Freeman W H and Company, New York, 1985.
Wu W T, Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving, Kluwer Academic Publishers, Boston, 2000.
Kostrikin A I, Introduction to Algebra I, Translated by Zhang Y B, Second Edition, Higher Education Press, Beijing, 2006 (in Chinese).
Gantmacher F R, The Theory of Matrices, Chelsea Publishing Company, New York, 1959.
Yang L and Xia C B, Automated Proving and Discovering for Inequalities, Science Press, Beijing, 2008 (in Chinese).
Collins G E and Akritas A G, Polynomial real root isolation using descarte’s rule of signs, Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation, 1976, 272–275.
Wang D M, Mou C Q, Li X L, Yang J, Jin Y, and Huang Y L, Polynomial Algebra, Higher Education Press, Beijing, 2011 (in Chinese).
Bullo F and Lewis A D, Geometric Control of Mechanical Systems, Modeling Analysis, and Design for Simple Mechanical Control Systems, Texts in Applied Mathematics, Springer, New York, 2005.
Guo Y Q, Xi Z R, and Cheng D Z, Speed rugulation of permanent magnet synchrorous motor via feedback dissipative hamiltonian realization, Control Theory & Applications, IET, 2007, 1(1): 281–290.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the Natural Science Foundation of China under Grant Nos. 60804008, 61174048 and 11071263, the Fundamental Research Funds for the Central Universities and Guangdong Province Key Laboratory of Computational Science at Sun Yat-Sen University.
This paper was recommended for publication by Editor HONG Yiguang.
Rights and permissions
About this article
Cite this article
Xu, X., Li, Q. & Sun, Y. Application of Sturm Theorem in the global controllability of a class of high dimensional polynomial systems. J Syst Sci Complex 28, 1049–1057 (2015). https://doi.org/10.1007/s11424-015-3087-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11424-015-3087-3