Self-Triggered Control to Guarantee Forward Pre-Invariance with Uniformly Positive Inter-Event Times | IEEE Conference Publication | IEEE Xplore