Estimation of reachability sets for large-scale uncertain systems: From theory to computation | IEEE Conference Publication | IEEE Xplore