Dual algebraic framework for discrete-time nonlinear control systems