Computational real algebraic geometry
Handbook of discrete and computational geometry
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
QEPCAD B: a program for computing with semi-algebraic sets using CADs
ACM SIGSAM Bulletin
The explicit linear quadratic regulator for constrained systems
Automatica (Journal of IFAC)
Approximate explicit receding horizon control of constrained nonlinear systems
Automatica (Journal of IFAC)
Hi-index | 0.00 |
We present a new method to solve the constrained finite-time optimal control (CFTOC) problem for piece-wise polynomial (PWP) hybrid systems, based on Cylindrical Algebraic Decomposition (CAD). The computational approach consists of two parts. The off-line, where the method re-formulates the original CFTOC optimization problem in algebraic form, decomposes it into smaller subproblems and then independently pre-processes each subproblem to obtain certain structural information, and the on-line, where this available precomputed information is used to efficiently compute the optimal solution of the original problem in real time. The method is illustrated through its application to the control of a boost dc-dc converter.