Schur-based decomposition for reachability analysis of linear time-invariant systems