Semi-global predefined-time stable systems | IEEE Conference Publication | IEEE Xplore