Safety and invariance for constrained switching systems | IEEE Conference Publication | IEEE Xplore