Beruflich Dokumente
Kultur Dokumente
Feedback Linearization:
SISO Systems
Done by:
Karim CHERIFI
Ikram ALLOUCHE
Abdesselam GUERROUDJ
Tarek BOUAMER
Abdellah Nabih ELGHRIBI
Professor
Pr. K. HARRICHE
2014/2015
Table of Contents
Contents
Introduction __________________________________________________________________________1
1.
2.
3.
4.
3.1.
3.2.
Conclusion __________________________________________________________________________21
References __________________________________________________________________________22
Pg. 01
Introduction
In nonlinear control systems design, we tend to find ways of transforming original
system models into equivalent models of a simpler form that are fully, or partly linear.
This procedure is system linearization. We are tempted to linearize nonlinear systems
because the mathematical tools needed to analyze linear systems are simple,
straightforward, and general.
One of the techniques of linearization is feedback linearization. It differs from the
conventional Jacobian method of linearization, because it is an exact state
transformation, rather than a linear approximation of the dynamics.
Pg. 02
Pg. 03
2. Mathematical Tools
In this section, we introduce the mathematical tools needed for feedback linearization
method. To name them:
Diffeomorphism
Lie Derivative
Lie Brackets
Relative Degree
2.1. Diffeomorphism :
Definition: Suppose continuously differentiable with respect to each of its
arguments (it is of class 1 ). is a diffeomorphism of onto if
a) T() =
b) is one to one
c) The inverse function 1 : is also continuously differentiable with
respect to each of its arguments (it is also of class 1 )
Remark: is called a smooth diffeomorphism if both and 1 are smooth functions.
2.2. Lie Derivative:
Definition: Let : be a smooth scalar function and : be a smooth
vector field on , then the Lie derivative of with respect to is a scalar function
defined by = .
Pg. 04
We have, as before:
= () + ()
= ()
() ()
()
()
=
=
() +
()
()
() =
()
()
() =
()
= +
= 1,2,
Pg. 05
[1 1 + 2 2 , ] = 1 [1 , ] + 2 [2 , ]
[, 1 1 + 2 2 ] = 1 [, 1 ] + 2 [, 2 ]
Skew commutatively
[, ] = [, ]
Jacobi identity
[1
()] 0
In other words using the properties of Lie derivatives:
=
= 2
() = + (1
)
Therefore, the derivation of the output sees the input signal . Then the value
is the relative degree of the system.
Remark: in linear systems, the relative degree is the difference between the number
of poles and number of zeros.
Pg. 06
Pg. 07
3.1.
Input/output linearization
Pg. 08
If we set
() =
() = (1
)
Then
() = () + ()
We choose the input in such a way to compensate the nonlinearities of the system.
() = () + ()
Which results in the following
= () + ()
So
=
1
[() + ]
()
In other words, this approach is based on defining a new state space vector, which
consists of the derivatives of the output:
1 = = 0
2 = = 1 =
.
.
= (1) = 1 = 1
()
+1 = = = = () + ()
Pg. 09
1
0
1
2
..
0
0
0
1
.
.
0
0
.
.
= [1 0 .
A cascade of integrators can do this.
0
0
1
2
..
0
0
+ ..
.
.
1
(
)
(
1)
0)
1
2
.
. 0] .
.
( )
3)
1
.
.
1
( )
() =
() = (1
)
= () + ()
Pg. 10
Example: ( = )
0
2
2
= [1 + 2 ] + [ 2 ]
1 2
0
= () = 3
2 ( + 2 )
1
2
So = () [() + ] = 22 (1+2
2 (1+2 )
)
2
Pg. 11
Using this input, we get the system with the following equations:
0 1
0
1) ( 2 ) + (0)
0 3
1
1
= (1 0 0) (2 )
3
1
0 1
( 2 ) = (0 0
3
0 0
Now we can design a controller using the new input of the linearized system .
3.2.
Input/state linearization:
So far we have seen that / linearization is applied only if the relative degree =
( is degree of the system) where all the internal dynamics are shown. In the case
where the relative degree < and some internal dynamics are hidden additional
variables must be introduced to complete the coordinate transformation and the
design of the controller is not possible with = () (unstable system). The idea is to
select a new output = () where the linearization through () satisfies the
condition =
= () + ()
= = ()
The goal is to find a transformation () between new state space and .
= ()
1
1
1 2
. .
.
.
[
[ ]
]
Pg. 12
1 = = () 0 ()
()
()
[ + ]
=
()
()
=
+
= () + ()
2 = 1 = =
( () = 0)
[ ()]
=
[ ()][ + ]
[ ()] [ ()]
=
+
= 2 () + ()
3 = 2 = =
( () = 0)
2
= 1 = 1
() + ()
( 2
() = 0)
+1 = = () + 1
()
( 1
() 0)
=
= () + () = ( )
For the previous analysis we have to ensure that the equalities
() = 0
{ () = 0
(2
()) = 0
Pg. 13
And
(1
()) 0
Using Jacobi identity:
() = ( ()) ( ())
We get
() = () = = ()2 = 0
But
()1 0
If we use
{
()[, , , 2 ] = 0
(x)1 0
Pg. 14
Remark: The matrix has a full rank=> the system is fully controllable = .
Involutivity:
Definition: A set of linearly independent vector [1 ] is said to be involutive if
[ ] = () ()
=1
Remark: This is equivalent to saying that the lie brackets of vector do not generate
new vectors.
()
.
() =
.
(1)
()]
[
Pg. 15
1
[() + ]
()
Remark: In the input/state linearization, we cannot analyze all the internal dynamics.
The zero dynamics of the system are defined to be the internal dynamics of the
system when the output of the system () is kept zero for a given input 0 at 0
(equilibrium point).
In this case, we can conclude local stability on system around the equilibrium point.
Example: Consider a mechanism given by the dynamics that represent a single link
flexible joint robot. Its equations of motion yields:
1 + (1 ) + (1 2 ) = 0
J 2 (1 2 ) =
Because nonlinearities (due to gravitational torques) appear in the first equation,
while the control input enters only in the second equation, there is no easy way to
design a large range controller.
2
0
1
0
sin(1 ) (1 3 )
1
= [ ] , =
, 0
4
2
1
2
( 3 )
[ ]
[
]
1
Check controllability
= [, ] =
Pg. 16
cos(x1 )
=
0
2 = [, ] =
1
0
0
0
[, 2 ]
cos(x1 )
=
0
0
0
0 0
0
1
0 =
1 1
0 [ ] [ 0 ]
]
0
0
0 0
1 =
1
0
0 [ 0 ]
2
]
[ ]
0
0
2
2
=
0
0
0
1 0 =
2
0 2
][ ] [ 0 ]
0
0
/
0
/
0
0
[ 2 3 ] =
0 1/
0
/2
0
[1/
/2
0 ]
It has rank 4. Furthermore, since the above vector fields are constant, they
form an involutive set. Therefore the system input-state linearizable.
Lets find the state transformation = () and the input transformation
= () + () So the input state linearization is achieved.
0
0
cos(x1 )
=
0
Pg. 17
] g = 0 =>
=0
x1 x2 x3 x4
x4
0
0
(x)adf g = [
] 1 = 0 =>
=0
x1 x2 x3 x4
x3
J
[ 0 ]
0
k
IJ
(x)ad2f g = [
]
= 0 =>
=0
0
x1 x2 x3 x4
x2
k
2
[ J ]
k/IJ
0
(x)ad3f g = [
][
0
2 ] 0 =>
x1 x2 x3 x4 k/J
x1
0
(x)g = [
sin(1 ) (1 3 )
3
4 = = 3 =
x2 cos(1 ) (2 4 )
3 = 2 = 2 =
)
(1 3 )
sin(
=[
sin(1 )
cos(1 )
0 ]
=
4
2
( 3 )
[
]
1
Pg. 18
22 sin(1 ) (
cos(1 ) )(
sin(2 ) + (1 3 )) +
() = 3 () = 4 =
With
=
1
( )
= 2
= 3
= 4
=
(1 3 )
Pg. 19
4. Control Problem
After applying feedback linearization, we get linearized system as shown in the
following figures:
=
1
[ ()]
given the new linear system we can use state feedback as follow
=
= +
= ( )
= ( )
Pg. 20
Pg. 21
Conclusion
Feedback linearization is a very important concept in the field of nonlinear control
systems. Feedback linearization permits to transform a nonlinear system in to linear
system.
Compared to the conventional Jacobian linearization, feedback linearization is an
exact linearization of the nonlinear systems.
As seen, depending on the cases two approaches are used in feedback linearization:
Input/output linearization, and Input/State linearization.
Once the system is linearized, the well-established theory of linear systems can be
applied.
Feedback Linearization is used in numerous applications in the field of control
systems. However, even though very powerful in theory, Feedback Linearization
method has limitations in practice due to its lack of robustness and the required
exactness of the parameters of the model.
Pg. 22
References
-
E.Slotine , Li
Alberto Isidori
K.Khalil
M.Vidyasagar