Constrained optimal control for complex systems Analysis and applications

This dissertation focuses on continuous time systems and shows how such reach-avoid problems can be related to the viscosity solutions of certain optimal control problems, and extends the framework to reachability/viability problems for hybrid systems and provides a complete characterization based entirely on optimal control, logic theorems and the definition of executions of hybrid automata.