A Provably Convergent Algorithm for Transition-Time Optimization in Switched Systems | IEEE Conference Publication | IEEE Xplore