Passivity Based Control
Passivity Based Control
Passivity Based Control
Henk Nijmeijer
Departments of Mech. Engg., Eindhoven Univ. of Technology, The Netherlands
Contents
1. Introduction
2. Passivity: mathematically speaking
S
TE S
2.1. In a General Input-Output Framework
R
AP LS
3. Stability of passive systems
3.1. L2 -Stability
3.2. From L2 -Stability to Lyapunov Stability
C EO
4. PBC of Euler-Lagrange systems
4.1 Passivity of EL Systems
4.2. PBC of EL Systems
4.2.1. An Introductory Example
E –
4.3. EL Controllers
PL O
Glossary
Bibliography
Biographical Sketches
SA NE
Summary
Passivity based control is a methodology which consists in controlling a system with the
aim at making the closed loop system, passive. The field constitutes an active research
direction and therefore in this chapter we give only a basic overlook of the most
important concepts involved. A section is also devoted to a wide class of physical
passive systems: the Euler-Lagrange (EL) systems and their passivity-based control.
The reader should rather consider this presentation as very concise image of the material
cited in the Bibliography. Therefore, we invite the reader who wishes to obtain a deeper
knowledge in the subject, to see those references.
1. Introduction
To better understand the passivity concept and passivity-based control (PBC), we need
to leave behind the notion of state of a system and think of the latter as a device which
interacts with its environment by transforming inputs into outputs. From an energetic
viewpoint we can define a passive system as a system which cannot store more energy
than is supplied by some “source”, with the difference between stored energy and
supplied energy, being the dissipated energy.
S
TE S
Hence, it shall be clear that passivity is closely related to the stability of a system, in the
R
AP LS
input-output sense evoked in the Summary. In PBC achieving stability from this
viewpoint is the first goal.
C EO
A fundamental property of passive systems is that, regarding a feedback interconnection
of (other physical) passive systems, passivity is invariant under negative feedback
interconnection. In other words, the feedback interconnection of two passive systems
yields a passive system.
E –
Thus, if the overall energy balance is positive, in the sense that the energy generated by
H
one subsystem, is dissipated by the other one, the closed loop will be stable in an input-
PL O
output sense (see Proposition 2). This property constitutes the basis of passivity-based
control (PBC).
M SC
The term PBC was coined in 1989 in the context of adaptive control of robot
manipulators to define a controller methodology whose aim is to render the closed-loop
SA NE
system passive, seen as a map from an external new input. This objective seemed very
natural within that context, since the robot dynamics defines a passive map from input
torques to output link velocities. As a matter of fact this passivity property is inherent to
U
many other physical systems such as electrical and electromechanical. (See section 4).
Since the aim in PBC is to render the closed loop system passive, the main property
used in PBC is the fact that the interconnection of passive systems is passive.
Conversely, passive systems can be decomposed in passive “subsystems”. Thus, in this
philosophy the controller may be designed as a passive system.
In terms of energy dissipation, the PBC approach may be viewed as an extension of the
so-called energy-shaping plus damping injection technique introduced to solve state-
feedback set (operating) point regulation problems in fully actuated robotic systems
back in 1981. For this particular problem we can concentrate our attention on the
potential energy and the dissipation functions to proceed along two basic stages: firstly,
as energy shaping stage which consists on modifying the potential energy of the system
in such a way that the “new” potential energy function has a global and unique
minimum at the desired equilibrium. This is motivated by the well known fact (stated by
Joseph Lagrange in 1788 and proved 50 years later by Dirichlet) that the stable
equilibria of mechanical systems correspond to the minima of the potential energy
function. Secondly, a damping injection stage which consists in modifying the
dissipation properties of the system, to render it strictly passive.
Viewed from the PBC perspective the energy shaping stage accomplishes the objective
of rendering the closed loop system passive with a desired storage function that consists
of the original kinetic energy and the new desired potential energy. The damping
injection reinforces this property to output strict passivity. Finally, Lyapunov
asymptotic stability follows from the input-output stability of the output strictly passive
map provided some dissipation propagation (i.e., detectability) conditions are met. That
is, the system evolves in a way that it reaches the desired set point asymptotically. See
Sections 2.1 and 3.2.
S
TE S
The generality of the PBC allows us to deal with different problems such as output
R
AP LS
feedback and tracking control in a unified way. Moreover, even though here we will
only illustrate the PBC methodology with simple examples of control of EL mechanical
systems, the reader must keep present that, having its origins in electrical circuits, it is
C EO
natural that PBC is most suitable for electrical and electromechanical systems such as
power converters, electrical machines, etc. This will be illustrated through a time-
varying reference tracking control problem in Section 4.4.
In this section we will introduce the precise definitions of passivity and some important
PL O
theorems on passivity.
M SC
As it may be clear from the discussion above, when talking about a passive system
SA NE
(operator) one aims at measuring the energy (storage) transformation performed in the
system. The concept of passivity in dynamical systems has its roots in the same concept
used by electrical engineers to characterize elements which consume energy but do not
U
supply it. In this context, the input and output signals have a direct physical meaning,
i.e., current and voltage hence, the (electrical) energy measure of these is evident: it
simply corresponds to the integral of the power over time. However, if we would like to
talk about the passivity property of physical systems of different nature (electrical,
mechanical, chemical, etc), we need a more general concept of measure.
To that end, we must keep in mind that passivity is a property of the system, seen as an
operator which maps inputs into outputs. In this respect, we will find characterizations
and sufficient conditions for passivity, which apply to systems that can be modeled by
rational transfer functions as well as to systems modeled by nonlinear (possibly time-
varying) differential equations.
In this section we will introduce the precise definitions of passivity, which reflect the
fact that passivity is an energy transformation property. We will also extend to the case
of nonlinear systems, some of the arguments made before, to sustain the fundamental
properties of passive systems.
(∫ )
1
T 2 2
0
f (t ) dt (1)
S
TE S
and the L 2 norm denoted f (t ) is defined as by lim f (t ) 2T .
2 T →∞
R
AP LS
With this metric we can then define the normed L2e -space:
C EO
Definition 2 ( L2e -space): We say that f : \ ≥ 0 → \ belongs to L2e if and only if
f (t ) 2T
<∞
E –
The definitions above makes sense from a practical viewpoint if we consider the case
H
n
when f (t ) corresponds to power and therefore, the L2 borrows the interpretation of
PL O
n
Now in order to properly define the passivity concept for L2 signals we introduce the
following product, which generalizes the concept of supplied energy discussed above.
SA NE
Definition 3 (Inner product): Let u , y ∈ L2 and T > 0 , then the inner product is
n
defined ∀T > 0 by
U
T
u| y T
:= ∫0 u (t ) y (t )dt . (2)
u| y T
≥ β. (3)
The number β depends on the initial conditions of the signals. Often, it quantifies the
initial energy stored in the system. This will become clearer when dealing with passivity
of mechanical systems, in section 4.1.
2
u| y T
≥ δo y 2T
+ β. (4)
S
TE S
if there exists β ∈ \ and δ i > 0 such that
R
u| y T
AP LS
≥ δi u 2T +
2
β. (5)
C EO
Passive interconnected systems
The following theorems formalize the fact that passivity is sustained for the
interconnection of passive systems.
E –
H
The theorem below regards a special case of the feedback interconnection depicted in
Figure 1, when u2 ≡ 0 . This structure is particularly important since it is the typical
case of a plant ( ∑1 ) in closed loop with a controller ( ∑ 2 ) . In this case the input
u1 plays the role of an external signal to the closed loop. Notice that this input can be in
its turn the output of another passive block. In this way one can build a new passive
system upon a core passive block. Therefore these theorems are fundamental to
passivity-based control.
Theorem 2: Consider the closed loop system of Figure 1, with u2 ≡ 0 .Assume that
∑i : L2ne 6 L2ne , i = 1,2 . Then e2 = y1 ∈ L2ne if either of the following statements is
true:
S
So far we have stated formally and in fair generality, under which conditions a feedback
TE S
interconnection of passive systems yields a passive system. However, it will be also
R
AP LS
useful to know that interconnections not only preserve the passivity properties of the
subsystems but, in certain cases, passivity can be strengthened. To illustrate this idea,
we briefly discuss next, a technique called loop transformation.
C EO
Consider the interconnected system of Figure 1 with only one input, i.e., let u2 ≡ 0 .
Assume that ∑ 2 is ISP and ∑1 is passive. The loop transformation technique will make
evident that since the system ∑ 2 is “more dissipative” than ∑1 (some readers will know
E –
H
With an abuse of notation we use here the term dissipative to denote a system which
M SC
To show this we will use Figure 2, which represents a system equivalent to that of
Figure1 with u2 ≡ 0 , and the following
Fact 1: Assume that the system ∑ 2 is ISP and has finite L2 gain, i.e., there exists
U
Let us perform a few simple calculations to exhibit the new passivity properties of the
feedback interconnected system of Figure 2. For ∑1′ : e1 6 y1 , using the passivity
property of ∑1 , we have that
e1 | y1 2T
= u1 − y2 + ky1 | y1 = u1 − y2 | y1 + ky1 | y1 2T
2T 2T
≥ β1 + k y1 2T
.
S
TE S
R
AP LS
Figure 2: Loop transformed feedback interconnected system
That is, the loop transformation has rendered the map ∑1′ , OSP. The price paid for this
C EO
is that the ISP of ∑ 2 has been “weakened” more precisely,
y1 | y2 − ky1 2T
= y1 | y2 2T
− ky1 | y1 2T
≥ β2 + δi 2 y1 − k y1
E –
H
2T 2T
PL O
It is important to remark at this point that the coefficient k is used only for analysis
hence, there is no loss of generality in restricting it to be k < δ i 2 . Notice also that the
SA NE
physical system has not changed with the loop transformation but only the way we look
at it!
Using the Fact 1 we obtain that the system of Figure 1 with ∑1 passive and ∑ 2 ISP and
U
finite L2 gain is equivalent to the interconnection of an OSP with an OSP and ISP
system.
Before discussing PBC we need to discuss about stability. In particular, the type of
stability which one pursues in PBC, is, in an input-output sense.
3.1. L2 -Stability
Definition 7 ( L2 -stability): The state space system ∑ is said to be L2 stable with finite
L2 gain if there exists a positive constant γ such that for every initial condition
x0 = x(0) , there exists a finite constant β( x0 ) such that
y (t ) 2T
≤ γ u (t ) 2T
+ β( x0 ) .
S
TE S
Proposition 1: If ∑ : u 6 y is OSP then it has finite L2 -gain.
R
AP LS
Proof. The proof follows straight forward observing that OSP implies the existence of
2
C EO
2
δ > 0 and β ∈ \ such that δ o y ≤ u| y − β + 12 1 u − δo y , therefore
2T T δo
2T
δo 2 2
2
y 2T
≤ 1
2δ o
u 2T
− β . Thus the L2 gain γ ≤ δ1 .
o
E –
H
-
PL O
-
-
M SC
Click here
U
Bibliography
D. E. Koditschek. Natural motion of robot arms. In Proc. 23rd. IEEE Conf. Decision Contr., Las Vegas,
NV., 1984.[Passivity based control of EL systems and in particular mechanical systems.]
A Loría R. Kelly, R. Ortega, and B. Santibñez. (1996) On output feedback control of Euler-Lagrange
systems under input constraints. IEEE Trans. Automat. Contr. , 42(8):1138-1142.[ Passivity based control
of EL systems and in particular mechanical systems]
A. Loría and H. Nijmeijer. (1998) Nonlinear control systems: (Output feedback) design methods. In John
G. Webster, editor, Wiley encyclopedia of Electrical and Electronic Engineering. John Wiley & Sons IC.
. Article #1025 in Section “Automatic Control”[ Passivity based control of EL systems and in particular
mechanical systems]
A. Loría and H. Nijmeijer (1998) : Output feedback tracking control of Euler-Lagrange systems via
bounded controls. Syst. & Contr. Letters, 33(3):151-163.[ Passivity based control of EL systems and in
particular mechanical systems]
R. Lozano, B. Brogliato, O. Egeland, and B. Maschke.(2000) Dissipative systems analysis and control.
Communications and control Engineering. London : Springer Verlag. [Passivity based control of
nonlinear systems].
S
TE S
A. M. Lyapunov. Problème de la stabilitè de mouvement. (1893) Annales de la facultè de sciences de
Toulouse, 9:203-474, 1907. (Translation from the original published in Comm. Soc. Math. Kharkov 1893,
R
AP LS
reprinted in Ann. Math. Studies 17, Princeton 1949). See also “Stability of motion”, Academic Press: NY
1996..[Liapunov stability was launched]
I. M. Y. Mareels and D. Hill. Monotone stability of nonlinear feedback systems. J. Math. Systems’
C EO
Estimation and Control, 2:275-291, 1992.[ Fundamental results on interconnection of passive systems]
R. Ortega, A. Loría R. Kelly, and L. Praly.(1995) On passivity-based output feedback global stabilization
of Euler-Lagrange systems. Int. J. Robust and Nonlinear Control, Special issue on Control of nonlinear
mechanical systems, 5(4):313-325. (H. Nijmeijer and A. J. van der Schaft eds.).[ Passivity based control
of EL systems and in particular mechanical systems]
E –
H
R. Ortega, A. Loría P.J. Nicklasson, and H. Sira-Ramírez. (1998) Passivity-based Control of Euler-
Lagrange Systems: Mechanical, Electrical and Electromechanical Applications. Communications and
PL O
control Engineering. London : Springer Verlag . ISBN 1-85233-016-3.[ Section 4 is based fully on this
work. ]
M SC
R. Ortega and M. Spong. (1989) Adaptive motion control of rigid robots: A tutorial. Automatica, 25-
6:877-888.[This tutorial introduces the term PBC]
R. Sepulchre, M. Janković, and P. Kokotović. (1997) Constructive nonlinear control. Springer
SA NE
M. Takegaki and S. Arimoto. (1981) A new feedback method for dynamic control of manipulators. ASME
J. Dyn. Syst. Meas. Contr., 103:119-125.[The so-called energy-shaping plus damping injection technique
was introduced in the context of robot control]
A. J. van der Schaft.(1999) L2 -Gain and passivity techniques in nonlinear control. Communication and
control Engineering. Heidelberg : Springer Verlag, 2nd edition.[The material of Sections 2 and 3 is based
on this work. Theorems 1 and 2 are from this work.]
J. C. Willems. Dissipative dynamical systems. Part I (1972): General theory. Arch. Rat. Mech . and
Analysis, 45(5):321-351.[The theory of dissipative systems is introduced]
J. C. Willems. Dissipative dynamical systems. Part II (1972): Linear systems with quadratic supply rates.
Arch. Rat. Mech. and Analysis, 45(5):352-393.[ The theory of dissipative systems is introduced]
Biographical Sketches
Antonio Loria was born in Mexico in 1969. He got the BSc degree in Electronic Engineering from the
ITESM, Monterrey, Mexico in 1991. He got the MSc and PhD degrees in Control Engg. from the UTC,
France in 1993 and Nov. 1996 respectively. From December 1996 thru Dec. 1998, he was successively an
associate researcher at Univ. of Twente, The Netherlands; NTNU, Norway and the CCEC of the Univ. of
California at Sta Barbara, USA. Dr. Loria is currently ``Charge de Recherche'', at the the French National
Centre of Scientific Research (CNRS). He is (co)author of more than 75 scientific articles and the book
``Passivity based control of Euler-Lagrange systems'' Springer Verlag, 1998. Antonio Loria is associate
editor of Systems and Control Letters. His research interests include: modeling and control of Euler-
Lagrange systems, stability analysis of nonlinear time-varying systems, biped locomotion, and output
feedback stabilization. Detailed information and publications are available at:
http://public.lss.supelec.fr/perso/loria.
Henk Nijmeijer (1955) obtained his MSc-degree and PhD-degree in Mathematics from the University of
Groningen, Groningen, the Netherlands, in 1979 and 1983, respectively. From 1983 until 2000 he was
affiliated with the Department of Applied Mathematics of the University of Twente, Enschede, the
Netherlands. Since, 1997 he was also part-time affiliated with the Department of Mechanical Engineering
of the Eindhoven University of Technology, Eindhoven, the Netherlands. Since 2000, he is full-time
working in Eindhoven, and chairs the Dynamics and Control section. He has published a large number of
journal and conference papers, and several books, including the 'classical' Nonlinear Dynamical Control
S
TE S
Systems (Springer Verlag, 1990, co-author A.J.van der Schaft). Henk Nijmeijer is editor in chief of the
Journal of Applied Mathematics, corresponding editor of the SIAM Journal on Control and Optimization,
R
AP LS
and board member of the International Journal of Control, Automatica, European Journal of Control,
Journal of Dynamical Control Systems, SACTA, International Journal of Robust and Nonlinear Control,
and the Journal of Applied Mathematics and Computer Science. He is a fellow of the IEEE and was
C EO
awarded in 1987 the IEE Heaviside premium.
E –
H
PL O
M SC
SA NE
U