Control and verification of high-dimensional systems with DSOS and SDSOS programming | IEEE Conference Publication | IEEE Xplore