Cyber physical invariant

Upload cyber physical invariant code to guard power migration.