Leram - Hybrid Dynamical Systems: Controller and Sensor Switching Problems