Reachability and control synthesis for piecewise-affine hybrid systems on simplices | IEEE Journals & Magazine | IEEE Xplore