A Lie-Backlund approach to equivalence and flatness of nonlinear systems

被引:479
作者
Fliess, M [1 ]
Lévine, J
Martin, P
Rouchon, P
机构
[1] Ecole Normale Super, Ctr Math Leurs Applicat, F-94235 Cachan, France
[2] Ecole Mines Paris, Ctr Automat & Syst, F-77305 Fontainebleau, France
[3] Ecole Mines Paris, Ctr Automat & Syst, F-75272 Paris 06, France
关键词
dynamic feedback; flatness; infinite-order prolongations; Lie-Backlund equivalence; nonlinear systems;
D O I
10.1109/9.763209
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, a new system equivalence relation, using the framework of differential geometry of jets and prolongations of infinite order, is studied. In this setting, two systems are said to be equivalent if any variable of one system may be expressed as a function of the variables of the other system and of a finite number of their time derivatives. This is a Lie-Backlund isomorphism. This quite natural, though unusual, equivalence is presented in an elementary way by the inverted pendulum and the vertical take-off and landing (VTOL aircraft. The authors prove that, although the state dimension is not preserved, the number of input channels is kept fixed. They also prove that a Lie-Backlund isomorphism can be realized by an endogenous feedback, i.e., a special type of dynamic feedback. Differentially flat nonlinear systems, which were introduced by the authors in 1992 via differential algebraic techniques, are generalized here and the new notion of orbitally flat systems is defined. They correspond to systems which are equivalent to a trivial one, with time preservation or not. Trivial systems are, in turn, equivalent to any linear controllable system with the same number of inputs, and consequently Bat systems are linearizable by endogenous feedback. The endogenous linearizing feedback is explicitly computed in the case of the VTOL aircraft to track given reference trajectories with stability; simulations are presented.
引用
收藏
页码:922 / 937
页数:16
相关论文
共 83 条
[1]  
Abraham R.H., 1988, MANIFOLDS TENSOR ANA
[2]  
[Anonymous], 1979, LIE BACKLUND TRANSFO
[3]   A LINEAR ALGEBRAIC FRAMEWORK FOR DYNAMIC FEEDBACK LINEARIZATION [J].
ARANDABRICAIRE, E ;
MOOG, CH ;
POMET, JB .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (01) :127-132
[4]  
BARON R, 1995, P 1 IMACS IFAC C MAT
[5]  
BITAULD L, 1997, P ECC BRUSS BELG JUL
[6]   HIGH-INDEX DIFFERENTIAL-ALGEBRAIC EQUATIONS [J].
CAMPBELL, SL .
MECHANICS OF STRUCTURES AND MACHINES, 1995, 23 (02) :199-222
[7]  
CARTAN E, 1937, SELECTA, P113
[8]  
CARTAN E, 1984, OEUVRES COMPLETES 2, V2, P1133
[9]  
CARTAN E, 1984, OEUVRES COMPLETES 2, V2, P1311
[10]  
CARTAN E, 1914, B SOC MATH FRANCE, V42, P12