Another look at strong invariance on stratified domains

We consider proving the strong invariance property for stratified control systems. The difficulty lies in that the dynamics are not locally Lipschitz, but they have a structure that can be exploited to characterize trajectories.