An Approximate Simulation Approach to Symbolic Control | IEEE Journals & Magazine | IEEE Xplore