Trajectory enclosures for nonlinear systems with uncertain initial conditions and parameters | IEEE Conference Publication | IEEE Xplore