Gilles CHABERT

Associate Professor at Ecole des Mines de Nantes
TASC group
LINA


Research interests
Reliable methods for continous constraint processing under uncertainty.
Keywords:
  • Constraint propagation, solver design
  • Interval analysis, nonlinear systems of equations, global optimization
  • Dynamical systems, autonomous robotics
  • (in my PhD only) Quantified continuous constraints, generalized and modal intervals
Application field: Automation and mobile robotics.
I am currently involved in the ANGELS European project on bio-inspired anguiliform robots equipped with electric sense.
Publications
2012
G. Chabert and S. Demassey
The Conjunction of Interval AMONG Constraints
To appear in: CPAIOR'12, Nantes, France, 2012

2011
G. Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert
Inner Regions and Interval Linearizations for Global Optimization
AAA'11 - Twenty-Fifth Conference on Artificial Intelligence, pp. 99-104, San Francisco, USA, 2011

G. Chabert and R. Douence
Controlling Contractors with Monads for Hybrid Dynamical Systems  [hal]
INRIA Research report n°RR-7451, 2010

2010
L. Jaulin and G. Chabert
Resolution of Nonlinear Interval Problems using Symbolic Interval Arithmetic
Engineering Applications of Artificial Intelligence, Vol.23 (6), pp.1035-1040, Elsevier, 2010

B. Neveu, G. Trombettoni and G. Chabert
Improving Inter-Block Backtracking with Interval Newton  [pdf]  [hal]
Constraints, Vol.15(1), pp.93-116, Springer, 2010

N. Beldiceanu
Sweeping with Continuous Domains  [pdf]
CP'10 - 16th International Conference on Principles and Practice of Constraint Programming, LNCS Vol. 6308, pp. 137-151, St Andrews, Scotland, 2010

G. Trombettoni and Y. Papegay and G. Chabert and O. Pourtallier
A Box-Consistency Contractor Based on Extremal Functions  [pdf]
CP'10 - 16th International Conference on Principles and Practice of Constraint Programming, LNCS Vol. 6308, pp. 491-498, St Andrews, Scotland, 2010

G. Chabert and R. Douence
Interval-based identification of hybrid systems with smooth transitions: the case of electrolocation 
SCAN'10 - 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Lyon, France, 2010

G. Chabert and R. Douence
Interval-based identification of hybrid systems with smooth transitions: the case of electrolocation 
SWIM'10 - Small workshop on Interval Methods, Nantes, France, 2010

2009
G. Chabert and L. Jaulin
Contractor Programming  [pdf]  [hal]
Artifical Intelligence, Vol.173, pp.1079-1100, Elsevier, 2009

G. Chabert and L. Jaulin
A Priori Error Analysis and Spring Arithmetic  [pdf]  [hal]
SIAM Journal of Scientific Computing, Vol.31(3), pp.2214-2230, SIAM, 2009

G. Chabert and L. Jaulin and X. Lorca
A Constraint on the Number of Distinct Vectors with Application to Localization  [pdf]  [hal]
CP'09 - 15th International Conference on Principles and Practice of Constraint Programming, LNCS Vol.5732, pp.196-210, Lisbon, Portugal, 2009

G. Chabert and L. Jaulin
Hull Consistency Under Monotonicity  [pdf]  [hal]
CP'09 - 15th International Conference on Principles and Practice of Constraint Programming, LNCS Vol.5732, pp.188-195, Lisbon, Portugal, 2009

G. Chabert and L. Jaulin
A Constraint on the Number of Distinct Vectors with Application to Localization  [slides]
SWIM'09- Small workshop on Interval Methods, Lausanne, Switzerland, 2009

O. Reynet and L. Jaulin and G. Chabert
Robust TDOA Passive Location Using Interval Analysis and Contractor Programming  [pdf]
Radar 2009 - International Radar Conference, Bordeaux, France, 2009

2008
G. Trombettoni, Y. Papegay, G. Chabert and O. Pourtallier
A Box-Consistency Contraction Operator Based on Extremal Functions  [pdf]
SCAN - 13th Int. Symp. on Sci. Computing, Computer Arithmetic and Validated Numerics, El Paso, USA, 2008

L. Jaulin and G. Chabert
Resolution of Nonlinear Interval Problems using Symbolic Interval Arithmetic
SWIM'08 - Small workshop on Interval Methods, Montpellier, France, 2008

G. Chabert and L. Jaulin
Interval and Boolean Constraint Propagation for Simultaneous Localization and Map Building<
SWIM'08 - Small workshop on Interval Methods, Montpellier, France, 2008

L. Jaulin and G. Chabert
Quimper : un langage de programmation pour le calcul ensembliste, application à l'automatique  [pdf]
CIFA - 5ème Conférence Internationale Francophone d'Automatique, Bucarest, Roumania, 2008

2007
G. Chabert and A. Goldsztejn
Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems  [pdf]  [hal]
Reliable Computing, Vol.13(4), pp.325-349, Springer, 2007

G. Chabert and L. Jaulin
Computing the Pessimism of Inclusion Functions  [pdf]  [hal]
Reliable Computing, Vol.13(6), pp.489-504, Springer, 2007

D. Daney, N. Andreff, G. Chabert and Y. Papegay
C. Grandón, G. Chabert and B. Neveu
Generalized Interval Projection: A New Technique for Consistent Domain Extension  [pdf]  [hal]
IJCAI - Twentieth International Joint Conference on Artificial Intelligence , pp.94-99, Hyderabad, India, 2007

G. Trombettoni and G. Chabert
Constructive Interval Disjunction  [pdf]  [hal]
CP'07 - 13th International Conference on Principles and Practice of Constraint Programming, LNCS Vol.4741, pp.635-650, Providence, USA, 2007

G. Chabert
Techniques d'intervalles pour la résolution de systèmes d'équations
Ph.D. Thesis, University of Nice-Sophia Antipolis, 2007
[pdf](manuscript 1.6Mo)   [pdf](slides 2.5Mo)

G. Trombettoni and G. Chabert
CID : disjonction constructive sur intervalles  [pdf]
JFPC - Journées Francophones de Programmation par Contraintes, Nantes, France, 2007

2006
Interval Method for Calibration of Parallel Robots: A Vision-based Experimentation  [pdf]  [hal]
Mechanism and Machine Theory, Vol.41, pp.929-944, Elsevier, 2006

A. Goldsztejn and G. Chabert
On the Approximation of Linear AE-Solution Sets  [pdf]  [hal]
SCAN - 12th Int. Symp. on Sci. Computing, Computer Arithmetic and Validated Numerics, p.18, IEEE Computer Society, Duisburg, Germany, 2006

B. Neveu, G. Chabert and G. Trombettoni
When Interval Analysis Helps Inter-Block Backtracking  [pdf]  [hal]
CP'06 - 12th International Conference on Principles and Practice of Constraint Programming , LNCS Vol.4204, pp.390-405, Nantes, France, 2006

A. Goldsztejn and G. Chabert
A Generalized Interval LU Decomposition for the Solution of Interval Linear Systems  [pdf]  [hal]
NMA - 6th International Conference on Numerical Methods and Applications, LNCS Vol.4310, pp.312-319, Borovets, Bulgaria, 2006

G. Trombettoni and G. Chabert
Constructive Interval Disjunction  [pdf]
IntCP - Interval analysis, constraint propagation, application, Nantes, France, 2006

2005
G. Chabert, G. Trombettoni and B. Neveu
Box-Set Consistency for Interval-Based Constraint Problems  [pdf]
SAC - 20th ACM Symposium on Applied Computing, pp.1439-1443, Santa Fe, USA, 2005

G. Chabert, G. Trombettoni and B. Neveu
IGC: Une Nouvelle Consistance Partielle pour les CSPs Continus  [pdf]
JFPC - Journées Francophones de Programmation par Contraintes, Lens, France, 2005

2004
G. Chabert, G. Trombettoni and B. Neveu
New Light on Arc-Consistency over Continuous Domains  [pdf]
1st International Workshop on Constraint Propagation and Implementation, Toronto, Canada, 2004

Software
IBEX
  I develop IBEX, a C++ library for interval-based algorithm design.
Teaching
2008-2010 (Ecole des Mines de Nantes)
  • Computer Science:
    • Introduction to computer science
    • Object-oriented programming
    • Data structures
    • Software design
    • Databases
    • Java programming
    • C++ programming
    • Graphical Interfaces
  • Maths:
    • Calculus of variations
    • Differential equations
2008 (ENSIETA engineering school)
  • Measure theory & Integration (2nd cycle, 1st year)
2005-2006 (Polytech'Nice engineering school)
  • C (2nd cycle, 1st year)
  • Java (1st cycle, 2nd year)
2004-2005 (University of Nice)
  • Compilers (licence 3)
  • Scheme (licence 2)
  • Algorithms in Java (licence 1)
2003-2004 (University of Nice)
  • Algorithm design (licence 1)
  • Pascal (licence 1)
Before 2003 (Bishop's university, Canada)
  • C++ programming (undergraduate)
  • Private lessons in maths (up to licence 2)
Personal
Born in 1977, Lyon, France
Married, two children.

Short resume:

  • Ph.D. in Computer Science (Thèse de doctorat)
  • M.Sc. in Computer Science (DEA Fondements de l'informatique )
  • M.Eng. in Computer Science (Diplôme d'ingénieur Polytech'Nice)
  • B.S. in Mathematics (Licence de mathématiques)
  • B.S. in Computer Science (Licence d'informatique)
Contact
Ecole des Mines de Nantes
4, rue Alfred Kastler
44300 NANTES, France
e-mail : gilles.chabert@#REMOVE-THIS#mines-nantes.fr
Phone : (+33) (0)2 51 85 83 48
Fax : (+33) (0)2 51 85 82 49

Last update : January, 13th 2012