Linear programming based Lyapunov function computation for differential inclusions

Robert Baier 1 Lars Grüne 1 Sigurđur Freyr Hafstein 2
1 Mathematisches Institut [Bayreuth]
2 Reykjavík University
Abstract : We present a numerical algorithm for computing Lyapunov functions for a class of strongly asymptotically stable nonlinear differential inclusions which includes spatially switched systems and systems with uncertain parameters. The method relies on techniques from nonsmooth analysis and linear programming and constructs a piecewise affine Lyapunov function. We provide necessary background material from nonsmooth analysis and a thorough analysis of the method which in particular shows that whenever a Lyapunov function exists then the algorithm is in principle able to compute it. Two numerical examples illustrate our method.
Type de document :
Article dans une revue
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2012, 17 (1), pp.33-56. 〈10.3934/dcdsb.2012.17.33〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00724864
Contributeur : Estelle Bouzat <>
Soumis le : mercredi 22 août 2012 - 19:20:10
Dernière modification le : vendredi 13 octobre 2017 - 17:08:16

Lien texte intégral

openaccess

Identifiants

Collections

SADCO | SADCO_WP | SADCO_WP3 | INSMI | TDS-MACS

Citation

Robert Baier, Lars Grüne, Sigurđur Freyr Hafstein. Linear programming based Lyapunov function computation for differential inclusions. Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2012, 17 (1), pp.33-56. 〈10.3934/dcdsb.2012.17.33〉. 〈hal-00724864〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

135

Contact


archive-ouverte@inria.fr