No abstract

No abstract

No abstract

No abstract

The paper describes an algebraic construction of the inversive difference field associated with a discrete-time rational nonlinear control system under the assumption that the system is submersive. We prove that a system is submersive iff its associated difference ideal is proper, prime and reflexive. Next, we show that Kähler differentials of the above inversive field define a module over the corresponding ring of Ore operators, and relate its torsion submodule to the vector space of autonomous one-forms, introduced elsewhere. The above results allow us to check accessibility property and simplify transfer functions with computer algebra techniques.