A structural approach to state space decomposition for approximate reachability analysis | IEEE Conference Publication | IEEE Xplore