Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications