Decidable hybrid systems (Q1922203)

The authors study an interesting class of dynamic systems combining discrete evolution and continuous evolution. (These systems are called hybrid systems). The continuous part of the dynamics is modeled by a differential inclusion. The target problem is investigated. For a certain class of hybrid systems, the authors show that the reachability problem can be decided in a finite number of steps.