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… (More)
— An algebraic framework for discrete-time nonlin-ear control systems is introduced, based on the forward and backward shifts of the vector fields, dual to that based on differential 1-forms. As an application, the accessibility criterion of a control system in terms of vector fields is given and compared to those obtained under more restrictive assumptions.
In most cases authors are permitted to post their version of the article (e.g. in Word or Tex form) to their personal website or institutional repository. Authors requiring further information regarding Elsevier's archiving and manuscript policies are encouraged to visit: σ-differential field a b s t r a c t The purpose of this paper is to present a… (More)