Paper Accepted for Publication in IEEE Transactions on Automatic Control: Safe Control Strategies for Nonlinear Systems under Input Constraints