A guaranteed numerical method to prove the exponential stability of nonlinear discrete-time systems - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail (Working Paper) Année : 2024

A guaranteed numerical method to prove the exponential stability of nonlinear discrete-time systems

Méthode numérique garantie pour prouver la stabilité exponentielle des systèmes non-linéaire discret dans le temps

Résumé

This paper presents a guaranteed numerical method for proving the exponential stability of an n-dimensional nonlinear discrete-time system. This method also finds positive invariant ellipsoids. It is based on Lyapunov theory, set theory, interval analysis, and guaranteed ellipsoidal propagation. The method is also computationally tractable and can be used on highdimensional systems where Lyapunov functions are difficult to find.
Ce papier présente une méthode numérique garantie pour prouver la stabilité exponentielle d'un système non-linéaire de n-dimensions et discret dans le temps. Cette méthode trouver aussi des ellipsoïdes positive invariantes. Elle est basée sur la théorie de Lyapunov, la théorie des ensembles, l'analyse pas intervalles et la propagation garantie d'ellipsoïde. Cette méthode calculable peut être utilisée sur des systèmes de grande dimension où les fonctions de Lyapunov sont difficiles à trouver.
Fichier principal
Vignette du fichier
Article_3___nonlinear_discrete_time_systems_V6_submit.pdf (365.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : Domaine public

Dates et versions

hal-04465206 , version 1 (19-02-2024)

Identifiants

  • HAL Id : hal-04465206 , version 1

Citer

Morgan Louedec, Luc Jaulin, Christophe Viel. A guaranteed numerical method to prove the exponential stability of nonlinear discrete-time systems. 2024. ⟨hal-04465206⟩
22 Consultations
20 Téléchargements

Partager

Gmail Facebook X LinkedIn More