Submersive rational difference systems and their accessibility

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 2009, Pages 175-182

  Halás, Miroslav ^a   Kotta, Ülle ^b   Li, Ziming ^c   Wang, Huaifu ^c   Yuan, Chunming ^c  

^a SLOVAK UNIVERSITY OF TECHNOLOGY   (Slovakia)

^b TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

^c INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Accessibility; Inversive closure; Rational difference system; Reflexive ideals; Submersivity; Transfer function

Indexed keywords

ACCESSIBILITY; ALGEBRAIC CONSTRUCTIONS; COMPUTER ALGEBRA TECHNIQUES; DIFFERENCE SYSTEMS; DISCRETE-TIME; SUBMODULES;

DISCRETE TIME CONTROL SYSTEMS; NONLINEAR CONTROL SYSTEMS; TRANSFER FUNCTIONS; VECTOR SPACES;

RATIONAL FUNCTIONS;

EID: 77950385312     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1576702.1576728     Document Type: Conference Paper

References (28)

1. S.A. Abramov, H.Q. Le and Z. Li. Univariate Ore polynomial rings in computer algebra. Journal of Mathematical Sciences, 131(5), 5885-5903, 2005.
2. E. Aranda-Bricaire, Ü. Kotta and C.H. Moog. Linearization of discrete-time systems. SIAM J. Control and Optimization, 34(6), 1999-2023, 1996.
3. M. Bronstein. Symbolic Integration I: Transcedental Functions, second edition, Springer-Verlag, 2005.
4. M. Bronstein and M. Petkovšek. An introduction to pseudo-linear algebra. Theoretical Computer Science, 157(1), 3-33, 1996.
5. H. Cheng and G. Labahn. Output-sensitive modular algorithms for polynomial matrix normal forms. Journal of Symbolic Computation, 42(7), 733-750, 2007.
6. F. Chyzak, A. Quadrat and D. Robertz. Effective algorithms for parametrizing linear control systems over Ore algebras. Applicable Algebra in Engineering, Communications and Computing, 16(5), 319-376, 2005.
7. P.M. Cohn. Free Rings and Their Relations. Academic Press, London, 1985.
8. R.M. Cohn. Difference Algebra. Interscience Publishers, John Wiley, New York, 1965.
9. G. Conte, A.M. Perdon, C.H. Moog. The differential field associated to a general analytic nonlinear dynamic system. IEEE Trans on Automatic Control, 38(7), 1120-1124, 1993.
10. M. Fliess, C. Join and H. Sira-Ramírez. Non-linear estimation is easy. International Journal of Modelling, Identification and Control, 4(1), 12-27, 2008.
11. M. Fliess and H. Mounier. Controllability and obesrvability of linear delay systems: an algebraic approach. ESIAM: Control, Optimisation and Calculus of Variations, 3, 301-314, 1998.
12. X.S. Gao, J. van der Hoeven, C.M. Yuan, and G. Zhang. Characteristic set method for differential-difference polynomial systems. Journal of Symbolic Computation, doi:10.1016/j.jsc.2008.02.010.
13. J.W. Grizzle. A linear algebraic framework for the analysis of discrete-time nonlinear systems. SIAM J. Control and Optimazation, 31(4), 1026-1044, 1993.
14. M. Halás. An algebraic framework generalizing the concept of transfer functions to nonlinear systems. Automatica, 44(5), 1181-1190, 2008.
15. M. Halás and Ü. Kotta. Pseudo-linear algebra: a powerful tool in unification of the study of nonlinear control systems. In Proc. of 7th IFAC Symposium NOLCOS, 2007.
16. M. Halás and Ü. Kotta. Transfer functions of discrete-time nonlinear control systems. Proc. of Estonian Academy of Science. Physics. Mathematics, 56(4), 322-335, 2007.
17. M. Halás, Ü. Kotta, Z. Li, H. Wang and C. Yuan. Submersive rational difference system and formal accessibility. Math. Mech. Research Preprints, 28, 40-57, 2009. (www.mmrc.iss.ac.cn/mmpreprints).
18. J. Johnson. Kähler differentials and differential algebra. Annals of Mathematics, 89(1), 92-98, 1969.
19. Ü. Kotta. Irreducibility conditions for nonlinear input-output difference equations. In Proc. of the 39th IEEE Conf. on Decision and Control, 4, 3404-3408, 2000.
20. Ü. Kotta, A. Zinober and P. Liu. Transfer equivalence and realization of nonlinear higher order input-output difference equations. Automatica, 37(11), 1771-1778, 2001.
21. Z. Li and I. Nemes. A modular algorithm for computing greatest common right divisors of Ore polynomials. In Proc. of 1997 International Symposium on Symbolic and Algebraic Computation, 282-289, ACM Press, 1997.
22. Z. Li, M. Ondera and H. Wang. Simplifying skew fractions modulo differential and difference relations. A poster presented at the 2008 International Symposium on Symbolic and Algebraic Computation, RISC-Linz, Austria, 2008.
23. L.A. Márquez-Martínez. Note sur l'accessibilité des systèmes non linéaires à retards. Comptes Rendus de l'Academie des Sciences Paris, 329, 545-550, 1999.
24. ∞. Journal of Symbolic Computation, 28(4-5), 631-656, 1999.
25. T. Mullari, Ü. Kotta and M. Tõnso. The connection between different static state feedback linearizability conditions of discrete time nonlinear control systems. In Proc. of European Control Conference, 4268-4275, 2007.
26. M. Ondera. GTF-Tools: A computer algebra package for generalized transfer functions. In Proc. of the 15th Mediterranean Conference on Control and Automation, Athens, Greece, 2007.
27. O. Ore. Theory of non-commutative polynomials. Annals of Mathematics, 34(22), 480-508, 1933.
28. M. Rosenlicht. On Liouville's theory of elementary functions. Pacific J. Math., 65(2), 485-492, 1976.