Professional Documents
Culture Documents
t
|
|
|
|=
d
u
u
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
( ) ( ) ( ) ( ) ( ) u u u u u u u t
. . F t v t + + =
d
d
u
u
u
u
|
|
|
.
\
=
=
d
d
u
u
VVI I..22 Feedback and Close Feedback and Close--loop loop
Control Control
Assume is given, to cause a motion
We use control
are estimate model
and
Apply control
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
System Model
66 66
VVI I..22 Feedback and Close Feedback and Close--loop loop
Control Control
Define
as tracking error
Then:
If
(exact model)
If
But if and assume
Then
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
Then
VVI I..22 Feedback and Close Feedback and Close--loop loop
Control Control
The key issue in designing a useful The key issue in designing a useful
controller has been the use of controller has been the use of
feedback control feedback control
d
d
d
u
u
u
e e e
t
d
d
d
u
u
u
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
67 67
VI.3 VI.3 Control Law Partitioning and Control Law Partitioning and
Tracking Control Tracking Control
The mass-spring-friction system model:
The model based portion of the control law: The model based portion of the control law:
With and
Error dynamics
The servo portion of control law f is chosen as
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
VI.3 VI.3 Control Law Partitioning and Control Law Partitioning and
Tracking Control Tracking Control
d x
x
+ -
kx x b x m f + + =
m
x
x
f '
d x
kv
kp k
b
e
+
-
+
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
xd
e
+ -
68 68
VVI I..44 Nonlinear Control Nonlinear Control
RRobot obot Model Model
Apply partition control law:
Where and
Error dynamics:
With the servo law
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
and
Error dynamics
VVI I..44 Nonlinear Control Nonlinear Control
Joint P Joint PIID control D control
Control law with Control law with
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
69 69
VVI I..44 Nonlinear Control Nonlinear Control
Using Lyapunov Stability Analysis to prove Using Lyapunov Stability Analysis to prove
the above system is stable the above system is stable
Lyapunov Stability Analysis Lyapunov Stability Analysis
It can be used to consider the stability without It can be used to consider the stability without
solving for solution of differential equations. While solving for solution of differential equations. While
Lyapunov method is useful for examine stability, it Lyapunov method is useful for examine stability, it
does not provide any information about the does not provide any information about the
transient response or performance of the system. transient response or performance of the system.
It is an energy based method. It is one of the few It is an energy based method. It is one of the few
techniques that can be applied directly to nonlinear techniques that can be applied directly to nonlinear
systems to investigate their stability. systems to investigate their stability.
Lyapunovs method is concerned with determining
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
Lyapunov s method is concerned with determining
the stability of a differential equation
where
could be linear or non linear
VVI I..44 Nonlinear Control Nonlinear Control
Remarks: higher Remarks: higher- -order differential equations order differential equations
can always be written as a set of first can always be written as a set of first--order order
differential equations. differential equations.
E l E l Example Example
Let
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
70 70
VVI I..44 Nonlinear Control Nonlinear Control
To prove a system stable by Lyapunov method,
one is required to propose a generalized energy
function, that has the following properties:
has continuous first partial derivative and
for all except
here
means the change in
along all system trajectories.
.
.
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
VVI I..44 Nonlinear Control Nonlinear Control
Example1 : Spring-damper system
Th f ti d The functions and
satisfy for
for
Find out the stability of the system
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
71 71
VVI I..44 Nonlinear Control Nonlinear Control
Solution
Construct an energy function
for all x except
+
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
So the system is stable
VVI I..44 Nonlinear Control Nonlinear Control
Example 2
Mobile robot control
Control:
Define: with
Error dynamics:
Dynamics
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
72 72
VVI I..44 Nonlinear Control Nonlinear Control
Example 2
ContractLyapunovfunction
Since
We have
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
Wehave
System stable
VVI I..44 Nonlinear Control Nonlinear Control
Example 2
If
globally asymptotically stable
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
73 73
VVI I..55 Adaptive Control Adaptive Control
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
Research on Robotics Research on Robotics
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
74 74
Questions and Comments Questions and Comments
J @d l J @d l
Department of Electrical and Computer Engineering Department of Electrical and Computer Engineering
Dalhousie University Dalhousie University
Halifax, Nova Scotia, Canada Halifax, Nova Scotia, Canada
Lecture Lecture
ECED6640: Mobile Robotics ECED6640: Mobile Robotics
Fall, 2011 Fall, 2011
Jason.gu@dal.ca Jason.gu@dal.ca
http://myweb.dal.ca/jgu http://myweb.dal.ca/jgu