A Homology Theory for Hybrid Systems: Hybrid Homology

By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by considering the underlying “space” of a hybrid system—its hybrid space or H-space. The homotopy colimit can be applied to this H-space to obtain a single topological space; the hybrid homology of an H-space is the homology of this space. The result is a spectral sequence converging to the hybrid homology of an H-space, providing a concrete way to compute this homology. Moreover, the hybrid homology of the H-space underlying a hybrid system gives useful information about the behavior of this system: the vanishing of the first hybrid homology of this H-space—when it is contractible and finite—implies that this hybrid system is not Zeno.

[1]  A.D. Ames,et al.  A priori detection of Zeno behavior in communication networks modeled as hybrid systems , 2006, 2006 American Control Conference.

[2]  R. Thomason,et al.  First quadrant spectral sequences in algebraic K-theory , 1979 .

[3]  A.D. Ames,et al.  Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations , 2005, 2007 46th IEEE Conference on Decision and Control.

[4]  Aaron D. Ames,et al.  Lyapunov-Like Conditions for the Existence of Zeno Behavior in Hybrid and Lagrangian Hybrid Systems , 2007, 2007 46th IEEE Conference on Decision and Control.

[5]  Karl Henrik Johansson,et al.  Towards a Geometric Theory of Hybrid Systems , 2000, HSCC.

[6]  A.D. Ames,et al.  Hybrid Routhian reduction of Lagrangian hybrid systems , 2006, 2006 American Control Conference.

[7]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[8]  A.D. Ames,et al.  Approximate Reduction of Dynamical Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[9]  S. Sastry,et al.  Hybrid Geometric Reduction of Hybrid Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[10]  Aaron D. Ames,et al.  Three-dimensional object recognition using invariant Euclidean signature curves , 2002 .

[11]  Mark R. Greenstreet,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[12]  A.D. Ames,et al.  Stably Extending Two-Dimensional Bipedal Walking to Three Dimensions , 2007, 2007 American Control Conference.

[13]  S. Shankar Sastry,et al.  Sufficient Conditions for the Existence of Zeno Behavior , 2007, Proceedings of the 44th IEEE Conference on Decision and Control.

[14]  Aaron D. Ames,et al.  A geometric approach to three-dimensional hipped bipedal robotic walking , 2007, 2007 46th IEEE Conference on Decision and Control.

[15]  S. Shankar Sastry,et al.  Homogeneous semantics preserving deployments of heterogeneous networks of embedded systems , 2006 .

[16]  Paulo Tabuada,et al.  On the Stability of Zeno Equilibria , 2006, HSCC.

[17]  R. Ho.  Algebraic Topology , 2022 .

[18]  S. Sastry,et al.  Is there life after Zeno? Taking executions past the breaking (Zeno) point , 2006, 2006 American Control Conference.

[19]  A.D. Ames,et al.  Error bounds based stochastic approximations and simulations of hybrid dynamical systems , 2006, 2006 American Control Conference.

[20]  S. Shankar Sastry,et al.  Affine Hybrid Systems , 2004, HSCC.

[21]  Paulo Tabuada,et al.  Bisimulation Relations for Dynamical and Control Systems , 2003, CTCS.

[22]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[23]  A.D. Ames,et al.  Hybrid cotangent bundle reduction of simple hybrid mechanical systems with symmetry , 2006, 2006 American Control Conference.

[24]  Edward A. Lee,et al.  Beyond Zeno: Get on with It! , 2006, HSCC.

[25]  Peter Gabriel,et al.  Calculus of Fractions and Homotopy Theory , 1967 .

[26]  John M. Lee.  Introduction to Smooth Manifolds , 2002 .

[27]  A.D. Ames,et al.  On the Partitioning of Syntax and Semantics For Hybrid Systems Tools , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[28]  I. Madsen,et al.  From Calculus to Cohomology: De Rham Cohomology and Characteristic Classes , 1997 .

[29]  Jerrold E. Marsden,et al.  Discrete mechanics and optimal control applied to the compass gait biped , 2007, 2007 46th IEEE Conference on Decision and Control.

[30]  A.D. Ames,et al.  Characterization of Zeno behavior in hybrid systems using homological methods , 2005, Proceedings of the 2005, American Control Conference, 2005..

[31]  Paulo Tabuada,et al.  Bisimulation relations for dynamical, control, and hybrid systems , 2005, Theor. Comput. Sci..

[32]  R. Thomason,et al.  First quadrant spectral sequences in algebraic k-theory via homotopy colimits , 1982 .

[33]  A.D. Ames,et al.  Stochastic approximations of hybrid systems , 2005, Proceedings of the 2005, American Control Conference, 2005..

[34]  Franz Pichler,et al.  Computer Aided Systems Theory — EUROCAST '93 , 1993, Lecture Notes in Computer Science.

[35]  C. Weibel,et al.  An Introduction to Homological Algebra: References , 1960 .

[36]  Jesse Freeman,et al.  in Morse theory, , 1999 .

[37]  D. M. Kan,et al.  Homotopy Limits, Completions and Localizations , 1987 .