Skip to main content
Book cover

Applications of Time Delay Systems pp 233–264Cite as

OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems

  • Chapter

Part of the Lecture Notes in Control and Information Sciences book series (LNCIS,volume 352)

Abstract

In the seventies, the study of transfer matrices of time-invariant linear systems of ordinary differential equations (ODEs) led to the development of the polynomial approach [20, 22, 44]. In particular, the univariate polynomial matrices play a central role in this approach (e.g., Hermite, Smith and Popov forms, invariant factors, primeness, Bézout/Diophantine equations).

Keywords

  • Linear System
  • Polynomial Ring
  • Noetherian Ring
  • Free Resolution
  • Weyl Algebra

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-49556-7_15
  • Chapter length: 32 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   129.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-49556-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   169.99
Price excludes VAT (USA)
Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Assan J. (1999) Analyse et synthèse de l’approche géométrique pour les systèmes linéaires sur un anneau. PhD thesis. Ecole Centrale de Nantes, France

    Google Scholar 

  2. Becker T., Weispfenning V. (1993) Gröbner Bases. A Computational Approach to Commutative Algebra. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

  3. Bender C. M., Dunne G. V., Mead L. R. (2000) Underdetermined systems of partial differential equations. J. Mathematical Physics 41:6388–6398

    CrossRef  MATH  MathSciNet  Google Scholar 

  4. Bose N. K. (1985) Multidimensional Systems Theory: Progress, Directions, and Open Problems. D. Reidel Publishing Company, Dordrecht

    MATH  Google Scholar 

  5. Chyzak F. (1998) Fonctions holonomes en calcul formel. PhD thesis, Ecole Polytechnique, France

    Google Scholar 

  6. Chyzak F., Mgfun Project. http://algo.inria.fr/chyzak/mgfun.html

    Google Scholar 

  7. Chyzak F., Salvy B. (1998) Non-commutative elimination in Ore algebras proves multivariate identities. J. Symbolic Computation 26:187–227

    CrossRef  MATH  MathSciNet  Google Scholar 

  8. Chyza F., Quadrat, A., Robertz D. (2002) OreModules project. http://wwwb.math.rwth-aachen.de/OreModules

    Google Scholar 

  9. Chyzak F., Quadrat A., Robertz D. (2003) Linear control systems over Ore algebras: Effective algorithms for the computation of parametrizations. In Proc. IFAC Workshop on Time-Delay Systems TDS03, INRIA Rocquencourt, France

    Google Scholar 

  10. Chyzak F., Quadrat A., Robertz D. (2004) OreModules: A symbolic package for the study of multidimensional linear systems. In Proc. Symposium MTNS04, Leuven, Belgium

    Google Scholar 

  11. Chyzak F., Quadrat A., Robertz D. (2005) Effective algorithms for parametrizing linear control systems over Ore algebras. Applicable Algebra in Engineering, Communication and Computing (AAECC) 16:319–376

    CrossRef  MATH  MathSciNet  Google Scholar 

  12. Conte G., Perdon A. M. (2000) Systems over rings: geometric theory and applications. Annual Reviews in Control 24:113–124

    Google Scholar 

  13. Cotroneo T. (2001) Algorithms in Behavioral Systems Theory. PhD thesis. University of Groningen, The Netherlands

    Google Scholar 

  14. Fliess M. (1991) Controllability revisited. In A. C. Antoulas ed., Mathematical System Theory. The influence of R. E. Kalman, Springer, Berlin Heidelberg New York

    Google Scholar 

  15. Fliess M., Mounier H. (1998) Controllability and observability of linear delay systems: an algebraic approach. ESAIM COCV 3:301–314.

    CrossRef  MATH  MathSciNet  Google Scholar 

  16. Galkowski K., Wood J. eds. (2001) Multidimensional Signals, Circuits and Systems, Taylor and Francis, London

    Google Scholar 

  17. Greuel G.-M., Pfister G. (2002) A Singular Introduction to Commutative Algebra. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

  18. Habets L. (1994) Algebraic and computational aspects of time-delay systems. PhD thesis, University of Eindhoven, The Netherlands

    MATH  Google Scholar 

  19. Habets L. (1996) Computational aspects of systems over rings — reactability and stabilizability. CWI Quarterly 9:85–95.

    MATH  MathSciNet  Google Scholar 

  20. Kailath T. (1980) Linear Systems. Prentice-Hall, Upper Saddle River

    MATH  Google Scholar 

  21. Kalman R. E., Falb P. L., Arbib M. A. (1969) Topics in Mathematical Systems Theory, McGraw-Hill, New York

    Google Scholar 

  22. Kučera V. (1979) Discrete Linear Control: The Polynomial Equation Approach, Wiley, London

    Google Scholar 

  23. Li H. (2002) Non-commutative Gröbner Bases and Filtered-Graded Transfer. Lecture Notes in Mathematics 1795, Springer, Berlin Heidelberg New York

    Google Scholar 

  24. Malgrange B. (1963) Systèmes à coefficients constants. Séminaire Bourbaki 1962/63, 246:1–11

    Google Scholar 

  25. McConnell J. C., Robson J. C. (2000) Noncommutative Noetherian Rings. American Mathematical Society, Providence

    Google Scholar 

  26. Mounier H. (1995) Propriétés structurelles des systèmes linéaires à retards: aspects théoriques et pratiques. PhD Thesis, University of Orsay, France

    Google Scholar 

  27. Mounier H., Rudolph J., Fliess M., Rouchon P. (1998) Tracking control of a vibrating string with an interior mass viewed as delay system. ESAIM COCV 3:315–321

    CrossRef  MATH  MathSciNet  Google Scholar 

  28. Oberst U. (1990) Multidimensional constant linear systems. Acta Appl. Math. 20:1–175

    CrossRef  MathSciNet  Google Scholar 

  29. Pillai H. K., Shankar S. (1998) A behavioral approach to control of distributed systems. SIAM J. Control and Optimization 37:388–408

    CrossRef  MathSciNet  Google Scholar 

  30. Polderman J. W., Willems J. C. (1998) Introduction to Mathematical Systems Theory. A Behavioral Approach. TAM 26, Springer, Berlin Heidelberg New York

    Google Scholar 

  31. Pommaret J.-F. (2001) Partial Differential Control Theory. Kluwer, Dordrecht

    MATH  Google Scholar 

  32. Pommaret J.-F., Quadrat A. (1998) Generalized Bezout Identity. Applicable Algebra in Engineering, Communication and Computing 9:91–116

    CrossRef  MATH  MathSciNet  Google Scholar 

  33. Pommaret, J.-F., Quadrat, A. (1999) Localization and parametrization of linear multidimensional control systems. Systems & Control Letters 37:247–260

    CrossRef  MATH  MathSciNet  Google Scholar 

  34. Pommaret J.-F., Quadrat A. (1999) Algebraic analysis of linear multidimensional control systems. IMA J. Control and Optimization 16:275–297

    CrossRef  MATH  MathSciNet  Google Scholar 

  35. Pommaret J.-F., Quadrat A. (2000) Equivalences of linear control systems. In Proc. Symposium MTNS 2000, Perpignan, France

    Google Scholar 

  36. Pommaret J.-F., Quadrat A. (2003) A functorial approach to the behaviour of multidimensional control systems. Applied Mathematics and Computer Science 13:7–13

    MATH  MathSciNet  Google Scholar 

  37. Pommaret J.-F., Quadrat A. (2004) A differential operator approach to multidimensional optimal control. International J. Control 77:821–836

    CrossRef  MATH  MathSciNet  Google Scholar 

  38. Quadrat A. (1999) Analyse algébrique des systèmes de contrôle linéaires multidimensionnels. PhD thesis, Ecole Nationale des Ponts et Chaussées, France

    Google Scholar 

  39. Quadrat A. (2005) An introduction to the algebraic theory of linear systems of partial differential equations, in preparation.

    Google Scholar 

  40. Quadrat A., Robertz D. (2005) Parametrizing all solutions of uncontrollable multidimensional linear systems. In Proc. 16th IFAC World Congress, Prague, Czech Republic

    Google Scholar 

  41. Quadrat A., Robertz D. (2005) On the blowing-up of stably-free behaviours. In Proc. CDC-ECC05, Sevilla, Spain

    Google Scholar 

  42. Quadrat A., Robertz D. (2005) Constructive computation of bases of free modules over the Weyl algebras. INRIA report 5181 (www.inria.fr/rrrt/rr-5181.html), submitted for publication.

    Google Scholar 

  43. Sontag E. (1976) Linear systems over commutative rings: a survey. Ricerche di Automatica 7:1–34

    Google Scholar 

  44. Rosenbrock H. H. (1970) State Space and Multivariable Theory. Wiley, London

    MATH  Google Scholar 

  45. Rotman J. J. (1979) An Introduction to Homological Algebra. Academic Press, New York

    MATH  Google Scholar 

  46. Wonham M. (1985) Linear Multivariable Control: a Geometric Approach. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

  47. Wood J. (2000) Modules and behaviours in nD systems theory. Multidimensional Systems and Signal Processing 11:11–48

    CrossRef  MATH  MathSciNet  Google Scholar 

  48. Youla D. C., Gnavi G. (1979) Notes on n-dimensional system theory. IEEE Transactions on Circuits & Systems 26:259–294

    MathSciNet  Google Scholar 

  49. Zerz E. (2000) Topics in Multidimensional Linear Systems Theory. Lecture Notes in Control and Information Sciences 256, Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ALGO project, INRIA Rocquencourt, Domaine de Voluceau, BP 105, 78153, Le Chesnay Cedex, France

    Frédéric Chyzak

  2. CAFE project, INRIA Sophia Antipolis, 2004, Route des Lucioles, BP 93, 06902, Sophia Antipolis Cedex, France

    Alban Quadrat

  3. Lehrstuhl B für Mathematik, RWTH - Aachen, Templergraben 64, 52056, Aachen, Germany

    Daniel Robertz

Authors
  1. Frédéric Chyzak
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alban Quadrat
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daniel Robertz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. ECE Department, Boise State University, 1910 University Dr., Boise, ID, 83725-2100, USA

    John Chiasson

  2. UMR CNRS 6597, Ecole Centrale de Nantes, IRCCyN, 1 rue de la Noë, BP 92101, 44321, Nantes, France

    Jean Jacques Loiseau

Rights and permissions

Reprints and Permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Chyzak, F., Quadrat, A., Robertz, D. (2007). OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems. In: Chiasson, J., Loiseau, J.J. (eds) Applications of Time Delay Systems. Lecture Notes in Control and Information Sciences, vol 352. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49556-7_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-49556-7_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-49555-0

  • Online ISBN: 978-3-540-49556-7

  • eBook Packages: EngineeringEngineering (R0)