Feedback encoding for efficient symbolic control of dynamical systems | IEEE Journals & Magazine | IEEE Xplore