Safety Constraints in Control Systems