, Ülle Kotta , Maris Tõnso A universal inversive difference field that always exists is constructed for a submersive discrete-time nonlinear control system. This field is unique up to permutation of the control variables. Using the unique field in proofs will simplify them significantly. The construction extends the one for state-invertible systems, being the subset of submersive systems. An algorithm is given for finding independent variables of this field. It is proven that the algorithm stops in at most n + 1 steps, where n is the state dimension of the control system.
1. Aranda-Bricaire, E., Kotta, Ü. and Moog, C. H. Linearization of discrete-time systems. SIAM Journal on Control and Optimization, 1996, 34(6), 1999–2023.
https://doi.org/10.1137/s0363012994267315
2. Conte, G., Moog, C. H. and Perdon, A. M. Algebraic Methods for Nonlinear Control Systems. Theory and Applications. 2nd ed. In Communications and Control Engineering. Springer, London, 2007.
https://doi.org/10.1007/978-1-84628-595-0
3. Fliess, M. Automatique en temps discret et algèbre aux différences (Discrete-time automatic and difference algebra). Forum Mathematicum, 1990, 2, 213–232.
https://doi.org/10.1515/form.1990.2.213
4. Fliess, M. Automatique et corps différentiels (Automatic and differential bodies). Forum Mathematicum, 1989, 1, 227‒238.
https://doi.org/10.1515/form.1989.1.227
5. Fliess, M. Generalized controller canonical form for linear and nonlinear dynamics. IEEE Transactions on Automatic Control, 1990, 35(9), 994–1001.
https://doi.org/10.1109/9.58527
6. Grizzle, J. W. A linear algebraic framework for the analysis of discrete-time nonlinear systems. SIAM Journal on Control and Optimization, 1993, 31(4), 1026–1044.
https://doi.org/10.1137/0331046
7. Kaldmäe, A., Kaparin, V., Kotta, Ü., Mullari, T. and Pawluszewicz, E. On the properties of forward and backward shifts of vector fields. Proceedings of the Estonian Academy of Sciences, 2022, 71(4), 314–325.
https://doi.org/10.3176/proc.2022.4.02
8. Kaldmäe, A., Kotta, Ü. and Tõnso, M. Transformation of backward observable discrete-time systems into a generalized observer form. In European Control Conference (ECC). Accepted for publication. 2026.
9. Mullari, T., Kotta, Ü., Bartosiewicz, Z., Pawluszewicz, E. and Moog, C. H. Forward and backward shifts of vector fields: towards the dual algebraic framework. IEEE Transactions on Automatic Control, 2017, 62(6), 3029–3033.
https://doi.org/10.1109/tac.2016.2608718
