Hybrid Models and Switching Control with Constraints