Currently there are methods: add_state, add_transition, which are correspond only to the graph of the automata, however we can end up with the graph which will have different number of locations and transitions in comparison with modes and resetmaps array.
Proposition: add methods for the HybridSystem, for adding and removing states(modes) and transitions(resetmaps)
Currently there are methods:
add_state
,add_transition
, which are correspond only to the graph of the automata, however we can end up with the graph which will have different number of locations and transitions in comparison withmodes
andresetmaps
array.Proposition: add methods for the
HybridSystem
, for adding and removing states(modes) and transitions(resetmaps)