Nonlinear control system design by quantifier elimination

Journal of Symbolic Computation

Volumn 24, Issue 2, 1997, Pages 137-152

  Jirstrand, Mats ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031208954     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1997.0119     Document Type: Article

References (32)

1. Abdallah, C.T., Dorato, P., Yang, W., Liska, R., Steinberg, S. (1996). Applications of quantifier elimination theory to control system design. In Proceedings of the 4th IEEE Mediterranean Symposium on Control and Automation, 10-14 June, 1996, Crete, Greece, pp. 340-345.
2. Anderson, B., Bose, N., Jury, E. (1975). Output feedback stabilization and related problems - solution via decision methods. IEEE Trans. Automat. Control, AC-20(1), 53-65.
3. Arnon, D. (1988). A bibliography of quantifier elimination for real closed fields. J. Symbolic Comput., 5(1, 2), 267-274.
4. Benedetti, R., Risler, J. (1990). Real Algebraic and Semi-Algebraic Sets. Paris, Hermann.
5. Blondel, V.D., Tsitsiklis, J.N. (1995). NP-hardness of some linear control design problems. In Proceedings of the ECC'95, European Control Conference, Isidori, A., ed., volume 3, pp. 2066-2071, Roma, Italy, Springer-Verlag.
6. Bochnak, J., Coste, M., Roy, M.-F. (1987). Géometrie algébrique réelle. Springer.
7. Bryson, A.E., Ho, Y.C. (1969). Applied Optimal Control. Ginn and Company.
8. Collins, G. (1975). Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Second GI Conference on Automata Theory and Formal Languages, Kaiserslauten. Lecture Notes in Comput. Sci.33, pp. 134-183. Springer.
9. Collins, G., Hong, H. (1991). Partial cylindrical algebraic decomposition in quantifier elimination. J. Symbolic Comput., 12(3), 299-328.
10. Cox, D., Little, J., O'Shea, D. (1992). Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer.
11. Davenport, J., Siret, Y., Tournier, E. (1988). Computer Algebra. Systems and Algorithms for Algebraic Computation. Academic Press.
12. Dennis, J.E., Schnabel, R.B. (1983). Numerical Methods for Unconstrained Optimization and Nonlinear Equations. Prentice Hall.
13. Gantmacher, F. (1971). Matrix Theory, volume II. Chelsea.
14. Glad, S.T. (1987). Robustness of nonlinear state feedback - a survey. Automatica, 23(4), 425-435.
15. Glad, S.T. (1995). An algebraic approach to bang-bang control. In Proceedings of the ECC'95, European Control Conference, Isidori, A., ed., volume 4, pp. 2892-2895, Rome, Italy, Springer-Verlag.
16. Hahn, W. (1967). Stability of Motion. Springer.
17. Hong, H. (1992a). Improvements in CAD-based quantifier elimination. PhD Thesis. The Ohio State University.
18. Hong, H. (1992b). Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. In Proceedings of the ISAAC'92, International Symposium on Symbolic and Algebraic Computation, pp. 177-188. ACM Press, Berkely, California.
19. Isidori, A. (1995). Nonlinear Control Systems. Springer, third edition.
20. Jirstrand, M. (1996a). Algebraic methods for modeling and design in control. Licentiate Thesis LIU-TEK-LIC-1996:05. Department of Electrical Engineering, Linköping University, Sweden.
21. Jirstrand, M., Glad, S.T. (1996b). Computational questions of equilibrium calculation with application to nonlinear aircraft dynamics. In Proceedings of MTNS'96, St. Louis, USA.
22. Lindskog, P. (1996). Methods, algorithms and tools for system identification based on prior knowledge. Phd Thesis 436. Department of Electrical Engineering, Linköping University, Sweden.
23. Ljung, L., Glad, S.T. (1994). Modeling of Dynamic Systems. Prentice Hall.
24. Maciejowski, J. (1989). Multivariable Feedback Design. Addison-Wesley.
25. Mishra, B. (1991). Algorithmic Algebra. Springer-Verlag.
26. Parks, P.C., Hahn, V. (1993). Stability Theory. Prentice Hall.
27. Rubel, L., Singer, M. (1985). A differentially algebraic elimination theorem with applications to analog computability in the calculus of variations. Proc. Amer. Math. Soc., 94, pp. 653-658.
28. Stevens, B.L., Lewis, F.L. (1992). Aircraft Control and Simulation. Wiley.
29. Syrmos, V., Abdallah, C.T., Dorato, P., Grigoriadis, K. (1996). Static output feedback - a survey. Automatica, 32(2): 125-137.
30. van Dalen, D. (1980). Logic and Structure. Springer-Verlag, second edition.
31. Vidyasagar, M. (1993). Nonlinear Systems Analysis. Prentice Hall, second edition.
32. Willems, J.C. (1995). A new setting for differential algebraic systems. In Proceedings of the ECC'95, European Control Conference, Isidori, A., ed., volume 1, pp. 218-223, Rome, Italy, Springer-Verlag.