Projets européens
Angels: ANGuilliform robot with ELectric Sense
- projet européen du programme FP7 (STREP)
- 2008-2011
- partenaires
- EPFL, SSSA (Pisa), IIBCE, UDELAR (Urugya), USTUTT
(Stuttgart), UBO (Bonn), CNRS-UNIC
- participant
- Gilles Chabert
- contributions
- localization and mapping with set-membership approach.
The aim of the ANGELS project is to investigate interactions
between body morphology and behaviour by designing and building a
prototype for a reconfigurable anguilliform swimming robotic system.
The robot will be able to function either as an eel-like whole entity,
or may split into smaller agents (and vice-versa). These two different
morphological forms will use a bio-inspired "electric sense", both for
recognition of objects and obstacles, and for communication between
agents, and will explore and exploit the different swimming and
electro-sensing strategies used by gymnotid and mormyrid electric fish
Net-WMS: Networked businesses in Warehouse Management Systems
- projet européen du programme FP6 (STREP)
- 2006-2009
- partenaires
- ERCIM, INRIA, CEA, SICS, KLS, PSA, Fiat, Mind2Biz, Wide
Scope
- participants
- Nicolas Beldiceanu, Emmanuel Poder, Rida Sadek, Mohamed
Sbihi, Sophie Demassey, Xavier Lorca, Stéphane Zampelli
- contributions
- noyau géométrique de
résolution de problèmes de placement en dimension
n, contrainte géométrique geost
(incluant non-recouvrement, visibilité, distance,...),
heuristiques, visualisation et études de cas de
problèmes géométriques.
Le projet NetWMS est un projet STREP du sixième
PCRD. Le projet concerne le développement d'outils se basant
à la fois sur la programmation par contraintes et la
réalité virtuelle augmentée pour la
gestion des entrepôts. L'équipe Contraintes
développe dans ce projet des contraintes
géométriques génériques et
des contraintes métiers dans le domaine du placement dans
les entrepôts et dans le domaine de la logistique.
Projets nationaux
BOOLE: Quantifying Boolean Frameworks
- projet ANR-blanc 2009 (non
thématique)
- 2009-2012
- partenaires
- UVSQ (coordinateur), U. Caen, U. Paris 8, U. Aix-Marseille
I, U. Aix-Marseille II, U. Paris Nord, U. Paris 11, ENS Ulm
- participante
- Charlotte Truchet
Boolean functions, a mathematical structure relying on boolean
logic, are ubiquitous in computer science (microprocessors, DSPs, etc).
Most of the problems arising from boolean functions are computationally
hard: the whole SAT family for instance. Constraints satisfaction
problems can be viewed as a simple extension of the boolean paradigm.
The goal of the BOOLE project is to study the boolean logic framework
from the probabilistic point of view, in order to provide a
mathematical toolbox with which to measure and quantify statistical
properties on these formulae.
SelfXL: Administration autonome pour systèmes
complexes de grande taille
- projet ANR-ARPEGE 2009 (Systèmes
Embarqués et Grandes Infrastructures)
- 2009-2011
- partenaires
- LINA/ASCOLA (coordinateur), IRIT, France Telecom RD, Bull,
Adèle/LIG, Scalagent
- participants
- Nicolas Beldiceanu
The SelfXL project aims at investigating abstractions and
implementation techniques for autonomic systems with a high software
complexity (distributed, size of code, etc.), and large-scaled in terms
of size and heterogeneity of resources and softwares. Two main issues
are addressed: How to implement administration policies (self-repair,
self-optimization, self-protection) for complex systems and how to
coordinate administration policies in a complex system? Regarding the
first issue, SelfXL proposes to explore domain specific languages (DSL)
for defining and ensure the correctness of specific kinds of
administration policies. Regarding the second issue, we propose to
design a decision module based on Constraint Programming (CP). As the
Rules Based Systems (RBS) or the Event Condition Action (ECA) approach,
CP belongs to the declarative paradigm but does not share the major
drawback of the other approaches when some rules are simultaneously
asserted. This is the case when there is an overlap between the domain
or the target of rules.
CANAR: Constraint Acquisition aNd Automatic Reformulation
- projet ANR-blanc 2006 (non
thématique)
- 2006-2009
- partenaires
- LIFO/Orléans, LIRMM/Montpellier, GREYC/Caen
- participants
- Thierry Petit (coordinateur), Julien Vion, Philippe David,
Nicolas Beldiceanu
Ce projet porte sur le thème de l'apprentissage et
la reformulation automatique de contraintes. L'enjeu est important dans
le cadre de la mise en oeuvre de la programmation par contraintes par
des personnes n'étant pas expertes du domaine.
SEISM: Scenario Editing Interactive State Machine
- projet ANR-RIAM 2005 (Réseau de
Recherche et Innovation en Audiovisuel et Multimédia)
- 2006-2008
- partenaires
- Succubus Interactive, École du Design de Nantes
- participants
- Emmanuel Poder, Nicolas Beldiceanu
Logiciel innovant d'édition et de visualisation de
scénarios complexes pour la conception et la production de
jeux vidéos. Ce projet utilise la programmation par
contraintes dans le cadre de la visualisation 3D. Le domaine pratique
concerné est un éditeur de scénari de
jeux développé par la
société Succubus Interactive.
OADyMPPac: Outils pour l'Analyse Dynamique et la mise au
Point de Programmes avec Contraintes
- projet RNTL
- 2000-2003
- partenaires
- Ilog, Cosytec, INRIA/CONTRAINTES, IRISA/LANDE, LIFO
- participants
- Narendra Jussien, Romuald Debruyne, Samir Ouis, Guillaume
Rochart
- contributions
- VISEXP: outil pour la trace et la visualisation
d'explications.
Le projet européen DiSCiPl (Debugging Systems for
Constraint Programming) a cherché à faciliter la
diffusion de la programmation par contraintes auprès d'un
plus large public. Pour cela le projet DiSCiPl s'est penché
sur plusieurs aspects tels que le diagnostic d'erreur, le diagnostic
des goulots de performance, et la conception d'outils de mise ou points
interactifs. À l'issue du projet DiSCiPl sont apparues les
deux principales difficultés suivantes: d'une part le manque
de format générique de trace, d'autre part le
problème de l'extraction d'informations pertinentes.
L'objectif premier du projet OADyMPPac a été de
contribuer à la définition d'une trace
générique pouvant être produit par les
solveurs et exploités par différents outils
d'analyse et de mise au point. Le deuxième objectif a
été de faciliter l'extraction d'informations de
trace pertinentes en s'appuyant sur les techniques de visualisation de
grande quantité d'information.
Projets contractuels et
régionaux
Google: Explanations for constraint programming
- focused research award
- 2010
- partenaire
- Google
- participants
- Narendra Jussien, Charles Prud'homme
Recent work in the constraint programming tend to demonstrate
that providing explanation-based user-oriented features can be done
quite easily in modern constraint solvers. The objective of the
proposed line of work is to specify a user-oriented explanation module
for flexible solver architectures. It relies on the experience of the
team on developing explanation-based constraint solvers (including PaLM
which was integrated in Choco v1).
UNIT: modules pédagogiques sur la programmation
par contraintes
- projet UNIT
- 2010
- partenaire
- Fondation Université Numérique
Ingénierie et Technologie, GEM
- porteur
- Nicolas Beldiceanu
Le projet
a pour objectif le développement de modules
pédagogiques sur la programmation par contraintes pour
permettre une meilleure appropriation des concepts et les relier
à des exemples de modèles. Il s'agit donc de
créer un ensemble de ressources numériques
interactives, un générateur d'exercices, et de
développer un mode recherche sémantique pour le
Catalogue des Contraintes globales actuellement disponible en ligne.
LigéRO: groupement Ligérien en
Recherche Opérationnelle
- volet émergence collective - Région
Pays de la Loire
- 2009-2012
- partenaires
- LISA/MSD, IRCCyN/SLP, LERIA/MOA, LINA/ROOM
- participants
- Sophie Demassey, Xavier Lorca, Charles Prud'homme
RUBIS: Recherche locale Unifiée et Benchmarks
d'Instances
- projet Atlanstic
- 2010
- partenaires
- LERIA/MOA
- participants
- Charlotte Truchet, Marie Pelleau
The goal of this project is to formalize several local search
algorithms in a common framework, using the abstract model from the
Algorithm Selection Problem. The different combinations of these
components will then be tested on a large set of benchmarks. The
parameter tuning will also be statistically investigated. As local
search methods often appear as ad hoc algorithms, and are also often
tuned by hand, such a knowledge base should be of interest to the whole
scientific community.
LMD: Logistique Mutualisée et Durable
- projet ADEME
- 2008-2009
- partenaires
- Euromed Textile, Bénédicta, UTT, LIP6
- participants
- Fabien Le Huédé (IRCCyN/SLP), Claire
Pavageau (IRCCyN/SLP), Charles Prud'homme, Narendra Jussien
- contributions
- prototype d'un outil de validation de projets de
co-camionnage.
Développement d'outils logiciels pour aider les PME
à concevoir des réseaux communs de livraison aux
clients. Ces outils doivent déterminer la localisation
d'entrepôts partagés et les itinéraires
de livraison répondant le mieux aux critères de
minimisation des coûts de distribution et d'impact sur
l'environnement.
MILES-SIAD WP3: Optimisation du transport dans les
systèmes logistiques
- projet MILES - Région Pays de la Loire
- 2007-2009
- partenaires
- IRCCyN/SLP, LINA/ROOM, LISA, LERIA
- participants
- Christelle Guéret (SLP), Narendra Jussien
développement de méthodes de recherche
opérationnelle et/ou de programmation par contraintes pour
la résolution de problèmes de
problèmes de tournées de véhicules
avec contraintes de chargement.
Planification de missions
- contrat
- 2008
- partenaire
- SAGEM
- participants
- Nicolas Beldiceanu, Xavier Lorca
CONS-PACK 2: bin-packing with constraints
- projet GDR RO
- 2008
- partenaires
- LIFL, Heudiasyc, LAMIH, IRCCyN/SLP
- participants
- Nicolas Beldiceanu
étude des problèmes de
découpe et de conditionnement, notamment de placement de
rectangles.
ROC-TV: Recherche Opérationnelle et Contraintes
pour les Tournées de Véhicules
- projet GDR RO
- 2007
- partenaires
- IRCCyN/SLP, CREAM/OSPL
- participants
- Christelle Guéret (SLP), Sophie Demassey,
Narendra Jussien
initier des travaux dans le domaine du
développement de méthodes hybrides RO/PPC pour la
résolution de problèmes de tournées de
véhicules.
Placement et ordonnancement pour les systèmes
temps-réel
- projet Atlanstic
- 2007
- partenaire
- IRCCyN/Système Temps Réel
- participants
- Narendra Jussien, Hadrien Cambazard, Pierre-Emmanuel Hladik
Le problème concerne la mise au point d'un
résolveur de contraintes pour un problème
d'ordonnancement et d'affectation dans le cadre de systèmes
temps réels.
Contrôle de caméra : approches hybrides
et applications
- projet Atlanstic
- 2007
- partenaire
- IRCCyN
- participants
- Marc Christie, Jean-Marie Normand
Méthodes hybrides pour les problèmes de
tournées de véhicules
- projet Atlanstic
- 2007
- partenaire
- IRCCyN/SLP, CRT Montréal
- participants
- Narendra Jussien, Hadrien Cambazard, Xavier Lorca
Contraintes d'ordonnancement
- contrat
- 2005
- partenaire
- Bouygues e-lab
- participants
- Narendra Jussien, Hadrien Cambazard, Émilie
Grellier
L'objectif de ce projet est de fournir une contrainte globale
expliquée de gestion de réseau temporel.
Explications pour les algorithmes de flots
- contrat
- 2004
- partenaire
- Bouygues e-lab
- participants
- Narendra Jussien, Guillaume Rochart
L'objectif de ce projet est de fournir des outils d'analyse et
de débogage pour un ensemble spécifique de
contraintes globales à base d'algorithmes d'optimisation de
flot.
