Stratified semiconcave control-Lyapunov functions and the stabilization problem

Given a globally asymptotically controllable control system, we construct a control-Lyapunov function which is stratified semiconcave; that is, roughly speaking whose singular set has a Whitney stratification. Then we deduce the existence of smooth feedbacks which make the closed-loop system almost globally asymptotically stable.