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
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
|