Hybrid systems, which combine continuous dynamics with discrete transitions, have become a central focus in modern control theory and safety verification. The analysis of these systems involves ...