Hybrid systems, characterised by the coexistence of continuous dynamics and discrete mode changes, pose significant challenges for ensuring operational safety and reliability in sectors such as ...