-
Parameter Dependent Chen--Fliess Series and Their Nonrecursive Interconnections
Authors:
W. Steven Gray,
Natalie Pham
Abstract:
A class of parameter dependent Chen--Fliess series is introduced where the series coefficients are taken from a noncommutative ring of multivariable differential operators. Such series are shown in the linear case to represent formal solutions to Cauchy initial value problems for nonhomogeneous PDEs and thus are useful for characterizing the input-output maps of distributed control systems. It is…
▽ More
A class of parameter dependent Chen--Fliess series is introduced where the series coefficients are taken from a noncommutative ring of multivariable differential operators. Such series are shown in the linear case to represent formal solutions to Cauchy initial value problems for nonhomogeneous PDEs and thus are useful for characterizing the input-output maps of distributed control systems. It is also shown that this class of functional series is almost closed under the set of nonrecursive interconnections, that is, any finite combination of parallel and series interconnections without a closed-loop. Some sufficient conditions are needed for the series interconnection. Specific examples are given involving the transport equation and the wave equation.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
On the Post-Lie Structure in SISO Affine Feedback Control Systems
Authors:
Kurusch Ebrahimi-Fard,
W. Steven Gray,
Venkatesh G. S.
Abstract:
The main objective of this work is to show that the single-input, single-output (SISO) affine feedback group, a transformation group in the context of the affine feedback interconnection of Chen-Fliess series, is a post-group in the sense of Bai, Guo, Sheng and Tang.
The main objective of this work is to show that the single-input, single-output (SISO) affine feedback group, a transformation group in the context of the affine feedback interconnection of Chen-Fliess series, is a post-group in the sense of Bai, Guo, Sheng and Tang.
△ Less
Submitted 26 March, 2024; v1 submitted 7 November, 2023;
originally announced November 2023.
-
Zeroing the Output of a Nonlinear System Without Relative Degree
Authors:
W. Steven Gray,
Kurusch Ebrahimi-Fard,
Alexander Schmeding
Abstract:
The goal of this paper is to establish some facts concerning the problem of zeroing the output of an input-output system that does not have relative degree. The approach taken is to work with systems that have a Chen-Fliess series representation. The main result is that a class of generating series called primely nullable series provides the building blocks for solving this problem using the shuff…
▽ More
The goal of this paper is to establish some facts concerning the problem of zeroing the output of an input-output system that does not have relative degree. The approach taken is to work with systems that have a Chen-Fliess series representation. The main result is that a class of generating series called primely nullable series provides the building blocks for solving this problem using the shuffle algebra. It is shown that the shuffle algebra on the set of generating polynomials is a unique factorization domain so that any polynomial can be uniquely factored modulo a permutation into its irreducible elements for the purpose of identifying nullable factors. This is achieved using the fact that this shuffle algebra is isomorphic to the symmetric algebra over the vector space spanned by Lyndon words. A specific algorithm for factoring generating polynomials into its irreducible factors is presented based on the Chen-Fox-Lyndon factorization of words.
△ Less
Submitted 3 June, 2023;
originally announced June 2023.
-
Entropy of Generating Series for Nonlinear Input-Output Systems and Their Interconnections
Authors:
W. Steven Gray
Abstract:
This paper has two main objectives. The first is to introduce a notion of entropy that is well suited for the analysis of nonlinear input-output systems that have a Chen-Fliess series representation. The latter is defined in terms of its generating series over a noncommutative alphabet. The idea is to assign an entropy to a generating series as an element of a graded vector space. The second objec…
▽ More
This paper has two main objectives. The first is to introduce a notion of entropy that is well suited for the analysis of nonlinear input-output systems that have a Chen-Fliess series representation. The latter is defined in terms of its generating series over a noncommutative alphabet. The idea is to assign an entropy to a generating series as an element of a graded vector space. The second objective is to describe the entropy of generating series originating from interconnected systems of Chen-Fliess series that arise in the context of control theory. It is shown that one set of interconnections can never increase entropy as defined here, while a second set has the potential to do so. The paper concludes with a brief introduction to an entropy ultrametric space and some open questions.
△ Less
Submitted 25 October, 2022; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Formal Power Series Approach to Nonlinear Systems with Additive Static Feedback
Authors:
G. S. Venkatesh,
W. Steven Gray
Abstract:
The goal of this paper is to compute the generating series of a closed-loop system when the plant is described in terms of a Chen-Fliess series and an additive static output feedback is applied. The first step is to consider the so called Wiener-Fliess connection consisting of a Chen-Fliess series followed by a memoryless function. Of particular importance will be the contractive nature of this ma…
▽ More
The goal of this paper is to compute the generating series of a closed-loop system when the plant is described in terms of a Chen-Fliess series and an additive static output feedback is applied. The first step is to consider the so called Wiener-Fliess connection consisting of a Chen-Fliess series followed by a memoryless function. Of particular importance will be the contractive nature of this map, which is needed to show that the closed-loop system has a Chen-Fliess series representation. To explicitly compute the generating series, two Hopf algebras are needed, the existing output feedback Hopf algebra used to describe dynamic output feedback, and the Hopf algebra of the shuffle group. These two combinatorial structures are combined to compute what will be called the Wiener-Fliess feedback product. It will be shown that this product has a natural interpretation as a transformation group acting on the plant and preserves the relative degree of the plant. The convergence of the Wiener-Fliess composition product and the additive static feedback product are completely characterized.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
Additive Networks of Chen-Fliess Series: Local Convergence and Relative Degree
Authors:
W. Steven Gray,
Luis A. Duffaut Espinosa,
Kurusch Ebrahimi-Fard
Abstract:
Given an additive network of input-output systems where each node of the network is modeled by a locally convergent Chen-Fliess series, two basic properties of the network are established. First, it is shown that every input-output map between a given pair of nodes has a locally convergent Chen-Fliess series representation. Second, sufficient conditions are given under which the input-output map b…
▽ More
Given an additive network of input-output systems where each node of the network is modeled by a locally convergent Chen-Fliess series, two basic properties of the network are established. First, it is shown that every input-output map between a given pair of nodes has a locally convergent Chen-Fliess series representation. Second, sufficient conditions are given under which the input-output map between a pair of nodes has a well defined relative degree as defined by its generating series. This analysis leads to the conclusion that this relative degree property is generic in a certain sense.
△ Less
Submitted 18 April, 2021;
originally announced April 2021.
-
Continuity of Formal Power Series Products in Nonlinear Control Theory
Authors:
W. Steven Gray,
Mathias Palmstrøm,
Alexander Schmeding
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 res…
▽ More
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.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
Once Upon A Time In Visualization: Understanding the Use of Textual Narratives for Causality
Authors:
Arjun Choudhry,
Mandar Sharma,
Pramod Chundury,
Thomas Kapler,
Derek W. S. Gray,
Naren Ramakrishnan,
Niklas Elmqvist
Abstract:
Causality visualization can help people understand temporal chains of events, such as messages sent in a distributed system, cause and effect in a historical conflict, or the interplay between political actors over time. However, as the scale and complexity of these event sequences grows, even these visualizations can become overwhelming to use. In this paper, we propose the use of textual narrati…
▽ More
Causality visualization can help people understand temporal chains of events, such as messages sent in a distributed system, cause and effect in a historical conflict, or the interplay between political actors over time. However, as the scale and complexity of these event sequences grows, even these visualizations can become overwhelming to use. In this paper, we propose the use of textual narratives as a data-driven storytelling method to augment causality visualization. We first propose a design space for how textual narratives can be used to describe causal data. We then present results from a crowdsourced user study where participants were asked to recover causality information from two causality visualizations--causal graphs and Hasse diagrams--with and without an associated textual narrative. Finally, we describe CAUSEWORKS, a causality visualization system for understanding how specific interventions influence a causal model. The system incorporates an automatic textual narrative mechanism based on our design space. We validate CAUSEWORKS through interviews with experts who used the system for understanding complex events.
△ Less
Submitted 6 September, 2020;
originally announced September 2020.
-
Generating Series for Networks of Chen-Fliess Series
Authors:
W. Steven Gray,
Kurusch Ebrahimi-Fard
Abstract:
Consider a set of single-input, single-output nonlinear systems whose input-output maps are described only in terms of convergent Chen-Fliess series without any assumption that finite dimensional state space models are available. It is shown that any additive or multiplicative interconnection of such systems always has a Chen-Fliess series representation that can be computed explicitly in terms of…
▽ More
Consider a set of single-input, single-output nonlinear systems whose input-output maps are described only in terms of convergent Chen-Fliess series without any assumption that finite dimensional state space models are available. It is shown that any additive or multiplicative interconnection of such systems always has a Chen-Fliess series representation that can be computed explicitly in terms of iterated formal Lie derivatives.
△ Less
Submitted 31 October, 2020; v1 submitted 1 July, 2020;
originally announced July 2020.
-
Continuity of Chen-Fliess Series for Applications in System Identification and Machine Learning
Authors:
Rafael Dahmen,
W. Steven Gray,
Alexander Schmeding
Abstract:
Model continuity plays an important role in applications like system identification, adaptive control, and machine learning. This paper provides sufficient conditions under which input-output systems represented by locally convergent Chen-Fliess series are jointly continuous with respect to their generating series and as operators map** a ball in an $L_p$-space to a ball in an $L_q$-space, where…
▽ More
Model continuity plays an important role in applications like system identification, adaptive control, and machine learning. This paper provides sufficient conditions under which input-output systems represented by locally convergent Chen-Fliess series are jointly continuous with respect to their generating series and as operators map** a ball in an $L_p$-space to a ball in an $L_q$-space, where $p$ and $q$ are conjugate exponents. The starting point is to introduce a class of topological vector spaces known as Silva spaces to frame the problem and then to employ the concept of a direct limit to describe convergence. The proof of the main continuity result combines elements of proofs for other forms of continuity appearing in the literature to produce the desired conclusion.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Combining Learning and Model Based Control via Discrete-Time Chen-Fliess Series
Authors:
W. Steven Gray,
G. S. Venkatesh,
Luis A. Duffaut Espinosa
Abstract:
A learning control system is presented suitable for control affine nonlinear plants based on discrete-time Chen-Fliess series and capable of incorporating knowledge of a given physical model. The underlying noncommutative algebraic and combinatorial structures needed to realize the multivariable case are also described. The method is demonstrated using a two-input, two-output Lotka-Volterra system…
▽ More
A learning control system is presented suitable for control affine nonlinear plants based on discrete-time Chen-Fliess series and capable of incorporating knowledge of a given physical model. The underlying noncommutative algebraic and combinatorial structures needed to realize the multivariable case are also described. The method is demonstrated using a two-input, two-output Lotka-Volterra system.
△ Less
Submitted 4 August, 2020; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Combinatorial Hopf algebra for interconnected nonlinear systems
Authors:
Luis A. Duffaut Espinosa,
Kurusch Ebrahimi-Fard,
W. Steven Gray
Abstract:
A detailed expose of the Hopf algebra approach to interconnected input-output systems in nonlinear control theory is presented. The focus is on input-output systems that can been represented in terms of Chen-Fliess functional expansions or Fliess operators. This provides a starting point for a discrete-time version of this theory. In particular, the notion of a discrete-time Fliess operator is giv…
▽ More
A detailed expose of the Hopf algebra approach to interconnected input-output systems in nonlinear control theory is presented. The focus is on input-output systems that can been represented in terms of Chen-Fliess functional expansions or Fliess operators. This provides a starting point for a discrete-time version of this theory. In particular, the notion of a discrete-time Fliess operator is given and a class of parallel interconnections is described.
△ Less
Submitted 8 May, 2018;
originally announced May 2018.
-
The Faa di Bruno Hopf algebra for multivariable feedback recursions in the center problem for higher order Abel equations
Authors:
Kurusch Ebrahimi-Fard,
W. Steven Gray
Abstract:
Poincare's center problem asks for conditions under which a planar polynomial system of ordinary differential equations has a center. It is well understood that the Abel equation naturally describes the problem in a convenient coordinate system. In 1989, Devlin described an algebraic approach for constructing sufficient conditions for a center using a linear recursion for the generating series of…
▽ More
Poincare's center problem asks for conditions under which a planar polynomial system of ordinary differential equations has a center. It is well understood that the Abel equation naturally describes the problem in a convenient coordinate system. In 1989, Devlin described an algebraic approach for constructing sufficient conditions for a center using a linear recursion for the generating series of the solution to the Abel equation. Subsequent work by the authors linked this recursion to feedback structures in control theory and combinatorial Hopf algebras, but only for the lowest degree case. The present work introduces what turns out to be the nontrivial multivariable generalization of this connection between the center problem, feedback control, and combinatorial Hopf algebras. Once the picture is completed, it is possible to provide generalizations of some known identities involving the Abel generating series. A linear recursion for the antipode of this new Hopf algebra is also developed using coderivations. Finally, the results are used to further explore what is called the composition condition for the center problem.
△ Less
Submitted 26 November, 2017; v1 submitted 15 March, 2017;
originally announced March 2017.
-
Collision Avoidance for Bi-Steerable Car Using Analytic Left Inversion
Authors:
Luis A. Duffaut Espinosa,
W. Steven Gray
Abstract:
A case study is presented of a collision avoidance system that directly integrates the kinematics of a bi-steerable car with a suitable path planning algorithm. The first step is to identify a path using the method of rapidly exploring random trees, and then a spline approximation is computed. The second step is to solve the output tracking problem by explicitly computing the left inverse of the k…
▽ More
A case study is presented of a collision avoidance system that directly integrates the kinematics of a bi-steerable car with a suitable path planning algorithm. The first step is to identify a path using the method of rapidly exploring random trees, and then a spline approximation is computed. The second step is to solve the output tracking problem by explicitly computing the left inverse of the kinematics of the system to render the Taylor series of the desired input for each polynomial section of the spline approximation. The method is demonstrated by numerical simulation.
△ Less
Submitted 19 March, 2016;
originally announced March 2016.
-
Evaluating Generating Functions for Periodic Multiple Polylogarithms
Authors:
Kurusch Ebrahimi-Fard,
W. Steven Gray,
Dominique Manchon
Abstract:
The goal of the paper is to give a systematic way to numerically evaluate the generating function of a periodic multiple polylogarithm using a Chen-Fliess series with a rational generating series. The idea is to realize the corresponding Chen-Fliess series as a bilinear dynamical system. A standard form for such a realization is given. The method is also generalized to the case where the multiple…
▽ More
The goal of the paper is to give a systematic way to numerically evaluate the generating function of a periodic multiple polylogarithm using a Chen-Fliess series with a rational generating series. The idea is to realize the corresponding Chen-Fliess series as a bilinear dynamical system. A standard form for such a realization is given. The method is also generalized to the case where the multiple polylogarithm has non-periodic components. This allows one, for instance, to numerically validate the Hoffman conjecture. Finally, a setting in terms of dendriform algebras is provided.
△ Less
Submitted 18 March, 2016;
originally announced March 2016.
-
Discrete-Time Approximations of Fliess Operators
Authors:
W. Steven Gray,
Luis A. Duffaut Espinosa,
Kurusch Ebrahimi-Fard
Abstract:
A convenient way to represent a nonlinear input-output system in control theory is via a Chen-Fliess functional expansion or Fliess operator. The general goal of this paper is to describe how to approximate Fliess operators with iterated sums and to provide accurate error estimates for two different scenarios, one where the series coefficients are growing at a local convergence rate, and the other…
▽ More
A convenient way to represent a nonlinear input-output system in control theory is via a Chen-Fliess functional expansion or Fliess operator. The general goal of this paper is to describe how to approximate Fliess operators with iterated sums and to provide accurate error estimates for two different scenarios, one where the series coefficients are growing at a local convergence rate, and the other where they are growing at a global convergence rate. In each case, it is shown that the error estimates are achievable in the sense that worst case inputs can be identified which hit the error bound. The paper then focuses on the special case where the operators are rational, i.e., they have rational generating series. It is shown in this situation that the iterated sum approximation can be realized by a discrete-time state space model which is a rational function of the input and state affine. In addition, this model comes from a specific discretization of the bilinear realization of the rational Fliess operator.
△ Less
Submitted 24 October, 2015;
originally announced October 2015.
-
Center problem, Abel equation and the Faa di Bruno Hopf algebra for output feedback
Authors:
Kurusch Ebrahimi-Fard,
W. Steven Gray
Abstract:
A combinatorial interpretation is given of Devlin's word problem underlying the classical center-focus problem of Poincare for non-autonomous differential equations. It turns out that the canonical polynomials of Devlin are from the point of view of connected graded Hopf algebras intimately related to the graded components of a Hopf algebra antipode applied to the formal power series of Ferfera. T…
▽ More
A combinatorial interpretation is given of Devlin's word problem underlying the classical center-focus problem of Poincare for non-autonomous differential equations. It turns out that the canonical polynomials of Devlin are from the point of view of connected graded Hopf algebras intimately related to the graded components of a Hopf algebra antipode applied to the formal power series of Ferfera. The link is made by passing through control theory since the Abel equation, which describes a center, is equivalent to an output feedback equation, and the Hopf algebra of output feedback is derived from the composition of iterated integrals rather than just the products of iterated integrals, which yields the shuffle algebra. This means that the primary algebraic structure at play in Devlin's approach is actually not the shuffle algebra, but a Faa di Bruno type Hopf algebra, which is defined in terms of the shuffle product but is a distinct algebraic structure.
△ Less
Submitted 30 November, 2015; v1 submitted 24 July, 2015;
originally announced July 2015.
-
SISO Output Affine Feedback Transformation Group and Its Faa di Bruno Hopf Algebra
Authors:
W. Steven Gray,
Kurusch Ebrahimi-Fard
Abstract:
The general goal of this paper is to identify a transformation group that can be used to describe a class of feedback interconnections involving subsystems which are modeled solely in terms of Chen-Fliess functional expansions or Fliess operators and are independent of the existence of any state space models. This interconnection, called an output affine feedback connection, is distinguished from…
▽ More
The general goal of this paper is to identify a transformation group that can be used to describe a class of feedback interconnections involving subsystems which are modeled solely in terms of Chen-Fliess functional expansions or Fliess operators and are independent of the existence of any state space models. This interconnection, called an output affine feedback connection, is distinguished from conventional output feedback by the presence of a multiplier in an outer loop. Once this transformation group is established, three basic questions are addressed. How can this transformation group be used to provide an explicit Fliess operator representation of such a closed-loop system? Is it possible to use this feedback scheme to do system inversion purely in an input-output setting? In particular, can feedback input-output linearization be posed and solved entirely in this framework, i.e., without the need for any state space realization? Lastly, what can be said about feedback invariants under this transformation group? A final objective of the paper is to describe the Lie algebra of infinitesimal characters associated with the group in terms of a pre-Lie product.
△ Less
Submitted 28 May, 2017; v1 submitted 2 November, 2014;
originally announced November 2014.
-
Dendriform-Tree Setting for Fully Non-commutative Fliess Operators
Authors:
Luis A. Duffaut Espinosa,
W. Steven Gray,
Kurusch Ebrahimi-Fard
Abstract:
This paper provides a dendriform-tree setting for Fliess operators with matrix-valued inputs. This class of analytic nonlinear input-output systems is convenient, for example, in quantum control. In particular, a description of such Fliess operators is provided using planar binary trees. Sufficient conditions for convergence of the defining series are also given.
This paper provides a dendriform-tree setting for Fliess operators with matrix-valued inputs. This class of analytic nonlinear input-output systems is convenient, for example, in quantum control. In particular, a description of such Fliess operators is provided using planar binary trees. Sufficient conditions for convergence of the defining series are also given.
△ Less
Submitted 29 August, 2014;
originally announced September 2014.
-
A combinatorial Hopf algebra for nonlinear output feedback control systems
Authors:
Luis A. Duffaut Espinosa,
Kurusch Ebrahimi-Fard,
W. Steven Gray
Abstract:
In this work a combinatorial description is provided of a Faa di Bruno type Hopf algebra which naturally appears in the context of Fliess operators in nonlinear feedback control theory. It is a connected graded commutative and non-cocommutative Hopf algebra defined on rooted circle trees. A cancellation free forest formula for its antipode is given.
In this work a combinatorial description is provided of a Faa di Bruno type Hopf algebra which naturally appears in the context of Fliess operators in nonlinear feedback control theory. It is a connected graded commutative and non-cocommutative Hopf algebra defined on rooted circle trees. A cancellation free forest formula for its antipode is given.
△ Less
Submitted 27 September, 2015; v1 submitted 20 June, 2014;
originally announced June 2014.
-
Faa di Bruno Hopf Algebra of the Output Feedback Group for Multivariable Fliess Operators
Authors:
W. Steven Gray,
Luis A. Duffaut Espinosa,
Kurusch Ebrahimi-Fard
Abstract:
Given two nonlinear input-output systems written in terms of Chen-Fliess functional expansions, it is known that the feedback interconnected system is always well defined and in the same class. An explicit formula for the generating series of a single-input, single-output closed-loop system was provided by the first two authors in earlier work via Hopf algebra methods. This paper is a sequel. It h…
▽ More
Given two nonlinear input-output systems written in terms of Chen-Fliess functional expansions, it is known that the feedback interconnected system is always well defined and in the same class. An explicit formula for the generating series of a single-input, single-output closed-loop system was provided by the first two authors in earlier work via Hopf algebra methods. This paper is a sequel. It has four main innovations. First, the full multivariable extension of the theory is presented. Next, a major simplification of the basic set up is introduced using a new type of grading that has recently appeared in the literature. This grading also facilitates a fully recursive algorithm to compute the antipode of the Hopf algebra of the output feedback group, and thus, the corresponding feedback product can be computed much more efficiently. The final innovation is an improved convergence analysis of the antipode operation, namely, the radius of convergence of the antipode is computed.
△ Less
Submitted 1 November, 2014; v1 submitted 20 June, 2014;
originally announced June 2014.
