Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid Automata

Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar

We define a special class of hybrid automata, called Deterministic and Transversal Linear Hybrid Automata (DTLHA), whose continuous dynamics in each location are linear time-invari…