_id,doi,title 142,10.1007/978-3-319-96145-3_24,Reachable set over-approximation for nonlinear systems using piecewise barrier tubes