13.07.2015 Views

Sum-of-Squares Applications in Nonlinear Controller Synthesis

Sum-of-Squares Applications in Nonlinear Controller Synthesis

Sum-of-Squares Applications in Nonlinear Controller Synthesis

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

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

3.3 Modifications for Disturbance Attenuation Sontag Formula Feedback3.3 Modifications for Disturbance AttenuationFor l<strong>in</strong>ear systems, H ∞ design has become a widely accepted design paradigm that systematicallyaddresses performance and allows for conclusions <strong>in</strong> terms <strong>of</strong> uncerta<strong>in</strong>ties anddisturbance attenuation. For nonl<strong>in</strong>ear systems, the correspond<strong>in</strong>g property is the L 2 ga<strong>in</strong>.Consider<strong>in</strong>g a disturbed systemẋ = f(x) + g d (x) dwith x(t) ∈ R n , f(t) ∈ R n , g d (t) ∈ R n × R n d, d(t) ∈ R n d,(49)we seek to guarantee a bound from the disturbance d to a certa<strong>in</strong> performance <strong>in</strong>dex h <strong>in</strong>terms <strong>of</strong> the L 2 norm√ ∫ ∞‖h‖ 2 = h(t) T h(t) dt . (50)0Note, that any closed loop systems us<strong>in</strong>g state feedback can be written <strong>in</strong> the form (49).The results <strong>in</strong> this section therefore implicitly apply to systems that use the Sontag formulafeedback developed <strong>in</strong> the previous sections.As an important conceptual difference to the approach <strong>of</strong> section 3.2, where we were<strong>in</strong>terested <strong>in</strong> the stability <strong>of</strong> an equilibrium po<strong>in</strong>t, we now use the framework <strong>of</strong> bounded<strong>in</strong>put/bounded output stability. We are therefore <strong>in</strong>terested <strong>in</strong> results <strong>of</strong> the form‖h‖ 2 < γ ‖d‖ 2 , ∀d with γ ∈ R + , (51)which for l<strong>in</strong>ear systems is equivalent to the H ∞ norm (see, e.g., Khalil [12]). From thetheory <strong>of</strong> dissipative systems [23], it is known that this <strong>in</strong>equality can be guaranteed to holdby f<strong>in</strong>d<strong>in</strong>g a storage function with the supply rate γ 2 d T d − h T h. We formalize this asLemma 3:The system (49) has an L 2 ga<strong>in</strong> from d to h that is less then γ if ∀d and ∀x ≠ 0there exists a positive def<strong>in</strong>ite, radially unbounded function V such that˙V < γ 2 d T d − h T h.Lemma 3 can be proved by <strong>in</strong>tegrat<strong>in</strong>g V along the system’s trajectories, which yieldsV (x ∞ ) − V (x 0 ) < γ 2 ‖d‖ 2 2 − ‖h‖ 2 2 ∀d and ∀x 0 (52)18

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

Saved successfully!

Ooh no, something went wrong!