Continuity of Formal Power Series Products in Nonlinear Control Theory
Peer reviewed, Journal article
Published version
Åpne
Permanent lenke
https://hdl.handle.net/11250/2992431Utgivelsesdato
2022Metadata
Vis full innførselSamlinger
- Institutt for matematiske fag [2359]
- Publikasjoner fra CRIStin - NTNU [37304]
Originalversjon
10.1007/s10208-022-09560-0Sammendrag
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 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.