Abstract:Analyzing and certifying stability and attractivity of nonlinear systems is a topic of research interest that has been extensively investigated by control theorists and engineers for many years. Despite that, accurately estimating domains of attraction for nonlinear systems remains a challenging task, where available estimation approaches are either conservative or limited to low-dimensional systems. In this work, we propose an iterative approach to accurately underapproximate safe (i.e., state-constrained) domains of attraction for general discrete-time autonomous nonlinear systems. Our approach relies on implicit representations of safe backward reachable sets of safe regions of attraction, where such regions can be be easily constructed using, e.g., quadratic Lyapunov functions. The iterations of our approach are monotonic (in the sense of set inclusion), where each iteration results in a safe region of attraction, given as a sublevel set, that underapproximates the safe domain of attraction. The sublevel set representations of the resulting regions of attraction can be efficiently utilized in verifying the inclusion of given points of interest in the safe domain of attraction. We illustrate our approach through two numerical examples, involving two- and four-dimensional nonlinear systems.

Invariance Principles Allowing of Non-Lyapunov Functions for Estimating Attractor of Discrete Dynamical Systems

Generalized Invariance Principles for Discrete-Time Stochastic Dynamical Systems

Lyapunov functions for quasi-Hamiltonian systems

Lyapunov function construction for nonlinear stochastic dynamical systems

Invariants and Geometric Phase for Systems with Non-Hermitian Time-Dependent Hamiltonians.

Equivalent Nonlinear System Method for Stochastically Excited and Dissipated Integrable Hamiltonian Systems

The generalized invariance principle for dynamic equations on time scales

Almost sure invariance principle for sequential and non-stationary dynamical systems

Invariant Approximations and Disturbance Attenuation for Constrained Linear Discrete-Time Systems

Invariant measures as obstructions to attractors in dynamical systems and their role in nonholonomic mechanics

An improved invariance-like theorem

Stabilization of Nonlinear Systems Nonlinearly Depending on Fast Time-Varying Parameters: an Immersion and Invariance Approach

On A Functional Lasalle Principle With Application To Chaos Synchronization

Lyapunov-like functions for almost global convergence in discrete-time systems

Dynamics And Chaos Control Of Nonlinear Systems With Attraction/Repulsion Function

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets

Global Attractors for a Class of Discrete Dynamical Systems

Stability Analysis of Nonlinear Time-Varying Systems by Lyapunov Functions with Indefinite Derivatives

Invariance Principles and Observability in Switched Systems with an Application in Consensus

Attainability, Lyapunov Reducibility, and Assignability of Lyapunov Invariants of Linear Discrete-Time Systems

Discrete-time systems properties defined on state-space regions