Computational Methods for Optimal Control of Hybrid Systems

This thesis aims to find algorithms for optimal control of hybrid systems and explore them in sufficient detail to be able to implement the ideas in computational tools. By hybrid systems is meant systems with interacting continuous and discrete dynamics. Code for computations has been developed in parallel to the theory.

The optimal control methods studied in this thesis are global, i.e. the entire state space is considered simultaneously rather than searching for locally optimal trajectories. The optimal value function that maps each state of the state space onto the minimal cost for trajectories starting in that state is central for global methods. It is often difficult to compute the value function of an optimal control problem, even for a purely continuous system. This thesis shows that a lower bound of the value function of a hybrid optimal control problem can be found via convex optimization in a linear program. Moreover, a dual of this optimization problem, parameterized in the control law, has been formulated via general ideas from duality in transportation problems. It is shown that the lower bound of the value function is tight for continuous systems and that there is no gap between the dual optimization problems.

Two computational tools are presented. One is built on theory for piecewise affine systems. Various analysis and synthesis problems for this kind of systems are via piecewise quadratic Lyapunov-like functions cast into linear matrix inequalities. The second tool can be used for value function computation, control law extraction, and simulation of hybrid systems. This tool parameterizes the value function in its values in a uniform grid of points in the state space, and the optimization problem is formulated as a linear program. The usage of this tool is illustrated in a case study.