Under-approximate flowpipes for non-linear continuous systems | IEEE Conference Publication | IEEE Xplore