A.  Bicchi, Marigo, A., and Piccoli, B., ?Feedback Encoding for Efficient Symbolic Control of Dynamical Systems?, IEEE Trans. on Automatic Control, vol. 51, pp. 1-16, 2006.