HP Labs Technical Reports
Click here for full text:
Recent Developments in the Mathematics of Reactive Systems
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.
Back to Index