{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T14:30:24Z","timestamp":1787322624453,"version":"build-2736575974"},"reference-count":25,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Control Optim."],"published-print":{"date-parts":[[2015,1]]},"abstract":"<jats:p>We study implicit systems of linear time-varying (LTV) difference equations with rational coefficients of arbitrary order and their solution spaces, called discrete LTV-behaviors. The signals are sequences, i.e., functions from the discrete time set of natural numbers into the complex numbers. The difference field of rational functions with complex coefficients gives rise to a noncommutative skew-polynomial algebra of difference operators that act on sequences via left shift. For this paper it is decisive that the ring of operators is a principal ideal domain and that nonzero rational functions have only finitely many poles and zeros and grow at most polynomially. Due to the poles a new definition of behaviors is required. For the latter we derive the important categorical duality between finitely generated left modules over the ring of operators and behaviors. The duality theorem implies the usual consequences for Willems' elimination, the fundamental principle, input\/output decompositions, and controllability. The generalization to autonomous discrete LTV-behaviors of the standard definition of uniformly exponentially stable (u.e.s.) state space systems is unsuitable since u.e.s. is not preserved by behavior isomorphisms. We define exponentially stable (e.s.) discrete LTV-behaviors by a new analytic condition on its trajectories. These e.s. behaviors are autonomous and asymptotically stable. Our principal result states that e.s. behaviors form a Serre category, i.e., are closed under isomorphisms, subbehaviors, factor behaviors, and extensions, or, equivalently, that the series connection of two e.s. input\/output behaviors is e.s. if and only the two blocks are. As corollaries we conclude various stability and instability results for autonomous behaviors. There is presently no algebraic characterization and test for e.s. of behaviors, but otherwise the results are constructive.<\/jats:p>","DOI":"10.1137\/140988498","type":"journal-article","created":{"date-parts":[[2015,9,2]],"date-time":"2015-09-02T10:31:35Z","timestamp":1441189895000},"page":"2725-2761","source":"Crossref","is-referenced-by-count":6,"title":["Exponentially Stable Linear Time-Varying Discrete Behaviors"],"prefix":"10.1137","volume":"53","author":[{"given":"H.","family":"Bourl\u00e8s","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"B.","family":"Marinescu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"U.","family":"Oberst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"key":"atypb1","unstructured":"N. Bourbaki,\n                      Commutative Algebra\n                      , Hermann, Paris, 1972."},{"key":"atypb2","doi-asserted-by":"crossref","unstructured":"H. Bourle\u0300s and B. Marinescu,\n                      Linear Time-Varying Systems\n                      , Springer, Berlin, 2011.","DOI":"10.1007\/978-3-642-19727-7"},{"key":"atypb3","doi-asserted-by":"publisher","unstructured":"H. Bourle\u0300s, B. Marinescu, and U. Oberst,\n                      The injectivity of the canonical signal module for multidimensional linear systems of difference equations with variable coefficients\n                      , Multidimens. Syst. Signal Process. (2015), DOI:10.1007\/s110451-015-0331-x.","DOI":"10.1007\/s110451-015-0331-x"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.4067\/S0716-09172012000400007"},{"key":"atypb6","doi-asserted-by":"crossref","unstructured":"H. Cartan and S. Eilenberg,\n                      Homological Algebra\n                      , Princeton University Press, Princeton, NJ, 1956.","DOI":"10.1515\/9781400883844"},{"key":"atypb7","first-page":"233","author":"Chyzak F.","year":"2007","journal-title":"New York"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2007.07.008"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(90)90062-Y"},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1109\/9.151095"},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(95)00029-1"},{"key":"atypb12","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(98)00041-3"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1007\/BF01347793"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1093\/imanum\/drq002"},{"key":"atypb15","doi-asserted-by":"crossref","unstructured":"D. Hinrichsen and A. J. Pritchard,\n                      \n                        Mathematical Systems Theory\n                        I\n                      \n                      , Springer, Berlin, 2005.","DOI":"10.1007\/b137541"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012904442239"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1137\/0323035"},{"key":"atypb18","doi-asserted-by":"crossref","unstructured":"P. Lancaster and L. Rodman,\n                      Algebraic Riccati Equations\n                      , Oxford University Press, Oxford, UK, 1995.","DOI":"10.1093\/oso\/9780198537953.001.0001"},{"key":"atypb19","unstructured":"J. C. McConnell and J. C. Robson,\n                      Noncommutative Noetherian Rings\n                      , John Wiley, Chichester, UK, 1987."},{"key":"atypb21","doi-asserted-by":"crossref","unstructured":"I.L. Popa, T. Ceaus\u0327u, and M. Megan,\n                      On Exponential Stability for Linear Discrete-Time Systems in Banach Spaces\n                      , arXiv:1305.2036v1, 2013.","DOI":"10.2298\/AADM120319008P"},{"key":"atypb22","doi-asserted-by":"crossref","unstructured":"M. Van der Put and M. F. Singer,\n                      Galois Theory of Difference Equations\n                      , Springer, New York, 1997.","DOI":"10.1007\/BFb0096118"},{"key":"atypb23","doi-asserted-by":"publisher","unstructured":"A. Quadrat,\n                      Grade filtration of linear functional systems\n                      , Acta Appl. Math., DOI:10.1007\/s10440-012-9791-2.","DOI":"10.1007\/s10440-012-9791-2"},{"key":"atypb24","unstructured":"A. Quadrat and D. Robertz,\n                      Baer's extension problem for multidimensional linear systems\n                      , in Proc. MTNS 2008."},{"key":"atypb25","unstructured":"W. J. Rugh,\n                      Linear System Theory\n                      , Prentice Hall, Upper Saddle River, NJ, 1996."},{"key":"atypb26","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/dni047"},{"key":"atypb27","doi-asserted-by":"publisher","unstructured":"I. Zidane, B. Marinescu, and M. Abbas-Turki,\n                      Linear time-varying control of the vibrations of flexible structures\n                      , IET Control Theory Appl., DOI:10.1049\/iet-cta.2013.1118, to appear.","DOI":"10.1049\/iet-cta.2013.1118,"}],"container-title":["SIAM Journal on Control and Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/140988498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T13:23:45Z","timestamp":1787318625000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/140988498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":25,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["10.1137\/140988498"],"URL":"https:\/\/doi.org\/10.1137\/140988498","relation":{},"ISSN":["0363-0129","1095-7138"],"issn-type":[{"value":"0363-0129","type":"print"},{"value":"1095-7138","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1]]}}}