Conley's Fundamental Theorem for a Class of Hybrid Systems

DOI10.1137/20M1336576zbMath1480.37027arXiv2005.03217MaRDI QIDQ5004524

Matthew D. Kvalheim, Daniel E. Koditschek, Paul Gustafson

Publication date: 2 August 2021

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.03217

zbMATH Keywords

hybrid systemsLyapunov functionsdecomposition theoremchain recurrenceConley theoryfundamental theorem of dynamical systems

Mathematics Subject Classification ID

Stability of topological dynamical systems (37B25) Gradient-like behavior; isolated (locally maximal) invariant sets; attractors, repellers for topological dynamical systems (37B35) Index theory for dynamical systems, Morse-Conley indices (37B30) Notions of recurrence and recurrent behavior in topological dynamical systems (37B20)

Related Items (4)

Flux in tilted potential systems: negative resistance and persistence ⋮ A direct proof of Conley's decomposition for well-posed hybrid inC30clusions ⋮ Invariant forms in hybrid and impact systems and a taming of Zeno ⋮ Necessary conditions for feedback stabilization and safety

Cites Work

• Classical converse theorems in Lyapunov's second method
• On the concept of attractor
• On the concept of attractor: correction and remarks
• The connection matrix theory for semiflows on (not necessarily locally compact) metric spaces
• The Morse index, repeller-attractor pairs and the connection index for semiflows on noncompact spaces
• Topological equivalence of normally hyperbolic dynamical systems
• Morse theory on spaces of braids and Lagrangian dynamics
• Chain recurrence, semiflows, and gradients
• On the regularization of Zeno hybrid automata
• A Poincaré-Bendixson theorem for hybrid systems
• A Poincaré-Bendixson theorem for hybrid dynamical systems on directed graphs
• Networks of hybrid open systems
• Structural stability of piecewise smooth systems
• An algorithmic approach to chain recurrence
• Bisimulation relations for dynamical, control, and hybrid systems
• An introduction to manifolds. 2nd revised ed.
• Existence of complete Lyapunov functions for semiflows on separable metric spaces
• Introduction to Smooth Manifolds
• Gait Transitions for Quasi-static Hexapedal Locomotion on Level Ground
• Model Reduction Near Periodic Orbits of Hybrid Dynamical Systems
• Metrization and Simulation of Controlled Hybrid Systems
• Introduction to Topological Manifolds
• Event--Selected Vector Field Discontinuities Yield Piecewise--Differentiable Flows
• Metrizability of Decomposition Spaces
• Conley decomposition for closed relations
• Computation and Verification of Lyapunov Functions
• Liapunov functions for closed relations
• The random case of Conley's theorem: II. The complete Lyapunov function
• A Morse equation in Conley's index theory for semiflows on metric spaces
• Chain recurrence in dynamical systems without uniqueness
• Lyapunov functions and attractors in arbitrary metric spaces
• Stability theory for hybrid dynamical systems
• Asymptotically stable walking for biped robots: analysis via systems with impulse effects
• A robust hybrid stabilization strategy for equilibria
• Smooth stabilization implies coprime factorization
• Introduction to Dynamical Systems
• The Spring Loaded Inverted Pendulum as the Hybrid Zero Dynamics of an Asymmetric Hopper
• Formal composition of hybrid systems
• A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
• Perturbation Theory and Singular Perturbations for Input-to-State Multistable Systems on Manifolds
• Dynamical properties of hybrid automata
• Hybrid zero dynamics of planar biped walkers
• Navigation Functions on Cross Product Spaces
• Stability and Completion of Zeno Equilibria in Lagrangian Hybrid Systems
• Simple mathematical models with very complicated dynamics
• Hybrid dynamical systems
• The random case of Conley's theorem: III. Random semiflow case and Morse decomposition
• The Dynamics of Legged Locomotion: Models, Analyses, and Challenges
• Differentiable dynamical systems
• Hybrid Systems: Computation and Control
• The dynamics of control. With an appendix by Lars Grüne
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Conley's Fundamental Theorem for a Class of Hybrid Systems