Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
RP, pp. 79-91, 2012.
dominance checkingapproximation capabilityapproximation techniquereachability analysiscontinuous behaviorMore(6+)
When designing embedded systems, often the need arises to model systems having a mixed discrete and continuous behavior. Such hybrid systems commonly consist of a discrete control part that operates in a continuous environment and may be represented by hybrid automata. We recently proposed an open-source framework for hybrid automata anal...More
Full Text (Upload PDF)
PPT (Upload PPT)