CASSTING
Collective Adaptive System SynThesIs with Non-zero-sum Games
| Coordinatore | CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
Organization address
address: Centre Belle Epine Tour Europa 126 3 contact info |
| Nazionalità Coordinatore | France [FR] |
| Totale costo | 2˙737˙964 € |
| EC contributo | 2˙007˙358 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Code Call | FP7-ICT-2011-9 |
| Funding Scheme | CP |
| Anno di inizio | 2013 |
| Periodo (anno-mese-giorno) | 2013-04-01 - 2016-03-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
Organization address
address: Centre Belle Epine Tour Europa 126 3 contact info |
FR (THIAIS) | coordinator | 0.00 |
| 2 |
AALBORG UNIVERSITET
Organization address
address: FREDRIK BAJERS VEJ contact info |
DK (AALBORG) | participant | 0.00 |
| 3 |
ENERGI NORD A/S
Organization address
address: OVER BAEKKEN contact info |
DK (AALBORG) | participant | 0.00 |
| 4 |
RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Organization address
address: Templergraben contact info |
DE (AACHEN) | participant | 0.00 |
| 5 |
SELUXIT APS
Organization address
address: Dinesensvej contact info |
DK (Aalborg) | participant | 0.00 |
| 6 |
UNIVERSITE DE MONS
Organization address
address: PLACE DU PARC contact info |
BE (MONS) | participant | 0.00 |
| 7 |
UNIVERSITE LIBRE DE BRUXELLES
Organization address
address: Avenue Franklin Roosevelt contact info |
BE (BRUXELLES) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (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.nnThe 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 heterogeneousncomponents 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.nnThe 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.nnThe 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.