Stability
Stability
Stability
-
Stabilization of PHS
-
Doctoral course, Université Franche-Comté, Besançon, France
Relevant references:
1. Brogliato, B., Lozano, R., Maschke, B., and Egeland, O. (2007). Dissipative
Systems Analysis and Control. Communications and Control Engineering Series.
Springer Verlag, London, 2nd edition edition.
2. A.J. van der Schaft, L2-Gain and Passivity Techniques in Nonlinear Control, Lect.
Notes in Control and Information Sciences, Vol. 218, Springer-Verlag, Berlin,
1996, p. 168, 2nd revised and enlarged edition, Springer-Verlag, London, 2000
(Springer Communications and Control Engineering series), p. xvi+249.
3. Jeltsema. D, van Der Schaft, A. Memristive port-Hamiltonian systems,
Mathematical and Computer Modelling of Dynamical Systems - MATH COMPUT
MODEL DYNAM SYST 01/2010; 16(2). DOI:10.1080/13873951003690824
4. van der Schaft, A.J and Jeltsema, D. Port-Hamiltonian Systems: from Geometric
Network Modeling to Control, Module M13, HYCON-EECI Graduate School on
Control, April 07–10, 2009.
1. Stability: definitions
2. Stabilization of PHS
3. Control by interconnection
ẋ(t) = f (x(t)),
(1)
x(0) = x0 ,
ẋ(t) = f (x(t)),
(2)
x(0) = x0 ,
Equilibrium position
An equilibrium point x ∗ is a solution to
ẋ(x ∗ ) = 0, i.e., f (x ∗ ) = 0
Lyapunov’s direct method allows to determine the stability of a system without explicitly
integrating the differential equations. The method is a generalization of the idea that if
there is some “measure of energy” in a system, then we can study the rate of change
of the energy of the system to ascertain stability.
For physical systems: relate the physical energy with Lyapunov functions
Let us consider systems arising from some physical energy model. We then usually
have
Z t Z t
H(t) = H(t0 ) + u(τ )y(τ )dτ − S(x(τ ))dτ .
|0 {z } |0 {z }
supplied energy dissipated energy
So if H(x) qualifies as a Lyapunov function and S(x) vanishes at x = 0 (and only in
x = 0), then the system is asymptotically stable!
Dissipative systems
The system (5) is said to be dissipative if there exists a so-called storage function
V (x) ≥ 0 such that the following dissipation inequality holds:
Z t
V (x(t)) ≤ V (x(0)) + w(u(τ ), y(τ ))dτ
0
along all possible trajectories of (5) starting at x(0), for all x(0), t ≥ 0.
Passive systems
Suppose that the system (5) is dissipative with supply rate w(u, y) = u T y and storage
function V (x(t)) with V (0) = 0; i.e. for all t ≥ 0 we have that
Z t
V (x(t)) ≤ V (x(0)) + u(τ )> y(τ )dτ,
0
Passive systems are a subclass of dissipative systems with the specific properties
• The supply rate is defined by the product between inputs and outputs
w(u, y) = u T y,
• The minimum of the storage function is at the origin V (0) = 0.
The dissipation of a passive system may also be explicitly taken into account:
If the equality holds and S(x) = 0, then the system is said to be lossless
(conservative).
u=0
V̇ ≤ 0
es> fs + eR
>
fR + ep> fp = 0
or in terms of the energy storing elements
Ḣ(x(t)) = −es> fs = eR
>
fR + ep> fp
which yields the energy balance equation
Z t
>
H(x(t)) = H(x(0)) + eR (τ )fR (τ ) + ep> (τ )fp (τ )dτ
0
Explicit PHS
∂H
ẋ = J − R + gu(t), f = J − R e + geext
∂x
∂H
y = g> = (g > e)
∂x
Two geometric structures: J(x) and R(x) = R(x)> ≥ 0, the interconnection and
damping matrices
The energy-balance is
∂H > ∂H
Ḣ = u > (t)y(x(t))− (x(t))R(x(t)) (x(t)),
∂x ∂x
Ḣ ≤ u > (t)y(t),
u=0
V̇ ≤ −S(x(t))
Show that the RLC and the MSD are strictly passive and give the corresponding PHS
models.
Constitutive relations
us = Vin
ur = RIr
φ = LIL
Q = CuC
Dynamic relations
dφ
Z t
uL = , or in integral form φ(t) = φ(t0 ) + uL (τ )dτ
dt 0
dQ
Z t
IC = , or in integral form Q(t) = Q(t0 ) + IC (τ )dτ
dt 0
P P
Interconnection relations (Kirchkoff’s laws): u = 0 voltage law, i = 0 current law
Using the interconnection relations together with the constitutive and dynamical
relations we obtain the state space model
dQ φ
=
dt L
dφ Q φ
= − − R + Vin
dt C L
with state variables x = [Q, φ] and input Vin .
• If the initial conditions Q(t0 ) and φ(t0 ) are known, together with the profile Vin ,
then the time evolution of the system is fully determined for all t > t0 .
1 φ2 1 Q2
H(x(t)) = +
2L 2C
The time variation of the energy is given by
2
∂H > dx
dH(x(t)) Q φ Q φ φ φ
= = − + Vin −R
dt ∂x dt C L C L L L
2
φ φ
= Vin −R = Vin IL − RIL2
L L
Hence, the balance equation characterizing the time variation of energy can be written
as
Z t Z t
H(t) = H(t0 ) + Vin (τ )IL (τ )dτ − RIL (τ )2 dτ
0 0
Constitutive relations
Fs = Fin
FB = BvB
p = MvM
q = K −1 FK
Dynamic relations
dp
Z t
FM = , or in integral form p(t) = p(t0 ) + FM (τ )dτ
dt 0
dq
Z t
vK = , or in integral form q(t) = q(t0 ) + vK (τ )dτ
dt 0
Using the interconnection relations (Kirchkoff’s laws) together with the constitutive and
dynamical relations we obtain the state space model
dq p
=
dt M
dp q p
= − −1 − B + Fin
dt K M
with state variables x = [q, p] and input Fin .
1 p2 1 q 2
H(x(t)) = +
2M 2 K −1
The time variation of the energy is given by
The existence of balance equations is the base for dissipative and passive system
theory.
1 Q2 1 φ2
H(x(t)) = +
2C 2L
The interconnection structure just characterize the exchange of energy between the
inductor and the capacitor:
0 1
J= .
−1 0
The internal dynamics of the system is then given by
" # " #
Q φ
∂H C L
ẋ = J =J φ =
∂x L
−QC
Let us consider the complete RLC circuit, with dissipation and input port. The energy
remains the same
1 Q2 1 φ2
H(x(t)) = +
2C 2L
The interconnection structure just characterize the exchange of energy between the
inductor and the capacitor, but in this case we have to add an additional structure
matrix that characterizes the dissipation of the system and an input vector field
0 1 0 0 0
J= , R= , gu = u
−1 0 0 R 1
1 q 2 1 p2
H(x(t)) = +
2 K −1 2M
The interconnection structure just characterize the exchange of energy between the
mass and the spring:
0 1
J= .
−1 0
The internal dynamics of the system is then given by
q p
∂H K −1 M
ẋ = J =J p = q
∂x M
− K −1
Let us consider the complete MSD system, with dissipation and input port. The energy
remains the same
1 q 2 1 p2
H(x(t)) = −1
+
2K 2M
The interconnection structure remains the same, but in this case we have to add an
additional structure matrix that characterizes the dissipation of the system and an input
vector field
0 1 0 0 0
J= , R= , gu = u
−1 0 0 B 1
The complete dynamics of the system is now given by
q p
∂H K −1 M
ẋ = (J − R) + gu = (J − R) p + gu = q p
∂x M
− K −1 − BM + Fin
1 φ2 1 Q2
H(x(t)) = + ≥ 0, H(0) = 0.
2L 2C
Hence H qualifies as a potential storage function. Now,
Z t Z t
H(t) = H(t0 ) + Vin (τ )IL (τ )dτ − RIL (τ )2 dτ .
0 0
Furthermore, if the we choose the dissipation rate as S(x) = RIL (τ )2 , then the system
is strictly passive
Z t Z t
H(t) = H(t0 ) + u(τ )y(τ )dτ − S(x(τ ))dτ .
|0 {z } |0 {z }
supplied energy dissipated energy
1 q 2 1 p2
H(x(t)) = + ≥ 0, H(0) = 0.
2 K −1 2M
Hence H qualifies as a potential storage function. Now,
Z t Z t
H(t) = H(t0 ) + Fin (τ )vM (τ )dτ − BvM (τ )2 dτ .
0 0
Furthermore, if the we choose the dissipation rate as S(x) = BvM (τ )2 , then the
system is strictly passive
Z t Z t
H(t) = H(t0 ) + u(τ )y(τ )dτ − S(x(τ ))dτ .
|0 {z } |0 {z }
supplied energy dissipated energy
Some remarks
• The chosen inputs and outputs correspond to the physical input and outputs of the
system: input voltage and input force / current in the inductor and velocity of the
mass
• If we eliminate the resistive components, resistor (R) and damper (B), the supply
rate is zero and the system is a lossless (conservative) passive system. Indeed,
Z t
H(t) = H(t0 ) + u(τ )y(τ )dτ
|0 {z }
supplied energy
2. Stabilization of PHS
3. Control by interconnection
Z t Z t
H(t) = H(t0 ) −K y 2 (τ )dτ − S(x(τ ))dτ ,
0
| {z } |0 {z }
controller dissipated energy
Z t
H(t) = H(t0 ) − Ky 2 (τ )dτ + S(x(τ )) dτ .
|0 {z }
dissipated energy
Constitutive relations
Fs = Fin
FB = BvB
p = MvM
q = K −1 FK
Dynamic relations
dp
Z t
FM = , or in integral form p(t) = p(t0 ) + FM (τ )dτ
dt 0
dq
Z t
vK = , or in integral form q(t) = q(t0 ) + vK (τ )dτ
dt 0
1 q 2 1 p2
H(x(t)) = −1
+ ≥ 0, H(0) = 0.
2K 2M
Hence H qualifies as a storage function and as a candidate Lyapunov function. Now,
Z t Z t
H(t) = H(t0 ) + Fin (τ )vM (τ )dτ − BvM (τ )2 dτ .
0 0
Let us consider the energy balance equation and assume we have no dissipation
Z t
H(t) − H(t0 ) = u(τ )y(τ )dτ
0
| {z }
controller
The idea is to construct a new energy function, by using the (state) feedback u = β(x)
Z t
Hd (x, x ∗ ) = H(x) − β(x(τ ))y(τ )dτ
0
If this function exist (...why should it exist?) it will be a state function such that
Hd (x) = H(x) + Ha (x), hence
Z t
Ha (x, x ∗ ) = − β(x(τ ))y(τ )dτ
0
The time derivative of Hd (x) along the trajectories of the system is given by
∂Ha >
Ḣd = Ḣ + Ḣa = Ḣ + ẋ
∂x
∂Ha >
⇒ ẋ = −β(x)y
∂x
Hence, for dynamical systems of the form ẋ = f (x, u), y = h(x), in order for the
function Ha to exist, the following PDE should be satisfied
∂Ha >
f (x, β(x)) = −β(x)h(x)
∂x
Some remarks
• Energy shaping requires the solution of a PDE: the matching equation. Not an
easy task for general non-linear systems
Z t
Ha (x, x ∗ ) = − β(x(τ ))y(τ )dτ
0
• The existence of solutions for the PDE is strongly related with the existence of
physical invariants. In the case of port-Hamiltonian systems: Casimir functions.
• For systems arising from physical applications the energy shaping technique has
been proven to be a powerful stabilization method.
Constitutive relations
us = Vin
ur = RIr
φ = LIL
Q = CuC
Dynamic relations
dφ
Z t
uL = , or in integral form φ(t) = φ(t0 ) + uL (τ )dτ
dt 0
dQ
Z t
IC = , or in integral form Q(t) = Q(t0 ) + IC (τ )dτ
dt 0
dQ φ
=
dt L
dφ Q φ
= − − R + Vin
dt C L
with state variables x = [Q, φ], output y = φL = xL2 and input Vin . The energy of the
system is given by
1 x1 2 1 x2 2
H(x) = +
2C 2 L
• If Vin = 0, the natural equilibrium is x = (0, 0). If on other hand Vin = V ∗ , the
forced equilibrium point is x = (x1∗ , 0), with x1∗ = CV ∗ .
∂Ha x2 ∂Ha x1 x2 x2
− −R − β(x) = − β(x)
∂x1 L ∂x2 C L L
Ha = Ha (x1 )
∂Ha x2 x2
= − β(x)
∂x1 L L
Beautiful!
The matching equation (PDE) is automatically solved for any Ha = Ha (x1 ) provided
that the state feedback is of the form β(x) = − ∂H
∂x
a
.
1
• It only remains to select Ha (x1 ) such that Hd = H + Ha has a minimum at
x ∗ = (x1∗ , 0).
Recall that the open-loop energy function is
1 x1 2 1 x2 2
H(x) = +
2C 2 L
Hence if we chose
1 2 1 1
Ha (x1 ) = x − + x1 x1∗
2Ca 1 Ca C
The closed-loop energy function Hd = H + Ha
2
1 (x1 − x1∗ ) 1 x2 2
Hd (x) = +
2 (C + Ca ) 2 L
2. Stabilization of PHS
3. Control by interconnection
∂H
ẋ = J(x) − R(x) (x) + g(x)u,
∂x
∂H
y = g > (x) (x),
∂x
u = −yc
⇒ u > y + uc> yc = −yc> y + y > yc = 0
y = uc
Now u = v − yc and uc = y + vc . Let the plant and controller have state variables x
and ξ and energy functions H(x) and H(ξ). If the maps u → y and uc → yc are
passive,
Then the map (v , vc ) → (y , yc ) is passive with energy function Hd (x, ξ) = H(x) + H(ξ).
∂Hd ∂Hd
ẇ = (Jcl − Rcl ) , ycl = gcl>
∂w ∂w
with w = [x ξ].
In order achieve this, we must restrict the dynamics to a submanifold of the (x, ξ)
space parametrized by x. This means that we are looking for a submanifold
ΩC = (x, ξ) : ξ = F (x) − C
Casimir functions
Let us look for structural invariants that relates each state of the controller with the
states of the plant:
Ci (x, ξi ) = Fi (x) − ξi
In order to relate all the states of the controller with the state of the plant we define
F (x) = [F1 (x), F2 (x), . . . , Fnc (x)], and define the following Casimir function
n
X n
X
C= (Fi (x) − ξi ) = Ci (x, ξi )
i=1 i=1
∂C > ∂C >
∂Hcl
Ċ = ẇ = Jcl =0
∂w ∂w ∂w
Casimir functions
Let us look for structural invariants that relates each state of the controller with the
states of the plant:
Xn n
X
C= Ci (x, ξi ) = (Fi (x) − ξi )
i=1 i=1
• Only the term in blue is considered in the matching condition because we want the
Casimir functions to be structural invariants of the system: not depend on
Hd (x, ξ).
The condition for existence of Casimir functions for the closed loop system
i J(x) − R(x) −g(x)gC> (ξ)
h
∂F > =0
(x) −I
∂x gC (ξ)g > (x) JC (ξ) − RC (ξ)
Matching equations
∂F > ∂F
(x)J(x) (x) = Jc (ξ)
∂x ∂x
∂F
R(x) (x) = 0 Dissipation obstacle!
∂x
Rc (ξ) = 0
∂F >
(x)J(x) = gc (ξ)g > (x)
∂x
∂F ∂Hc ∂Hc
(x) (ξ) = (F (x) − C)
∂x ∂ξ ∂x
Hence we obtain:
h i ∂H ∂Hc
ẋ = J(x) − R(x) (x)+ (F (x) − C)
∂x ∂x
Or equivalently
h i ∂H
d
ẋ = J(x) − R(x) (x)
∂x
Let us interpret the control in terms of energy balancing. Since Rc = 0, the energy
balance equation of the controller is
dHc
= uc> yc
dt
Hence, along any invariant submanifold ΩC , we have
dHd dH dHc dH
= + = −u > y (uc> yc = −u > y)
dt dt dt dt
and integrating (up to some constant) we obtain
Z t
Hd (t) = H(t) − u > (τ )y(τ )dτ
0
| {z }
Hc
Rt
We obtain the general M.E!: Hc (t) = − 0 u > (τ )y(τ )dτ .
Constitutive relations
us = Vin
ur = RIr
φ = LIL
Q = CuC
Dynamic relations
dφ
Z t
uL = , or in integral form φ(t) = φ(t0 ) + uL (τ )dτ
dt 0
dQ
Z t
IC = , or in integral form Q(t) = Q(t0 ) + IC (τ )dτ
dt 0
Let us consider a RLC circuit, with dissipation and input port. The energy is
1 Q2 1 φ2
H(x(t)) = +
2C 2L
The interconnection and dissipation matrix and input vector field are
0 1 0 0 0
J= , R= , gu = u
−1 0 0 R 1
φ x2
with state variables x = [Q, φ], output y = L
= L
and input u = Vin
• If Vin = 0, the natural equilibrium is x = (0, 0). If on other hand Vin = V ∗ , the
forced equilibrium point is x = (x1∗ , 0), with x1∗ = CV ∗ .
2
1 (x1 − x1∗ ) 1 x2 2
1 1 1
Hc (x1 ) = x2
2Ca 1
− Ca
+ C
x1 x1∗ , such that Hd (x) = +
2 (C + Ca ) 2 L
ξ̇ = uc
∂Hc
yc =
∂ξ
p
q̇ =
m
ṗ = −mg sin(q) + u
with state variables x = [p, q], with q the configuration and p the momentum.
Propose a PH model and design a stabilizing controller using the Casimir method and
a control system given by:
ξ̇ = uc
∂Hc
yc =
∂ξ
[q, p]T
with state variables x = with q the configuration and p the momentum.
The port Hamiltonian model is:
∂H0
!
d q 0 1 ∂q 0
= ∂H + u
dt p −1 0 0 1
| {z } ∂p | {z }
J g
∂H
!
0
∂q p
y = (0 1) ∂H0 = m
∂p
1 2
with Hamiltonian :H0 (q, p) = mg(1 − cos q) + 2m
p
C (q, p, xc ) = F (q, p) − xc
1
HC (xc ) = mg(cos xc − 1) + (xc + x1∗ )2
2
The control is finally obtained is:
∂HC
u=− (xc ) |xc =−q = mg sin q − (q − x1∗ )
∂xc
which is the well-known “proportional plus gravity compensation control
Remarks
• The port-Hamiltonian structure provide important information for finding the
solutions of the control system,
• The control has physical interpretation in terms of interconnection and energy
balancing
• The Casimir method can be used to analyse new stability profiles of
interconnected systems
2. Stabilization of PHS
3. Control by interconnection
The PH model is
1 " ∂H #
with
q̇C −R 1 ∂qC 0
= ∂H + u qC2 φ2
φ̇L −1 0 1 H(qC , φL ) = + L,
∂φL
" ∂H # 2C 2L
y= 0 1
∂qC the total electromagnetic energy.
∂H
∂φL
∂F
(qC , φL ) = 0 ⇒ F = F (φL ).
∂qC
It’s only possible to shape the energy in the direction of one coordinate (φL ). This is
known as the dissipation obstacle.
L ∗
Physical interpretation: admissible equilibria are of the form qC∗ = CV ∗ , φL = R
V
φ
for any constant V ∗. The power delivered by the source, V ∗ LL ,
is nonzero at any
equilibrium except for the trivial one. Hence, the source has to provide an infinite
amount of energy to keep any nontrivial equilibrium point (Impossible). Notice that pure
mechanical systems are free of this problem: any equilibrium point has velocities equal
to zero.
IDA-PBC objective
Find a static state-feedback control u(x) = β(x) such that the closed-loop dynamics is
a PH system with interconnection and dissipation of the form
∂Hd
ẋ = (Jd − Rd ) ,
∂x
The procedure consists in the matching of the open and (desired) closed-loop vector
fields:
∂H ∂Hd
J(x) − R(x) (x) + g(x)β(x) = Jd (x) − Rd (x) (x)
∂x ∂x
with u = β(x) the state modulated source. Define
Ja = Jd − J, Ja = −Ja>
Ra = Rd − R, Ra = Ra> ≥ 0
Ha = Hd − H
∂H ∂Ha
Ja (x) − Ra (x) (x) + g(x)β(x) = J(x) + Ja (x) − R(x) + Ra (x) (x)
∂x ∂x
∂H ∂Ha
g ⊥ (x) Ja (x) − Ra (x) (x) = g ⊥ (x) J(x) + Ja (x) − R(x) + Ra (x)
(x)
∂x ∂x
where g ⊥ (x)g(x) = 0 and Hd (x) is such that
∂Hd ∗ ∂ 2 Hd ∗
(x ) = 0, (x ) > 0,
∂x ∂x 2
then the control
∂H ∂H
u = β(x) = (g > g)−1 g > (Jd − Rd ) d − (J − R)
∂x ∂x
is such that the closed-loop system takes the PH form
∂Hd
ẋ = (Jd − Rd ) ,
∂x
And closed-loop energy
∂Hd> ∂Hd
Ḣd = − Rd < 0, ∀x 6= x ∗ and Ḣd (x ∗ ) = 0.
∂x ∂x
Doctoral course UFC-ST 81 / 103
Interconnection and Damping Assignment – Passivity Based
Control
Notice that for systems linear in the control may be interpreted as the optimal solution
to the linear least square problem
∂Hd ∂H
g(x)β(x) = Jd (x) − Rd (x) (x) − J(x) − R(x) (x)
∂x ∂x
| {z }
b
with
β(x) = g † b, subject to the ME (I − g † g)b = 0
where
g † = (g > g)−1 g > : Moore-Penrose pseudo-inverse of g and g † g > projector into rang(g)
(I − g † g) : family of anihilators of g and projector into ker (g)
Notice that the method can be equally applied to general input affine non-linear
systems
∂Hd
f (x) + g(x)β(x) = Jd (x) − Rd (x) (x)
∂x
with f (x) a non-linear vector field.
Indeed, define
1 > −1
W (x, v ) = Hd + v KI v
2
The closed-loop system is given by a power preserving interconnection
" ∂Hd #
ẋ J − Rd gKI
= d > > ∂x
∂W
v̇ −KI g 0
∂v
1 > −1 1
Hd (q, p) = p Md (q)p + Vd (q),
2 2
• (ME) becomes a PDE in Md (q) and Vd (q),
• imposes some constraints on Jd (x) and Rd (x).
Application of Poincare’s Lemma (applicable for systems NL in u):
The PH model is
1 " ∂H #
with
q̇C −R 1 ∂qC 0
= ∂H + u qC2 φ2L
φ̇L −1 0 1 H(qC , φL ) = + ,
∂φL
" ∂H # 2C 2L
y= 0 1
∂qC the total electromagnetic energy.
∂H
∂φL
∂H0 ∂Ha
−g ⊥ (x) (Ja − Ra ) (x) = g ⊥ (x) [(J (x) + Ja (x)) − (R (x) + Ra (x))] (x)
∂x ∂x
becomes:
∂Ha
!
∂qc 1 ∂Ha ∂Ha
− R1
0= 1 ∂Ha =− +
∂φL R ∂qc ∂φL
Ha (qc , φL ) = Φ (R qc + φL ) Φ ∈ C ∞ (R)
qC2 φ2L
Hd (qC , φL ) = H (qC , φL ) + Φ (R qc + φL ) = + + Φ (R qc + φL )
2C 2L
The equilibrium in closed-loop is given by:
ξ2
1. Case 1: Φ (ξ) = k 2
then:
L + R2C
φ∗ ∈ R and k =− <0
L2
and Φ (ξ) is concave !
ξ4
2. Case 2: Φ (ξ) = k 4
then:
1
φ∗ = ± q and k =∈ R∗−
(−k) L + R 2 C
∂2Φ 1
Rqc∗ + φ2L > −
which reduces to: ∂ξ2 (R 2 C+L)
∂2Φ 1
Rqc∗ + φ2L > −
Check for the two examples the condition : ∂ξ2 (R 2 C+L)
ξ2
1. Case 1: Φ (ξ) = k 2
the condition reduces to:
2
L + R2C < L2
which is wrong !
ξ4
2. Case 2: Φ (ξ) = k 4
then:
1
(−k) <
φ∗L 2
L + R2C L
which becomes :
" !
∂Φ
− R1 R (R qC , +φL )
1 ∂ξ
β (qC , φL ) = 1 0 1 ∂Φ
−1 −Ra ∂ξ
(R qC , +φL )
qC
!#
0 0 C
− φL
0 Ra
L
or :
∂Φ φL
β (qC , φL ) = (R − Ra ) ∂ξ
(R qC , +φL ) − Ra L
φ̇1 = −Ri + u
ẏ = v
mv̇ = −Fm + mg
∂Wc
Fm = − (i, y) electro-mechanical coupling
∂y
1
Wc = L(y)i 2 non-linear inductance
2
and the non-linear inductance
k
L(y) = L∞ + ,
(a + y)
x1
L(x2 ) current through the coil, i
∂H0 x3
(x) = m
velocity of the ball
∂x
x1
2
electro-motive+gravity force
− 12 dx
dL
(x2 ) L(x )
−mg
2 2
The coupling between the mechanical and magnetic domain does not occur through
the structure matrices
−R 0 0 magnetic domain
J −R = 0 0 1 mechanical potential domain
0 −1 0 mechanical kinetic domain
∂H
and may be parametrized by the current: y ∗ = ∂x (x ∗ ) = i ∗ :
1
L∞ y ∗ +q 2mg
∗ p
x1
∗
x = −a + k y ∗ and u ∗ = R y ∗
2 2mg
x3∗ 0
they are unstable (see linearised system).
∂H0
∂Ha
∂x1 ∂x1
0 0 0 ∂H0 0 0 1 ∂Ha
− =
∂x2
−α 0 0 ∂x2 −α −1 0
∂Ha
∂H0
∂x3 ∂x3
From : ∂H
∂x3
a
= 0 the added potential is a function Ha (x1 , x2 ) which does not depend on
the velocity and satisfies :
∂H0 ∂Ha ∂Ha
α = −α −
∂x1 ∂x1 ∂x2
with solution:
Z x1 χ x
Ha (x1 , x2 ) = − dχ + Φ x2 − 1
(χ−x1 ) α
0 L x2 − α
0 0 α R 0 0
dx ∂Hd
0
= 0 1 − 0 0 0 (x)
dt −α −1 0 0 0 0 ∂x
| {z } | {z }
J R