Title: Constructive methods for inequality constraints in control