Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis

    RP, pp. 79-91, 2012.

    Cited by: 13|Bibtex|Views0|Links
    EI
    Keywords:
    dominance checkingapproximation capabilityapproximation techniquereachability analysiscontinuous behaviorMore(6+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments