Sum-of-Squares Applications in Nonlinear Controller Synthesis
Sum-of-Squares Applications in Nonlinear Controller Synthesis
Sum-of-Squares Applications in Nonlinear Controller Synthesis
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2.1 Artste<strong>in</strong>-Sontag Theorem Control Lyapunov Functions and <strong>Sum</strong>-<strong>of</strong>-<strong>Squares</strong>V becomes a Lyapunov function for the closed loop system:˙V = L f V + L g V u⎧⎪⎨ L f V < 0 if L g V = 0 , x ≠ 0= ( ) 2 ( ) 2 ⎪⎩ −√L f V + L g V < 0 if L g V ≠ 0 , x ≠ 0 .(4)It is easy to verify that the condition <strong>of</strong> theorem 1 reduces to the question <strong>of</strong> whether thereexists a suitable V withL f V < 0 ∀x ≠ 0 such that L g V = 0 , (5)as for any L g V ≠ 0 the <strong>in</strong>equality can be satisfied by some choice <strong>of</strong> u. This can looselybe <strong>in</strong>terpreted as “the Lyapunov function be<strong>in</strong>g accessible from the <strong>in</strong>put, wherever itsdynamics are unstable”. Once a control Lyapunov function is found, the Sontag feedbackformula (3) can be used to guarantee global stability via state feedback. The design taskthus reduces ma<strong>in</strong>ly to f<strong>in</strong>d<strong>in</strong>g a CLF. 1As an <strong>in</strong>troductory example <strong>of</strong> CLFs, the special case <strong>of</strong> s<strong>in</strong>gle <strong>in</strong>put l<strong>in</strong>ear systemsẋ = A x + B u (6)is presented. To show global stability, we consider a quadratic Lyapunov functionV = x T P x , P ≻ 0 . (7)The time derivative along the closed loop system’s trajectories is˙V = (A x + B u) T P x + x T P (A x + B u)( )= x T A T P + P A x +}2 x T {{P B}u . (8)} {{ } L g VL f VThe first term (L f V ) describes the system dynamics without <strong>in</strong>put and is <strong>in</strong> fact the classicalLyapunov <strong>in</strong>equality, as the autonomous system is stable if and only if A T P + P A ≺ 0.The control term relaxes this requirement, as the autonomous system has to be stable only<strong>in</strong> those regions <strong>of</strong> the state space where the <strong>in</strong>put does not affect ˙V .1 It is noteworthy that for any control Lyapunov function V , the scaled function α V with α ∈ R + is alsoa CLF and that the Sontag formula yields the same feedback law for all these scaled CLFs.4