Hybrid Systems with Constraints by