Hybrid systems with state-triggered jumps