Overview

Complex concurrent systems are all-pervasive in the world. Examples including integrated circuits, traffic systems and weather systems. This unit will introduce techniques for understanding, analysing, describing and designing such systems by establishing a set of fundamental modelling concepts which include modularity, abstraction, composition, and hierarchy.

The unit will be given in two halves. The first half will establish the nature of complex systems and look at agent based models, including interacting automata and graph based models. The second half will examine mean-field based models including differential equations and recurrence relations. In each instance we will examine real-world systems with an emphasis on the full modelling process (abstraction, choice of model, identification and tuning of parameters and verification and validation).

1. Modeling Complex Systems, by Nino Boccara

Timetable

Assessment

Resources