Backstepping Stabilization of Nonlinear Dynamical Systemsunder State Constraints | Synapse