A novel numerical Massera-type approach for the computation of Lyapunov functions (LFs) for nonlinear continuous-time systems is presented. The construction is enabled by verifying a finite-time decrease condition for a candidate function, which is allowed to be any K∞ function of the norm of the state, and applying a converse Lyapunov theorem. In the construction we make use of approximated system trajectories and we obtain a continuous and piecewise affine (CPA) LF. By optimization, the obtained CPA LF is verified and an estimate of the domain of attraction is obtained. Several examples are presented for illustration and demonstration of the effectiveness of the proposed approach.
|Publication status||Published - 2016|
|Event||10th IFAC Symposium on Nonlinear Control Systems (NOLCOS 2016), August 23-25, 2016, Monterey, Cal., USA - Monterey, United States|
Duration: 23 Aug 2016 → 25 Aug 2016