verse.automaton.hybrid_automaton.HybridAutomaton

class verse.automaton.hybrid_automaton.HybridAutomaton(id=None, variables=[], discrete_variables=[], modes=[], edges=[], guards=[], resets=[], dynamics={})

Bases: object

Methods

generate_automaton_json

__init__(id=None, variables=[], discrete_variables=[], modes=[], edges=[], guards=[], resets=[], dynamics={})