Learning symbolic representations of hybrid dynamical systems | Synapse