HP Labs Technical Reports



Click here for full text: PDF

Recent Developments in the Mathematics of Reactive Systems

Gunawardena, Jeremy

HPL-BRIMS-97-08

Keyword(s):cycle time; dynamical system; equilibrium point; nonexpansive map; reactive system; supremum norm; topical function

Abstract: This paper is an extended abstract of an invited talk to the Eighth International Conference on Concurrency Theory held in Warsaw in July 1997. The time evolution of certain reactive systems can be modelled by the dynamics of self-maps of n-dimensional space which are nonexpansive in the supremum norm. The paper surveys recent progress in this area.

4 Pages

Back to Index

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map][Home] [Hewlett-Packard]