Transfer equivalence and realization of nonlinear higher order i/o difference equations using Mathematica

Surprisingly, computer algebra systems have not been used for the analysis of discrete-time nonlinear control systems. The only exceptions seem to be papers based on Reduce and on Maple. This paper presents certain modelling problems of discrete-time nonlinear system as an example of what can be done with symbolic computation in nonlinear discrete-time control with Mathematica.