Download Hybrid Systems With Constraints