Reducing the wrapping effect in flowpipe construction using pseudo-invariants
Stanley Bak · 2014
The reachability problem for a nonlinear hybrid automaton is often decomposed into steps where continuous successors are computed, and steps where discrete transitions and reset maps are processed. In this paper, we will show one method which can reduce the wrapping effect in the continuous-successor computation stage. A reduction in the wrapping effect can lead to both reduced error and reduced computation time.