Control Of Cyber-Physical Systems Using Incremental Properties Of Physical Systems