Conley's fundamental theorem for a class of hybrid systems

by   Matthew D. Kvalheim, et al.

We establish versions of Conley's (i) fundamental theorem and (ii) decomposition theorem for a broad class of hybrid dynamical systems. The hybrid version of (i) asserts that a globally-defined "hybrid complete Lyapunov function" exists for every hybrid system in this class. Motivated by mechanics and control settings where physical or engineered events cause abrupt changes in a system's governing dynamics, our results apply to a large class of Lagrangian hybrid systems (with impacts) studied extensively in the robotics literature. Viewed formally, these results generalize those of Conley and Franks for continuous-time and discrete-time dynamical systems, respectively, on metric spaces. However, we furnish specific examples illustrating how our statement of sufficient conditions represents merely an early step in the longer project of establishing what formal assumptions can and cannot endow hybrid systems models with the topologically well characterized partitions of limit behavior that make Conley's theory so valuable in those classical settings.


page 1

page 2

page 3

page 4


Continuous-Time Behavior Trees as Discontinuous Dynamical Systems

Behavior trees represent a hierarchical and modular way of combining sev...

Poincaré-Hopf theorem for hybrid systems

A generalization of the Poincaré-Hopf index theorem applicable to hybrid...

Global, Unified Representation of Heterogenous Robot Dynamics Using Composition Operators

The complexity of robot dynamics often pertains to the hybrid nature of ...

A Hybrid Systems Model for Simple Manipulation and Self-Manipulation Systems

Rigid bodies, plastic impact, persistent contact, Coulomb friction, and ...

iLQR for Piecewise-Smooth Hybrid Dynamical Systems

Trajectory optimization is a popular strategy for planning trajectories ...

Towards Planning and Control of Hybrid Systems with Limit Cycle using LQR Trees

We present a multi-query recovery policy for a hybrid system with goal l...

Learning Nonlinear Dynamics and Chaos: A Universal Framework for Knowledge-Based System Identification and Prediction

We present a universal framework for learning the behavior of dynamical ...