Efficient Reachability Bounds for Discrete-Time Nonlinear Systems by Extending the Continuous-Time Theory of Differential Inequalities | IEEE Conference Publication | IEEE Xplore