Uncertainty propagation with Semidefinite Programming | IEEE Conference Publication | IEEE Xplore