A homology theory for hybrid systems: Hybrid homology

Lecture Notes in Computer Science

Volumn 3414, Issue , 2005, Pages 86-102

  Ames, Aaron D ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; INFORMATION ANALYSIS; SPECTRUM ANALYSIS;

HOMOLOGY THEORY; HOMOTOPY COLIMIT; HYBRID HOMOLOGY; HYBRID SYSTEMS;

HYBRID COMPUTERS;

EID: 24344478820     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31954-2_6     Document Type: Conference Paper

References (14)

1. Bousfield, A.K., Kan, D.M.: Homotopy Limits, Completions and Localizations. Volume 304 of Lecture Notes in Mathematics. Springer-Verlag (1972)
2. Thomason, R.W.: First quadrant spectral sequences in algebraic K-theory. In Dupont, J.L., Madsen, I.H., eds.: Algebraic Topology. Volume 763 of Lecture Notes in Mathematics. Springer-Verlag (1978) 332-355
3. Vogt, R.M.: Homotopy limits and colimits. Mathematische Zeitschrift 134 (1973) 11-52
4. Ames, A.D., Sastry, S.: Characterization of Zeno behavior in hybrid systems using homological methods. Submitted to ACC (2005)
5. Simic, S., Johansson, K.H., Sastry, S., Lygeros, J.: Towards a geometric theory of hybrid systems. In Krogh, B., Lynch, N., eds.: HSCC. Volume 1790 of LNCS., Springer Verlag (2000) 421-436
6. Lane, S.M.: Categories for the Working Mathematician. second edn. Volume 5 of Graduate Texts in Mathematics. Springer (1998)
7. Lee, J.M.: Introduction to Smooth Manifolds. Volume 218 of Graduate Texts in Mathematics. Springer (2003)
8. Ames, A.D., Sastry, S.: A categorical theory of hybrid systems. Technical Report (2004)
9. Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation relations for dynamical, control, and hybrid systems. Submitted to Theoretical Computer Science (2003)
10. Gabriel, P., Zisman, M.: Calculus of Fractions and Homotopy Theory. Volume 35 of Ergenbnisse der Mathematik und Ihrer Grenzgebiete. Springer-Verlag (1967)
11. Thomason, R.W.: First quadrant spectral sequences in algebraic K-theory via homotopy colimits. Communications in Algebra 10 (1982) 1589-1668
12. Weibel, C.A.: An Introduction to Homological Algebra. Cambridge University Press (1994)
13. Milnor, J.: Morse Theory. Princeton University (1963)
14. Madsen, I., Tornehave, J.: From Calculus to Cohomology: De Rahm Cohomology and Characteristic Classes. Cambridge University (1997)