A Homology Theory for Hybrid Systems: Hybrid Homology

  • Aaron D. Ames
  • Shankar Sastry
Conference paper

DOI: 10.1007/978-3-540-31954-2_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3414)
Cite this paper as:
Ames A.D., Sastry S. (2005) A Homology Theory for Hybrid Systems: Hybrid Homology. In: Morari M., Thiele L. (eds) Hybrid Systems: Computation and Control. HSCC 2005. Lecture Notes in Computer Science, vol 3414. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Aaron D. Ames
    • 1
  • Shankar Sastry
    • 1
  1. 1.Department of Electrical Engineering and Computer ScienceUniversity of California at BerkeleyBerkeley

Personalised recommendations