Search for contacts, projects,
courses and publications

CostCARE - Continuum State Cellular Automata and Random Equations - Applications to urban growth and traffic models



Giordano P.


Andrey D.


Ciampaglia G. L.


Vancheri A.



The first aim of our project is to start the development of a new axiomatic theory of complex systems of interacting entities including meaningful examples (e.g. cellular automata, CA, and multi-agents systems, MAS) and with good mathematical properties. In the first phase of the project we precisely defined the axioms of this new mathematical structure called Interaction Spaces (IS). Defining these axioms we included as IS: systems with behaviour depending on the past history (systems with memory, i.e. non-Markovian), CA (both deterministic and stochastic; in general with time dependant neighbourhoods), multi-agents systems, CA with non-local interactions, etc.
A first example of IS developed in detail has been a decisions support mathematical model for urban growth processes. An important second example is work in progress and consists in a transdisciplinary project (together with urban planners, environmental protection officers, architects,physicists and mathematicians) for the cantonal administration (Department of Territory) for a traffic model coupled with a urban growth model and used as a decision support system for the management of urban projects of new big traffic generators (e.g. shopping centres, free time centres, tourists attraction sites, monopolistic activities, etc.).
We chose to focus our future attention on some of the following examples of complex systems viewed as IS: models of housing markets, models of Wikipedia and open-source software, pedestrian movement, patterns formation, Darwinian evolution and behavioural finance. During the first year project new validation ideas of these type of complex systems has been developed.
The scientific project is under development (3 years remaining). Objectives to complete: development of mathematical models from other fields; proof that every extensive observable in an IS verifies both an ordinary differential equation (ODE) and a random differential equation (RDE); numerical solution of the RDE; numerical study of bifurcations in IS using RDE and ODE.

Additional information

Start date
End date
12 Months
Funding sources
European Commission
European and International Programmes / Framework Programme 6