verse.automaton.hybrid_io_automaton.HybridIoAutomaton
- class verse.automaton.hybrid_io_automaton.HybridIoAutomaton(id=None, input_variables=[], output_variables=[], internal_variables=[], discrete_variables=[], modes=[], edges=[], guards=[], resets=[], dynamics={})
Bases:
HybridAutomaton
Methods
generate_automaton_json
- __init__(id=None, input_variables=[], output_variables=[], internal_variables=[], discrete_variables=[], modes=[], edges=[], guards=[], resets=[], dynamics={})