Jeremy Gunawardena - Digital circuits and nonexpansive maps

We will sketch some ideas for a dynamical theory of discrete event systems (such as digital circuits or distributed systems) based on functions which are nonexpansive in the supremum norm. Of particular interest in the applications are performance measures and questions about the existence of equilibria (which correspond to fixed points). It turns out that these problems are related to each other, which sheds a new light on some classical mathematical problems.