Description du projet
International Partnership building and support to dialogues
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.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences sociales sociologie relations industrielles automatisation
- sciences naturelles mathématiques mathématiques appliquées théorie des jeux
- ingénierie et technologie génie électrique, génie électronique, génie de l’information ingénierie électronique système d’automatisation et de contrôle domotique
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Nous sommes désolés... Une erreur inattendue s’est produite.
Vous devez être authentifié. Votre session a peut-être expiré.
Merci pour votre retour d'information. Vous recevrez bientôt un courriel confirmant la soumission. Si vous avez choisi d'être informé de l'état de la déclaration, vous serez également contacté lorsque celui-ci évoluera.
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
FP7-ICT-2011-9
Voir d’autres projets de cet appel
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Coordinateur
75794 PARIS
France
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.