Results 1  10
of
31
Noncommutative Power Series and Formal Liealgebraic Techniques in Nonlinear Control Theory
, 1997
"... In nonlinear control, it is helpful to choose a formalism well suited to computations involving solutions of controlled differential equations, exponentials of vector fields, and Lie brackets. We show by means of an example  the computation of control variations that give rise to the LegendreCleb ..."
Abstract

Cited by 32 (12 self)
 Add to MetaCart
In nonlinear control, it is helpful to choose a formalism well suited to computations involving solutions of controlled differential equations, exponentials of vector fields, and Lie brackets. We show by means of an example  the computation of control variations that give rise to the LegendreClebsch condition  how a good choice of formalism, based on expanding diffeomorphisms as products of exponentials, can simplify the calculations. We then describe the algebraic structure underlying the formal part of these calculations, showing that it is based on the theory of formal power series, Lie series, the Chen series  introduced in control theory by M. Fliess  and the formula for the dual basis of a PoincareBirkhoffWitt basis arising from a generalized Hall basis of a free Lie algebra.
Algebraic Differential Equations And Rational Control Systems
 SIAM JOURNAL ON CONTROL AND OPTIMIZATION
"... An equivalence is shown between realizability of input/output operators by rational control systems and high order algebraic differential equations for input/output pairs. This generalizes, to nonlinear systems, the equivalence between autoregressive representations and finite dimensional linear rea ..."
Abstract

Cited by 15 (3 self)
 Add to MetaCart
An equivalence is shown between realizability of input/output operators by rational control systems and high order algebraic differential equations for input/output pairs. This generalizes, to nonlinear systems, the equivalence between autoregressive representations and finite dimensional linear realizability.
Chronological algebras: combinatorics and control
, 1999
"... This article investigates the geometric and algebraic foundations of exponential product expansions in nonlinear control. Asurvey of historic developments in geometric control theory on one side, and algebraic combinatorics on the other side exhibits parallel developments and demonstrates how respec ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
This article investigates the geometric and algebraic foundations of exponential product expansions in nonlinear control. Asurvey of historic developments in geometric control theory on one side, and algebraic combinatorics on the other side exhibits parallel developments and demonstrates how respective ndings translate into powerful tools on the other side. Chronological algebras are shown to provide the fundamental structure
Generating series and nonlinear systems: Analytic aspects, local realizability, and I/O representations
 IPV6 TABLES, 12TH ANNUAL IEEE SYMPOSIUM ON HIGH PERFORMANCE INTERCONNECTS
, 1991
"... This paper studies fundamental analytic properties of generating series for nonlinear control systems, and of the operators they define. It then applies the results obtained to the extension of facts, which relate realizability and algebraic input/output equations, to local realizability and analyti ..."
Abstract

Cited by 11 (7 self)
 Add to MetaCart
This paper studies fundamental analytic properties of generating series for nonlinear control systems, and of the operators they define. It then applies the results obtained to the extension of facts, which relate realizability and algebraic input/output equations, to local realizability and analytic equations.
The formal LaplaceBorel transform of Fliess operators and the composition product
 Inter. J. Math. Math. Sci., Article ID
, 2006
"... Abstract — In this paper, the formal LaplaceBorel transform of an analytic nonlinear inputoutput system is defined, specifically, an inputoutput system that can be represented as a Fliess operator. Using this concept and the composition product, an explicit relationship is then derived between th ..."
Abstract

Cited by 10 (8 self)
 Add to MetaCart
Abstract — In this paper, the formal LaplaceBorel transform of an analytic nonlinear inputoutput system is defined, specifically, an inputoutput system that can be represented as a Fliess operator. Using this concept and the composition product, an explicit relationship is then derived between the formal LaplaceBorel transforms of the input and output signals. This provides an alternative interpretation of the symbolic calculus introduced by Fliess to compute the output response of such systems. Finally, it is shown that the formal LaplaceBorel transform provides an isomorphism between the semigroup of all well defined Fliess operators under composition and the semigroup of all locally convergent formal power series under the composition product. I.
GENERATING SERIES FOR INTERCONNECTED ANALYTIC NONLINEAR SYSTEMS
, 2005
"... Given two analytic nonlinear inputoutput systems represented as Fliess operators, four system interconnections are considered in a unified setting: the parallel connection, product connection, cascade connection, and feedback connection. In each case, the corresponding generating series is produced ..."
Abstract

Cited by 10 (8 self)
 Add to MetaCart
Given two analytic nonlinear inputoutput systems represented as Fliess operators, four system interconnections are considered in a unified setting: the parallel connection, product connection, cascade connection, and feedback connection. In each case, the corresponding generating series is produced and conditions for the convergence of the corresponding Fliess operator are given. In the process, an existing notion of a composition product for formal power series has its set of known properties significantly expanded. In addition, the notion of a feedback product for formal power series is shown to be well defined in a broad context, and its basic properties are characterized.
Chronological Algebras and Nonlinear Control
 PROC. ASIAN CONF. CONTROL
, 1994
"... The Fliess series of nonlinear control theory is closely related to shuffle algebras considered by algebraic combinatorists. An infinite product expansion of this series underlies several path planning algorithms, and is the basis for polynomial realizations of nilpotent control systems. This pro ..."
Abstract

Cited by 10 (5 self)
 Add to MetaCart
The Fliess series of nonlinear control theory is closely related to shuffle algebras considered by algebraic combinatorists. An infinite product expansion of this series underlies several path planning algorithms, and is the basis for polynomial realizations of nilpotent control systems. This product expansion is based on explicit knowledge of the dual bases to Poincar'e Birkhoff Witt bases built on Hall sets. We demonstrate that a chronological algebra, a structure more fundamental than shuffle algebras underlies the product expansion. Moreover, it is very closely related to the structure of general Hall sets.
Loworder controllability and kinematic reductions for affine connection control systems
 SIAM Journal on Control and Optimization
"... Abstract. Controllability and kinematic modelling notions are investigated for a class of mechanical control systems. First, loworder controllability results are given for the class of mechanical control systems. Second, a precise connection is made between those mechanical systems which are dynami ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
Abstract. Controllability and kinematic modelling notions are investigated for a class of mechanical control systems. First, loworder controllability results are given for the class of mechanical control systems. Second, a precise connection is made between those mechanical systems which are dynamic (i.e., have forces as inputs) and those which are kinematic (i.e., have velocities as inputs). Interestingly and surprisingly, these two subjects are characterised and linked by a certain intrinsic vectorvalued quadratic form that can be associated to an affine connection control system.
From chronological calculus to exponential representation of continuoustime and discretetime dynamics: a Lie algebraic approach, Int. Rep., DIS Univ of Rome, subm pub
, 2005
"... Abstract—In this paper, formal exponential representations of the solutions to nonautonomous nonlinear differential equations are derived. It is shown that the chronological exponential admits an ordinary exponential representation, the exponent being given by an explicitly computable Lie series exp ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
Abstract—In this paper, formal exponential representations of the solutions to nonautonomous nonlinear differential equations are derived. It is shown that the chronological exponential admits an ordinary exponential representation, the exponent being given by an explicitly computable Lie series expansion. The results are then used to describe controlled dynamics, dynamics under sampling and forced discretetime dynamics. The study emphasizes the role of Lie algebra techniques in nonlinear control theory and specifies structural similarities between nonautonomous differential equations, dynamics under sampling and forced discretetime dynamics up to hybrid ones. Index Terms—Chronological calculus, discretetime and sampled dynamics, nonautonomous differential equations, nonlinear systems. I.