Number: Control 67/95
Author(s): FLIEGNER, T., KOTTA, Y., NIJMEIJER, H.
Title: Solvability and right-inversion of implicit nonlinear
discrete-time systems. 26 p.
Language: English
Keywords: implicit nonlinear systems; solvability; right-invertibility
ABSTRACT. In this paper the problems of solvability and right-
invertibility for implicit nonlinear discrete-time control
systems are investigated. The concept "solvability" is defined in
such a way that consistency of the implicit system equations is
locally guaranteed for all input sequences and an algorithm is
introduced to verify the solvability of an implicit system in
that sense. It is demonstrated how this mechanism may be used to
decide on the right- invertibility of functional reproducibility
of a given system. In contrast to previous work on
right-invertibility for (special classes of) implicit nonlinear
systems, the approach is not restricted to the characterization
of right-invertibility but is shown in addition how an inverse
system can actually be obtained. The theory is illustrated by
realistic example in which the inversion procedure is applied
using formula manipulation.