Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto. An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications. In Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA. pages 1528-1533, IEEE, 2010. [doi]
Abstract is missing.