Project-Team Espresso Modélisation de systèmes réactifs polychrones

Project-Team Espresso Modélisation de systèmes réactifs polychrones

Project-Team espresso Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems

Heuristique pour l’apprentissage automatique décentralisé d’interactions dans des systèmes multi-agents réactifs. Heuristics for automatic decentralized interaction learning in reactive multi-agent systems

This article proposes an heuristics for the automatic computation of interactions in reactive multi-agent system. It describes first the Interac-DEC-POMDP formalism and then focuses on a algorithm based on reinforcement learning techniques and distribution of individual rewards among agents to build interaction and collective behaviour in a sub-class of DEC-POMDP. These techniques produce adapt...

Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques

Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Inria teams are typically groups of researchers working on the definition of a common project, and objectives, with the goal to arrive at the creation of a project-team. Such project-teams may include other partners (universities or research institutions). Hycomes has been created as a new team of the Ren...

QUANTUM ESPRESSO: a modular and open-source software project for quantum simulations of materials.

QUANTUM ESPRESSO is an integrated suite of computer codes for electronic-structure calculations and materials modeling, based on density-functional theory, plane waves, and pseudopotentials (norm-conserving, ultrasoft, and projector-augmented wave). The acronym ESPRESSO stands for opEn Source Package for Research in Electronic Structure, Simulation, and Optimization. It is freely available to r...