@inbook {IOPORT.02228134,
    author       = {Ames, Aaron D. and Sastry, Shankar},
    title        = {A homology theory for hybrid systems: Hybrid homology.},
    year         = {2005},
    booktitle    = {Hybrid systems: Computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings},
    isbn         = {3-540-25108-1},
    pages        = {86-102},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/b106766},
    abstract     = {Summary: 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.},
    identifier   = {02228134},
}