A smooth Conley-Lyapunov function for hybrid inclusions on R^n

DOI10.1016/J.SYSCONLE.2025.106204MaRDI QIDQ6930740zbMATH OpenFDO

Authors Rafal K. Goebel, Andrew Teel

Publication date 12 September 2025

Published in Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.SYSCONLE.2025.106204

zbMATH Keywords

chain recurrenceConley decompositionhybrid inclusionLyapunov function

Mathematics Subject Classification ID

Ordinary differential inclusions (34A60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Lyapunov and storage functions (93D30)

Review text

This paper provides a rigorous construction of smooth Conley-Lyapunov functions for hybrid inclusions on \(\mathbb{R}^n\). The authors consider both an invariant compact set and the basin of attraction of an attractor, establishing the existence of a \(C^{\infty}\) function that strictly decreases outside the chain-recurrent part of the set, as characterized by Lyapunov inequalities.\N\NThe work extends existing Conley-type decomposition results -- originally developed for continuous flows -- to the setting of hybrid inclusions, which combine differential and difference inclusions with state constraints. The proofs are technically sophisticated, carefully handling the summation of infinitely many smooth Lyapunov-like functions while preserving smoothness and inequality conditions. A notable application is given in Section 4, where the authors use the constructed Lyapunov function to analyze the convergence of bounded solutions of a discrete-time simulator with square-summable step sizes, showing convergence to the chain-recurrent part of the attractor.\N\NOverall, this work provides a valuable addition to the theory of smooth Lyapunov functions for hybrid dynamics, with constructive proofs and a non-trivial application to numerical approximations. It will be of interest to both theorists and those working on computational or applied aspects of hybrid systems.

Cites work

• A Conley-type decomposition of the strong chain recurrent set
• A Conley-type Lyapunov function for the strong chain recurrent set
• A direct proof of Conley's decomposition for well-posed hybrid inC30clusions
• Asymptotic stability and smooth Lyapunov functions
• Chain recurrence and attraction in non-compact spaces
• Classical converse theorems in Lyapunov's second method
• Computing complete Lyapunov functions for discrete-time dynamical systems
• Conley's fundamental theorem for a class of hybrid systems
• Existence of Lipschitz continuous Lyapunov functions strict outside the strong chain recurrent set
• scientific article; zbMATH DE number 412251 (Why is no real title available?)
• scientific article; zbMATH DE number 432503 (Why is no real title available?)
• scientific article; zbMATH DE number 3616736 (Why is no real title available?)
• scientific article; zbMATH DE number 823543 (Why is no real title available?)
• Hybrid dynamical systems. Modeling, stability, and robustness
• Smooth complete Lyapunov functions for multifunctions
• Smooth complete Lyapunov functions for ODEs
• Smooth Lyapunov functions and robustness of stability for difference inclusions
• Smooth Lyapunov Functions for Hybrid Systems Part II: (Pre)Asymptotically Stable Compact Sets
• Smooth Morse-Lyapunov functions of strong attractors for differential inclusions
• Smoothing Lyapunov functions
• Stochastic Approximations and Differential Inclusions
• Variational Analysis

This page was built for publication: A smooth Conley-Lyapunov function for hybrid inclusions on \(\mathbb{R}^n\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6930740)