Hybrid Systems with Constraints