Symbolic identification of dynamical systems: Theory and experimental validation | IEEE Conference Publication | IEEE Xplore