A differential lyapunov framework for contraction analysis

Forni, Fulvio; Sepulchre, Rodolphe

View / Open Files

Accepted version (PDF, 358Kb)

Authors

Forni, Fulvio

Sepulchre, Rodolphe

Publication Date

2014-01-01

Journal Title

IEEE Transactions on Automatic Control

ISSN

0018-9286

Volume

Issue

Pages

614-628

Type

Article

This Version

Metadata

Show full item record

Citation

Forni, F., & Sepulchre, R. (2014). A differential lyapunov framework for contraction analysis. IEEE Transactions on Automatic Control, 59 (3), 614-628. https://doi.org/10.1109/TAC.2013.2285771

Abstract

Lyapunov's second theorem is an essential tool for stability analysis of differential equations. The paper provides an analog theorem for incremental stability analysis by lifting the Lyapunov function to the tangent bundle. The Lyapunov function endows the state-space with a Finsler structure. Incremental stability is inferred from infinitesimal contraction of the Finsler metrics through integration along solutions curves. © 2013 IEEE.

Identifiers

External DOI: https://doi.org/10.1109/TAC.2013.2285771

This record's URL: https://www.repository.cam.ac.uk/handle/1810/268278

Rights

Licence:

http://www.rioxx.net/licenses/all-rights-reserved