Hybrid Systems With Constraints