Continuity of formal power series products in nonlinear control theory
From MaRDI portal
(Redirected from Publication:6101265)
Chen-Fliess serieslocally convex Lie groupnonlinear control systemsreal analyticregularity of Lie groupsSilva spacesystem interconnection
Connections of Hopf algebras with combinatorics (16T30) Infinite-dimensional Lie groups and their Lie algebras: general properties (22E65) Locally convex Fréchet spaces and (DF)-spaces (46A04) Spaces defined by inductive or projective limits (LB, LF, etc.) (46A13) Banach sequence spaces (46B45) Applications of operator theory in systems, signals, circuits, and control theory (47N70) Nonlinear systems in control theory (93C10)
Abstract: Formal power series products appear in nonlinear control theory when systems modeled by Chen-Fliess series are interconnected to form new systems. In fields like adaptive control and learning systems, the coefficients of these formal power series are estimated sequentially with real-time data. The main goal of the present article is to prove the continuity and analyticity of such products with respect to several natural (locally convex) topologies on spaces of locally convergent formal power series in order to establish foundational properties behind these technologies. In addition, it is shown that a transformation group central to describing the output feedback connection is in fact an analytic Lie group in this setting with certain regularity properties.
Recommendations
Cites work
- A combinatorial Hopf algebra for nonlinear output feedback control systems
- Algebras whose groups of units are Lie groups
- An algebraic approach to nonlinear functional expansions
- Analytic functions in topological vector-spaces
- Character groups of Hopf algebras as infinite-dimensional Lie groups
- Differentiability of the evolution map and Mackey continuity
- Faà di Bruno Hopf algebra of the output feedback group for multivariable Fliess operators
- Fliess operators on \(L_{p}\) spaces: convergence and continuity
- Fonctionnelles causales non linéaires et indéterminées non commutatives
- Generating Series for Interconnected Analytic Nonlinear Systems
- Generating series for networks of Chen-Fliess series
- Hopf algebras in renormalisation
- scientific article; zbMATH DE number 3132148 (Why is no real title available?)
- scientific article; zbMATH DE number 3718951 (Why is no real title available?)
- scientific article; zbMATH DE number 46299 (Why is no real title available?)
- scientific article; zbMATH DE number 1077733 (Why is no real title available?)
- scientific article; zbMATH DE number 2024859 (Why is no real title available?)
- scientific article; zbMATH DE number 1858015 (Why is no real title available?)
- Inductive limits of topologies, their direct products, and problems related to algebraic structures
- Left inversion of analytic nonlinear SISO systems via formal power series methods
- Lie groups of controlled characters of combinatorial Hopf algebras
- Nonlinear control systems.
- Nonlinear system identification for multivariable control via discrete-time Chen-Fliess series
- On the Radius of Convergence of Interconnected Analytic Nonlinear Input-Output Systems
- Ordinary differential equations in Banach spaces
- Paratopological and semitopological groups versus topological groups
- Polynomials and multilinear mappings in topological vector-spaces
- Realisation locale des systèmes non linéaires, algèbres de Lie filtrees transitives et séries generatrices non commutatives
- Remarks on infinite systems of ordinary differential equations
- SISO Output Affine Feedback Transformation Group and Its Faà di Bruno Hopf Algebra
- The Hopf algebra of Fliess operators and its dual pre-Lie algebra.
- The tame Butcher group
- Towards a Lie theory of locally convex groups
- When unit groups of continuous inverse algebras are regular Lie groups
This page was built for publication: Continuity of formal power series products in nonlinear control theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6101265)
