Hamilton-Jacobi theory for optimal control problems on stratified domains

This thesis studies optimal control problems on stratified domains. We first establish a known proximal Hamilton-Jacobi characterization of the value function for problems with Lipschitz dynamics. This background gives the motivation for our results for systems over stratified domains, which is a system with non-Lipschitz dynamics that were introduced by Bressan and Hong. We provide an example that shows their attempt to derive a Hamilton-Jacobi characterization of the value function is incorrect, and discuss the nature of their error. A new construction of a multifunction is introduced that possesses properties similar to those of a Lipschitz multifunction, and is used to establish Hamiltonian criteria for weak and strong invariance. Finally, we use these characterizations to show that the minimal time function and the value function for a Mayer problem, both over stratified domains, satisfy and are the unique solutions to a proximal Hamilton-Jacobi equation.