,
I.E.E.E.
IEEE Transactions on Automatic Control
Scientific Computing

Habets, L., Collins, P., & van Schuppen, J. (2006). Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Transactions on Automatic Control, 51, 938–948.