Computation of Attractor Lattices for a Class of Hybrid Systems

Abstract

We study the attractor lattice of a class of hybrid dynamical systems on compact metric spaces. Under the trapping guard condition, we prove that hybrid attractors form a bounded distributive lattice isomorphic to the attractor lattice of an associated semiflow. The regularized preimages define a lattice epimorphism from a sublattice of the regular closed, attracting neighborhoods of the semiflow onto those of the hybrid system, and from the whole lattice when the guard set and its reset image have empty interior. Then, using grids on the state space, we construct a convergent cofiltration of outer approximations of a fixed-time map of this semiflow. This construction realizes every finite sublattice of hybrid attractors by a lattice of attracting neighborhoods that are unions of grid elements at sufficiently fine resolutions, and provides index pairs for computing Conley indices. We illustrate these constructions computationally by extracting the Conley--Morse graphs of the bouncing ball, the rimless wheel, the spiking neuron, and exhibiting the attractor lattice for an impacting oscillator.