Decidable hybrid systems

Hybrid systems combine differential equations with discrete event systems. We consider the reachability problem: is there a trajectory from an initial state to a target state in the hybrid system. We show that for hybrid systems with decoupled differential inclusions, the reachability problem can be decided in a finite number of steps.