Optimal control of piece- Wise polynomial hybrid systems using cylindrical algebraic decomposition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3927 LNCS, Issue , 2006, Pages 227-241

  Fotiou, Ioannis A ^a   Beccuti, A Giovanni ^a   Papafotiou, Georgios ^a   Morari, Manfred ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; OPTIMAL CONTROL SYSTEMS; PIECEWISE LINEAR TECHNIQUES; POLYNOMIALS; PROBLEM SOLVING; REAL TIME SYSTEMS;

ALGEBRAIC DECOMPOSITION; CONSTRAINED FINITE-TIME OPTIMAL CONTROL (CFTOC); CYLINDRICAL ALGEBRAIC DECOMPOSITION (CAD); PRECOMPUTED INFORMATION;

HYBRID COMPUTERS;

EID: 33745771123     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11730637_19     Document Type: Conference Paper

References (21)

1. Maciejowski, J.: Predictive control with Constraints. Pearson Education (2001)
2. Bemporad, A., Morari, M., Dua, V., Pistikopoulos, E.N.: The explicit linear quadratic regulator for constrained systems. Automatica 38 (2002) 3-20
3. Bemporad, A., Borrelli, F., Morari, M.: Model predictive control based on linear programming -the explicit solution. IEEE Trans. Automat. Contr. 47(12) (2002)
4. Borrelli, P., Baotić, M., Bemporad, A., Morari, M.: An efficient algorithm for computing the state feedback optimal control law for discrete time hybrid systems. In: Proc. American Control Conf., Denver, Colorado (2003) 4717-4722
5. Kerrigan, E.G., Mayne, D.Q.: Optimal control of constrained, piecewise affine systems with bounded disturbances. In: Proc. 41st IEEE Conf. on Decision and Control, Las Vegas, Nevada, USA (2002)
6. Borrelli, F.: Constrained Optimal Control of Linear and Hybrid Systems. Volume 290 of LNCIS. Springer (2003)
7. Johansen, T.A.: Approximate explicit receding horizon control of constrained nonlinear systems. Automatica 40(2) (2004) 293-300
8. Fotiou, I.A., Parrilo, P.A., Morari, M.: Nonlinear parametric optimization using cylindrical algebraic decomposition. In: Proc. of the Conf. on Decision & Control, Seville, Spain (2005) 3735-3740
9. Collins, G.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Number 33 in Lecture Notes in Computer Science, London, UK, Springer-Verlag (1975) 134-183
10. Lafferriere, G., Pappas, G., Yovine, S.: Reach set computation for linear vector fields using quantifier elimination. In: Electronic Proceedings of the IMAC Conference on Applications of Computer Algebra, El Escorial, Spain (1999)
11. Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE 88(7) (2000) 971-984
12. Vidai, R., Soatto, S., Ma, Y., Sastry, S.: An Algebraic Geometric Approach to the Identification of a Class of Linear Hybrid Systems. In: Proc. of the Conf. on Decision & Control, Maui, HI (2003)
13. Beccuti, A.G., Papafotiou, G., Morari, M.: Optimal Control of the Boost dc-dc Converter. In: Proc. of the Conf. on Decision & Control, Seville, Spain (2005)
14. Baotic, M., Christophersen, F.J., Morari, M.: A new Algorithm for Constrained Finite Time Optimal Control of Hybrid Systems with a Linear Performance Index. In: Proc. of the European Control Conference, Cambridge, UK (2003)
15. Brown, C.W.: QEPCAD B: a program for computing with semialgebraic sets using CADs. ACM SIGSAM Bulletin 37 (2003) 97-108
16. Mohan, N., Undeland, T.M., Robbins, W.P.: Power Electronics: Converters, Applications and Design. Wiley, London (1989)
17. Qin, S.J., Badgwell, T.A.: A survey of industrial model predictive control technology. Control Engineering Practice 11 (2003) 733-764
18. Gohberg, I., Lancaster, P., Rodman, L.: Matrix Polynomials. Academic Press, New York (1982)
19. Löfberg, J.: YALMIP: A toolbox for modeling and optimization in MATLAB. In: Proceedings of the CACSD Conference, Taipei, Taiwan (2004) Available from http://control.ee.etbz.ch/~joloef/yalmip.pbp.
20. Mishra, B.: Computational Real Algebraic Geometry. Handbook of discrete and computational geometry (1997) 537-556
21. Basu, S., Pollack, R., Roy, M.F.: Algorithms in real algebraic geometry. Springer Verlag, New York (2003)