State space realizations of nonlinear systems defined by input-output differential equations
Analysis and optimization of systems
A linear algebraic framework for the analysis of discrete-time nonlinear systems
SIAM Journal on Control and Optimization
Orders of Input/Output Differential Equations and State-Space Dimensions
SIAM Journal on Control and Optimization
Linearization of Discrete-Time Systems
SIAM Journal on Control and Optimization
Submersive rational difference systems and their accessibility
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Realization of discrete-time nonlinear input-output equations: Polynomial approach
Automatica (Journal of IFAC)
Application of noninteracting control problem to coupled tanks
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part II
On realizability of neural networks-based input-output models in the classical state-space form
Automatica (Journal of IFAC)
Realisation and estimation of piecewise-linear output-error models
Automatica (Journal of IFAC)
Implicit discrete-time systems and accessibility
Automatica (Journal of IFAC)
| Hi-index | 22.15 |
Two fundamental modelling problems in nonlinear discrete-time control systems are studied using the language of differential forms. The discrete-time nonlinear single-input single-output systems to be studied are described by input-output (i/o) difference equations, i.e. a high order difference equation relating the input, the output and a finite number of their time shifts. A new definition of equivalence is introduced which generalizes the notion of transfer equivalence well known for the linear case. Our definition is based upon the notion of an irreducible differential form of the system and was inspired by the analogous definition for continuous-time systems. The second problem to be addressed is the realization problem. The i/o difference equation is assumed to be in the irreducible form so that one can obtain an accessible and observable realization. Necessary and sufficient conditions are given for the existence of a (local) state-space realization of the irreducible i/o difference equation. These conditions are formulated in terms of the integrability of certain subspaces of one-forms, classified according to their relative degree. The sufficiency part of the proof gives a constructive procedure (up to finding the integrating factors and integration of the set of one-forms) for obtaining a locally observable and accessible state-space system. If the system is not in the irreducible form, one has first to apply the reduction procedure to transform the system into the irreducible form.