Reachability Analysis of Linear Hybrid Systems via Block Decomposition | IEEE Journals & Magazine | IEEE Xplore