Describir: Controller Synthesis for a Class of State-Dependent Switched Nonlinear Systems