Safety Verification of Non-linear, Planar Proportional Control with Differential Inclusions | IEEE Conference Publication | IEEE Xplore