Positive Invariance of Constrained Affine Dynamics and Its Applications to Hybrid Systems and Safety Verification | IEEE Journals & Magazine | IEEE Xplore