06.02.2013 Views

Underwater Robots - Gianluca Antonelli.pdf

Underwater Robots - Gianluca Antonelli.pdf

Underwater Robots - Gianluca Antonelli.pdf

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3.4 Vehicle-Fixed-Frame-Based, Model-Based Controller 51<br />

3.4 Vehicle-Fixed-Frame-Based, Model-Based Controller<br />

Several controllers have been proposed in literature which are based on<br />

vehicle-fixed-frame error variables. Among them, the controller proposed in<br />

1994 by O. Fjellstad and T. Fossen [121]; full DOFs experimental results have<br />

been reported by G. <strong>Antonelli</strong> et al. in [34, 35].<br />

Let consider the vehicle-fixed variables:<br />

� � B<br />

R<br />

˜y I ˜η 1 =<br />

˜ε<br />

˜ν = ν d − ν ,<br />

where ˜η 1 = η 1 ,d − η 1 ,being η 1 ,d the desired position, and ˜ε is the quaternion<br />

based attitude error,<br />

s v = ˜ν + Λ ˜y , (3.10)<br />

with Λ =blockdiag { λ p I 3 ,λo I 3 } , Λ > O .<br />

ν a = ν d + Λ ˜y . (3.11)<br />

Reminding the vehicle regressor Φ v ∈ R 6 × n θ,v defined in (2.54) and the<br />

corresponding vector of dynamic parameters θ v ∈ R n θ,v ,the control law is<br />

given by:<br />

τ v = Φ v ( R I B , ν , ν a , ˙ν a ) ˆ θ v + K D s v , (3.12)<br />

where K D is a(6 × 6) positive definite matrix. The parameter estimate ˆ θ v<br />

is updated by<br />

˙ˆθ<br />

− 1<br />

v = K θ Φ T v ( R I B , ν , ν a , ˙ν a ) s v , (3.13)<br />

where K θ is asuitable positive definite matrix of appropriate dimension.<br />

The stability analysis isachieved by considering the following Lyapunov<br />

candidate function:<br />

V = 1<br />

2 s T v M v s v + 1<br />

2 ˜ θ T<br />

v K θ ˜ θ v > 0 , ∀ s �= 0 , ˜ θ v �= 0 (3.14)<br />

the time derivative ofwhich, by applying the proposed control law, is given<br />

by<br />

˙V = − s T v [ K D + D RB] s v<br />

(3.15)<br />

It is now possible to prove the system stability inaLyapunov-Like sense<br />

using the Barbălat’s Lemma. Since<br />

• V is lower bounded

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!