CORDIS
EU research results

CORDIS

English EN
Collective Adaptive System SynThesIs with Non-zero-sum Games

Collective Adaptive System SynThesIs with Non-zero-sum Games

Objective

CASSTING will develop a novel approach for analysing and designing collective adaptive systems in their totality, by setting up a game theoretic framework. Here components are viewed as players, their behaviour is captured by strategies, system runs are plays, and specifications are winning conditions.
The design of collective adaptive systems, as they occur, for example, in home automation, health care, and many scenarios of mobile communication, raises fundamental challenges: These systems are distributed, with heterogeneouscomponents interacting continuously among each other and with their environments, components may work collaboratively or as adversaries, they have to adapt over time, they are dynamic in the sense that components can come into existence or vanish, and their specification usually involves multi-dimensional quantitative objectives. Available methods (such as model-based verification and quantitative model-checking) only address selected aspects of collective adaptive systems.
The game theoretic approach of CASSTING is comprehensive and has already proved very successful in simpler scenarios such as automatic controller synthesis. The CASSTING research will lift this method to the level of collective adaptive systems and provide efficient algorithmic analysis methods as well as tools for the automatic synthesis. In particular, the simple scenario of zero-sum games is extended to cover a large variety of non-zero-sum games, and concepts of algorithmic game theory are generalised to infinite-duration games.
The CASSTING teams have made essential contributions in the area and are thus uniquely qualified for this project. The CASSTING research will strengthen the leading role that Europe already has in this field. The proof of concept will focus on the paradigmatic application areas of home automation and smart houses, based on case studies provided by the two internationally recognised industrial partners of the consortium.
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator Contact

Nicolas MARKEY (Dr.)

Coordinator

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS

Address

Rue Michel Ange 3
75794 Paris

France

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 505 882

Administrative Contact

CHELINI Chiara (Mrs.)

Participants (6)

Sort alphabetically

Sort by EU Contribution

Expand all

UNIVERSITE DE MONS

Belgium

EU Contribution

€ 210 846

UNIVERSITE LIBRE DE BRUXELLES

Belgium

EU Contribution

€ 322 218

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN

Germany

EU Contribution

€ 364 744

ENERGI NORD A/S

Denmark

EU Contribution

€ 25 250

AALBORG UNIVERSITET

Denmark

EU Contribution

€ 375 160

SELUXIT APS

Denmark

EU Contribution

€ 203 258

Project information

Grant agreement ID: 601148

Status

Closed project

  • Start date

    1 April 2013

  • End date

    30 April 2016

Funded under:

FP7-ICT

  • Overall budget:

    € 2 737 964

  • EU contribution

    € 2 007 358

Coordinated by:

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS

France