Skip to main content
SpringerLink
Log in

Implicit linear discrete-time systems

  • Published:
Mathematics of Control, Signals and Systems Aims and scope Submit manuscript

Abstract

This paper studies various properties of implicit linear discrete-time systems given by a linear difference equationEx k+1 =Fx k +Gu k . The topics considered include a basic characterization of these subspaces which describe acceptance of all input sequences, the uniqueness property and regularity, and the notion of controllability.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. B. D. O. Anderson, Output-nulling invariant and controllability subspaces, IFAC Sixth World Congress, Cambridge, MA, 1975, paper 43.6.

  2. J. D. Aplevich, Time domain input-output representations of linear systems,Automatica,17, (1981), 509–522.

    Article  MathSciNet  MATH  Google Scholar 

  3. J. D. Aplevich, Minimal representations of implicit linear systems,Automatica,21 (1985) 259–269.

    Article  MathSciNet  MATH  Google Scholar 

  4. V. A. Armentano, The pencil (sE-A) and controllability-observability for generalized linear systems: a geometric approach,SIAM J. Control Optim.,24 (1986), 616–638.

    Article  MathSciNet  MATH  Google Scholar 

  5. N. Aronszajn, and U. Fixman, Algebraic spectral problem,Studia Math.,30 (1968), 273–338.

    MathSciNet  MATH  Google Scholar 

  6. A. Banaszuk, A new approach to regular descriptor systems,Bull. Acad. Polon. Sci. (to appear).

  7. A. Banaszuk, M. Kocięcki, and K. M. Przyłuski, Remarks on the theory of implicit linear discrete-time systems, Preprint 397, Institute of Mathematics, Polish Academy of Sciences, 1987.

  8. A. Banaszuk, M. Kocięcki, and K. M. Przyłuski Remarks on the theory of implicit linear discrete-time systems,Proceedings of the 1987 International Symposium on Singular Systems., Atlanta, GA, 1987, pp. 44–47.

  9. A. Banaszuk, M. Kocięcki, and K. M. Przyłuski, Remarks on controllability of implicit linear discrete-time systems,Systems Control Lett.,10 (1988), 67–70.

    Article  MathSciNet  MATH  Google Scholar 

  10. A. Banaszuk, M. Kocięcki, and K. M. Przyłuski, On almost, invariant subspaces for implicit linear discrete-time systems,Systems Control Lett.,11 (1988), 289–297.

    Article  MathSciNet  MATH  Google Scholar 

  11. A. Banaszuk, M. Kocięcki, and K. M. Przyłuski, Duality of various notions of observability and controllability for implicit linear discrete-time systems (submitted).

  12. A. Banaszuk, M. Kocięcki, and K. M. Przyłuski, Remarks on observability of implicit linear discrete-time systems (submitted).

  13. A. Banaszuk, M. Kocięcki, and K. M. Przyłuski, On Hautus-type conditions for controllability of implicit linear discrete-time systems.Circuits Systems Signal Process. (to appear).

  14. A. Banaszuk, M. Kocięcki, and K. M. Przyłuski, On Kalman decomposition for implicit linear discrete-time systems, and its applications (submitted).

  15. A. Banaszuk, M. Kocięcki, and K. M. Przyłuski, The disturbance decoupling problem for implicit linear discrete-time systems (submitted).

  16. H. Bart, Meromorphic Operator Valued Functions, Thesis, Free University, Amsterdam, 1973; Mathematical Center Tracts, No. 44, 1973.

  17. H. Bart, M. Kaashoek, and C. Lay, Stability properties of finite meromorphic operator function,Nederl. Akad. Wetensch. Indag. Math.,36 (1974), 217–259.

    MathSciNet  Google Scholar 

  18. H. Bart, and D. C. Lay, Poles of a generalized resolvent operator,Proc. Royal Irish Acad.,74 (1974), 147–168.

    MathSciNet  MATH  Google Scholar 

  19. G. Basile, and G. Marro, Controlled and conditioned invariant subspaces in linear systems theory,J. Optim. Theory Appl.,3 (1969), 306–315.

    Article  MathSciNet  MATH  Google Scholar 

  20. D. J. Bender, Descriptor Systems and Geometric Control Theory, Ph.D. Dissertation, University of California at Santa Barbara, 1985.

  21. D. J. Bender, Generalized output-nulling subspaces recursions for generalized linear systems (submitted).

  22. P. Bernhard, On singular implicit linear dynamical systems,SIAM J. Control Optim.,20 (1982), 612–633.

    Article  MathSciNet  MATH  Google Scholar 

  23. J. E. Boyarincev,Regular and Singular Systems of Linear Ordinary Differential Equations, Nauka, Novosibirsk, 1980 (in Russian).

    Google Scholar 

  24. S. L. Campbell,Singular Systems of Differential Equations, Pitman, San Francisco, Vol. 1: 1980, Vol. 2: 1982.

    MATH  Google Scholar 

  25. D. Cobb, Feedback and pole placement in descriptor variable systems,Internat. J. Control,33 (1981), 1135–1146.

    MathSciNet  MATH  Google Scholar 

  26. D. Cobb, Controllability, observability, and duality in singular systems,IEEE Trans Automat. Control,29 (1984), 1076–1082.

    Article  MathSciNet  Google Scholar 

  27. Ch. V. Coffmann, and J. J. Schäffer, Dichotomies for linear difference equations,Math. Ann.,172 (1967), 139–166.

    Article  MathSciNet  Google Scholar 

  28. P. M. Cohn,Algebra, Vols. 1 and 2, Wiley, London, 1977.

    MATH  Google Scholar 

  29. J. Dieudonne, Sur la reduction canonique des couples des matrices,Bull. Soc. Math. France,74 (1946), 130–146.

    MathSciNet  MATH  Google Scholar 

  30. J. Dugundii, and A. Granas,Fixed Point Theory, Polish Scientific Publishers, Warszawa, 1982.

    Google Scholar 

  31. A. Favini, Controllability conditions for linear degenerate evolution systems,Appl. Math. Optim.,6 (1980), 153–168.

    Article  MathSciNet  MATH  Google Scholar 

  32. F. R. Gantmacher,The Theory of Matrices, Vols. 1 and 2, Chelsea, New York, 1960.

    Google Scholar 

  33. T. Kato, Perturbation theory for nullity deficiency, and other quantities of linear operators,J. Analyse Math.,6 (1958), 261–322.

    Article  MathSciNet  MATH  Google Scholar 

  34. F. L. Lewis, Descriptor systems: expanded descriptor equation, and Markov parameters,IEEE Trans. Automat. Control,28 (1983), 623–627.

    Article  MATH  Google Scholar 

  35. F. L. Lewis, Fundamental, reachability and observability matrices for discrete descriptor systems,IEEE Trans. Automat. Control,30 (1985), 502–505.

    Article  MathSciNet  MATH  Google Scholar 

  36. F. L. Lewis, A survey of, linear singular systems,Circuits Systems Signal Process.,5 (1986), 3–36.

    Article  MathSciNet  MATH  Google Scholar 

  37. F. L. Lewis, Subspace recursions and structure algorithm for singular systems,Proceedings of the 26th IEEE Conference on Decision and Control, Los Angeles, CA, 1987, pp. 1138–1139.

  38. J. J. Loiseau, Some geometric considerations about the Kronecker normal form,Internat. J. Control,42 (1985), 1411–1431.

    MathSciNet  MATH  Google Scholar 

  39. D. G. Luenberger, Dynamic systems in descriptor form,IEEE Trans. Automat. Control,22 (1977), 312–321.

    Article  MathSciNet  MATH  Google Scholar 

  40. D. G. Luenberger, Time-invariant descriptor systems,Automatica,14 (1978), 473–481.

    Article  MATH  Google Scholar 

  41. D. G. Luenberger, and A. Arbel, Singular dynamic Leontief model,Econometrica,45 (1977), 991–995.

    Article  MATH  Google Scholar 

  42. M. Malabre, Geometric characterization of “complete controllability indices” for singular systems,Systems Control Lett.,9 (1987), 323–327.

    Article  MathSciNet  MATH  Google Scholar 

  43. M. Malabre, More geometry about singular systems,Proceedings of the 26th IEEE Conference on Decision and Control, Los Angeles, CA, 1987, pp. 1138–1139.

  44. M. D. Mesarovič, and Y. Takahara,General Systems Theory: Mathematical Foundations, Academic Press, New York, 1975.

    MATH  Google Scholar 

  45. K. Özçaldiran, Control of Descriptor Systems, Ph.D. Thesis, Georgia Institute of Technology, 1985.

  46. K. Özçaldiran, A geometric characterization of the reachable and the controllable subspace of descriptor systems,Circuits Systems Signal Process.,5 (1986), 37–48.

    Article  MathSciNet  MATH  Google Scholar 

  47. K. Özçaldiran, Geometric notes on descriptor systemsProceedings of the 26th IEEE Conference on Decision and Control, Los Angeles, CA, 1987, pp. 1134–1137.

  48. K. Özçaldiran and F. L. Lewis, Generalized reachability subspaces for singular systems (submitted).

  49. L. Pandolfi, Controllability and stabilization for linear systems of algebraic and differential equations,J. Optim. Theory Appl.,30 (1980), 601–620.

    Article  MathSciNet  MATH  Google Scholar 

  50. J. M. Schumacher, Algebraic characterization of almost invarianceInternat. J. Control,38, (1983). 107–124.

    MathSciNet  MATH  Google Scholar 

  51. Singular Systems of Differential Equations (J. E. Boyarincev, ed.), Nauka, Novosibirsk, 1982 (in Russian)

    Google Scholar 

  52. A. Tarski, A lattice theoretical fixpoint theorem and its applications,Pacific J. Math.,5 (1955), 285–309.

    MathSciNet  MATH  Google Scholar 

  53. P. Van Dooren, The generalized eigenstructure problem in linear system theory,IEEE Trans. Automat. Control,26 (1981), 111–129.

    Article  MathSciNet  MATH  Google Scholar 

  54. G. C. Verghese, Further notes on singular descriptions,Proceedings of the 1981 Joint Automatic Control Conference, Charlottesville, VA, 1981, paper TA-4B.

  55. G. C. Verghese, B. Levy, and T. Kalilath, A generalized state space for singular systems,IEEE Trans. Automat. Control,26 (1981), 811–831.

    Article  MathSciNet  MATH  Google Scholar 

  56. J. C. Willems, From time series to linear systems, Part I: Finite dimensional linear time invariant systems,Automatica,22 (1986), 561–580.

    Article  MathSciNet  MATH  Google Scholar 

  57. K. T. Wong, The eigenvalue problem λTx+Sx, J. Differential Equations,16 (1974), 270–280.

    Article  MathSciNet  MATH  Google Scholar 

  58. W. M. Wonham,Linear Multivariable Control: A Geometric Approach, Springer-Verlag, New York, 1979.

    MATH  Google Scholar 

  59. T. Yamada, and D. G. Luenberger, Generic controllability theorems for descriptor systems,IEEE Trans. Automat. Control,30 (1985), 144–152.

    Article  MathSciNet  MATH  Google Scholar 

  60. E. L. Yip, and R. F. Sincovec, Controllability and observability of continuous descriptor systems,IEEE Trans. Automat. Control.,26 (1981), 702–707.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Control and Industrial Electronics, Warsaw University of Technology, Koszykowa 75, 00-662, Warszawa, Poland

    A. Banaszuk & M. Kocięcki

  2. Institute of Mathematics, Polish Academy of Sciences, Sniadeckich 8, P.O. Box 137, 00-950, Warszawa, Poland

    K. M. Przyłuski

Authors
  1. A. Banaszuk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Kocięcki
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. K. M. Przyłuski
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work was performed under the auspices of Fund RP.I.02: Teoria sterowania i optymalizacji ciągłych układów dynamicznych i procesów dyskretnych.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Banaszuk, A., Kocięcki, M. & Przyłuski, K.M. Implicit linear discrete-time systems. Math. Control Signal Systems 3, 271–297 (1990). https://doi.org/10.1007/BF02551372

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02551372

Key words

Search

Navigation