Generating Series for Interconnected Nonlinear Systems and the Formal Laplace-Borel Transform

GENERATING SERIES FOR INTERGONNECTED NONLINEAR SYSTEMS AND THE FORMAL LAPLACE-BOREL TRANSFORM Yaqin Li Old Dominion University, 2004 Director: Dr. W. Steven Gray Formal power series methods provide effective tools for nonlinear system analysis. For a broad range of analytic nonlinear systems, their input-output mapping can be described by a Fliess operator associated with a formal power series. In this dissertation, the inter­ connection of two Fliess operators is characterized by the generating series of the composite system. In addition, the formal Laplace-Borel transform of a Fliess operator is defined and its fundamental properties are presented. The formal Laplace-Borel transform produces an elegant description of system interconnections in a purely algebraic context. Specifically, four basic interconnections of Fliess operators are addressed: the parallel, product, cascade and feedback connections. For each interconnection, the generating series of the overall system is given, and a growth condition is developed, which guarantees the convergence property of the output of the corresponding Fliess operator. Motivated by the relationship between operations on formal power series and system interconnections, and following the idea of the classical integral Laplace-Borel transform, a new formal Laplace-Borel transform of a Fliess operator is proposed. The properties of this Laplace-Borel transform are provided, and in particular, a fundamental semigroup isomorphism is identified between the set of all locally convergent power series and the set of all well-defined Fliess operators. A software package was produced in Maple based on the ACE package developed by R eproduced with perm ission of the copyright owner. Further reproduction prohibited without perm ission.

[1]  C. Reutenauer Free Lie Algebras , 1993 .

[2]  J. Campbell,et al.  On a Law of Combination of Operators bearing on the Theory of Continuous Transformation Groups , 1896 .

[3]  Singh M. Nayan,et al.  On Fixed Points , 1981 .

[4]  Matthias Kawski Chronological Algebras And Nonlinear Control , 1994 .

[5]  M. Vidyasagar On the well-posedness of large-scale interconnected systems , 1980 .

[6]  Marcel Paul Schützenberger,et al.  On the Definition of a Family of Automata , 1961, Inf. Control..

[7]  Witold Respondek GEOMETRIC METHODS IN NONLINEAR CONTROL THEORY: A SURVEY , 1996 .

[8]  Eduardo Sontag,et al.  Generating series and nonlinear systems: Analytic aspects, local realizability, and i/o representations , 1992 .

[9]  Héctor J. Sussmann,et al.  Existence and uniqueness of minimal realizations of nonlinear systems , 1976, Mathematical systems theory.

[10]  Rachid Chabour,et al.  Singularity for static-state feedback linearizable bilinear systems , 1999, IEEE Trans. Autom. Control..

[11]  Ulrich Heckmanns Aspects of ultrametric spaces , 1998 .

[12]  Anthony M. Bloch,et al.  Nonlinear Dynamical Control Systems (H. Nijmeijer and A. J. van der Schaft) , 1991, SIAM Review.

[13]  A. Isidori,et al.  Nonlinear decoupling via feedback: A differential geometric approach , 1981 .

[14]  W. S. Gray,et al.  The formal Laplace-Borel transform, Fliess operators and the composition product , 2004, SSST 2004.

[15]  Jacob Kogan,et al.  Nonlinear control systems with vector cost , 1986 .

[16]  Harry L. Trentelman,et al.  The Behavioral Approach as a Paradigm for Modeling Interconnected Systems , 2003, Eur. J. Control.

[17]  Thomas Kailath,et al.  Linear Systems , 1980 .

[18]  F. Hausdorff,et al.  Die symbolische Exponentialformel in der Gruppentheorie , 2001 .

[19]  Noam Chomsky,et al.  The Algebraic Theory of Context-Free Languages* , 1963 .

[20]  W. Rugh,et al.  On a multidimensional S -transform and the realization problem for homogeneous nonlinear systems , 1977 .

[21]  Erwin Schh,et al.  Ultrametric Fixed Point Theorems and Applications , 2022 .

[22]  Héctor J. Sussmann,et al.  Noncommutative Power Series and Formal Lie-algebraic Techniques in Nonlinear Control Theory , 1997 .

[23]  B. Jakubczyk Existence and Uniqueness of Realizations of Nonlinear Systems , 2006 .

[24]  M. Lothaire,et al.  Applied Combinatorics on Words , 2005 .

[25]  M. Araki,et al.  A quantitative condition for the well-posedness of interconnected dynamical systems , 1983 .

[26]  B. I︠u︡. Sternin,et al.  Borel-Laplace Transform and Asymptotic Theory: Introduction to Resurgent Analysis , 1995 .

[27]  V. Hoang Ngoc Minh,et al.  Evaluation Transform , 1991, Theor. Comput. Sci..

[28]  H. F. Baker,et al.  Alternants and Continuous Groups , 1905 .

[29]  R. Ree,et al.  Lie Elements and an Algebra Associated With Shuffles , 1958 .

[30]  J. Berstel,et al.  Les séries rationnelles et leurs langages , 1984 .

[31]  W. Rugh Nonlinear System Theory: The Volterra / Wiener Approach , 1981 .

[32]  J. Willems Paradigms and puzzles in the theory of dynamical systems , 1991 .

[33]  M Lamnabhi A new symbolic calculus for the response of nonlinear systems , 1982 .

[34]  Kuo-Tsai Chen,et al.  Iterated Integrals and Exponential Homomorphisms , 1954 .