Finite Dynamical System

In many branches of current science, graphs, and dynamical processes on these graphs, are considered. Finite Dynamical Systems - also called Automata Networks - give a natural representation of such processes. They are, for example, classical models for the dynamics of biological networks (neural and gene networks), social networks (epidemic diffusion), or communication networks (network coding).

The aim of this course is to give an introduction to these systems by focusing on the fundamental theoretical results that allow to deduce certain dynamical properties according to the interaction graph only. The proof technics will be varied and will offer the opportunity to use classic results in Discrete Mathematics, essentially coming from Graph, Information and Set Theory.