Regional Input-to-State Stability for Nonlinear Model Predictive Control | Synapse