Orthotopic and ellipsoidal simulations for a class of non-linear systems | IEEE Conference Publication | IEEE Xplore