Final version of my dissertation (20th Jan 2006): thesis
Stability Region Analysis using Sum of Squares Programming (submitted to ACC 06)
Requires YALMIP and SeDuMi
Certifying Lyapunov functions and multipliers in Example 1: Van der Pol equations| Single Lyapunov function | Pointwise Max of 2 Lyapunov functions |
| Function to check SOS conditions: ex1_1V_checksos.m | Function to check SOS conditions: ex1_2V_checksos.m |
| Quadratic V: ex1_1V2.mat | Quadratic V: ex1_2V2.mat |
| Quartic V: ex1_1V4.mat | Quartic V: ex1_2V4.mat |
| 6th order V: ex1_1V6.mat | 6th order V: ex1_2V6.mat |
Certifying Lyapunov functions and multipliers in Example 2: 3D system
Function to check SOS conditions: ex2_1V_checksos.m
Quadratic V: ex2_1V2.mat
Quartic V: ex2_1V4.mat
Certifying V and multipliers in Example 3: Attractive set for Van der Pol oscillator
| Single Lyapunov function | Pointwise Min of 2 Lyapunov functions |
| Function to check SOS conditions: ex3_1V_checksos.m | Function to check SOS conditions: ex3_2V_checksos.m |
| Quadratic V: ex3_1V2.mat | Quadratic V: ex3_2V2.mat |
| Quartic V: ex3_1V4.mat |