Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

Marcelo Forets, Daniel Freire, Christian Schilling

Efficiently handling time-triggered and possibly nondeterministic switches for hybrid systems reachability is a challenging task. In this paper we present an approach based on cons…