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

Kyoung-Dae Kim Sayan Mitra P. R. Kumar

Published in: CoRR (2012)

Keyphrases

probability distribution
small number
finite number
boolean expressions
hybrid automata
relational databases
object oriented
finite dimensional