Continuity of Formal Power Series Products in Nonlinear Control Theory
arXiv:2102.05732 · doi:10.1007/s10208-022-09560-0
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.
arXiv comment26 pages, 1 figure
References in corpus (8)
- Faa di Bruno Hopf Algebra of the Output Feedback Group for Multivariable Fliess Operators
- A combinatorial Hopf algebra for nonlinear output feedback control systems
- Regularity properties of infinite-dimensional Lie groups, and semiregularity
- SISO Output Affine Feedback Transformation Group and Its Faa di Bruno Hopf Algebra
- Generating Series for Networks of Chen-Fliess Series
- Lie groups of controlled characters of combinatorial Hopf algebras
- Differentiability of the Evolution Map and Mackey Continuity
- Continuity of Chen-Fliess Series for Applications in System Identification and Machine Learning