Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata.

Kyoung-Dae Kim Sayan Mitra P. R. Kumar

Published in: HSCC (2011)

Keyphrases

finite number
finite dimensional
finite sets
high precision
positive examples
continuous functions
linearly separable
boolean expressions
hybrid automata