Gilles Chabert

Associate Professor at Ecole des Mines de Nantes
TASC group
LINA (UMR CNRS)




Research interests
Reliable methods for continous constraint processing under uncertainty.

Keywords:
  • Continuous constraint propagation, solver design and implementation
  • Interval analysis, nonlinear systems of equations, global optimization
  • Dynamical systems, autonomous and mobile robotics
  • (in my PhD only) Generalized and modal intervals
Projects:
  • SubCulTron (2015 - ) (H2020 - Research & Innovation Action): submarine long-term robotic exploration
  • NetWMS2 (2011-2015) (ANR): networked warehouse management systems
  • Angels (2009-2011) (FP7 - Future Emerging Technologies): anguilliform robot with electric sense
Publications
2015
A. Goldsztejn, S. Caro and G. Chabert
A New Methodology for Tolerance Synthesis of Parallel Manipulators [pdf]  [hal]
IFToMM'15 - Fourteenth International Federation for the Promotion of Mechanism and Machine Science World Congress,Taipei, Taiwan, 2015

I. Salas and G. Chabert
Packing Curved Objects [pdf]  [hal]
IJCAI - International Joint Conference on Artificial Intelligence, AAAI Press, pp. 369-402, Buenos Aires, Argentina, 2015

2014
I. Araya, G. Trombettoni, B. Neveu and G. Chabert
Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints  [pdf]  [hal]
Journal of Global Optimization, Vol. 60 (2), pp.145-164, Springer, 2014

J.A. dit Sandretto, G. Trombettoni, D. Daney and G. Chabert
Certified Calibration of a Cable-Driven Robot using Interval Contractor Programming  [hal]
Computational Kinematic, pp.209-217, Mechanisms and Machine Science, Springer, 2014

I. Salas, G. Chabert and A. Goldsztejn
The Non-Overlapping Constraint between Objects described by Non-Linear Inequalities  [pdf]  [hal]
CP'14 - 20th International Conference on Principles and Practice of Constraint Programming, LNCS Vol. 8656, pp. 672-687, Lyon, France, 2014

C. Carbonnel, G. Trombettoni, P. Vismara and G. Chabert
Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation  [pdf]  [hal]
AAAI'14 - Twenty-Eighth Conference on Artificial Intelligence, AAAI Press, pp. 2630-2636, Québec City, Canada, 2014

L. Jaulin, Ninin, J. , Chabert G., Le Menec S., Ibn Seddik M.S., Le Doze V. and Stancu, A.
Computing capture tubes  [pdf]  [hal]
SCAN'14 - 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Wurzburg, Germany. 2014

I. Salas, G. Chabert and A. Goldsztejn
Contrainte de non-chevauchement entre objets décrits par des inégalités non-linéaires  [hal]
JFPC - Journées Francophones de Programmation par Contraintes, Angers, France, 2014

2013
J-G. Fages, G. Chabert and C. Prud'Homme
Combining finite and continuous solvers: Towards a simpler solver maintenance  [pdf]  [hal]
TRICS (CP'13)- Techniques foR Implementing Constraint programming Systems, Uppsala, Sweden, 2013

J.A. dit Sandretto, G. Trombettoni, D. Daney and G. Chabert
Certified Calibration of a Cable-Driven Robot using Interval Contractor Programming  [hal]
Computational Kinematic, pp.209-217, Mechanisms and Machine Science, Springer, 2014

G. Trombettoni, I. Araya, B. Neveu and G. Chabert
Extraction de régions intérieures pour améliorer le majorant en optimisation globale sous contraintes  [hal]
JFPC - Journées Francophones de Programmation par Contraintes, pp. 31-40, Aix en Provence, France, 2013

2012
G. Chabert and S. Demassey
The Conjunction of Interval AMONG Constraints  [pdf] [hal]
CPAIOR'12, Vol.7298, pp. 113-128, Nantes, France, 2012

G. Trombettoni, I. Araya, G. Trombettoni and G. Chabert
IbexOpt : un module d'optimisation globale sous contraintes fiable  [hal]
ROADEF, 2012

I. Araya, G. Trombettoni, B. Neveu and G. Chabert
UpperBounding in Inner Regions for Global Optimization under Inequality Constraints  [hal]
GOW 2012, pp. 25-29, Natal, Brasil, 2012

G. Chabert and R. Douence
From Implicit to Explicit Pavings  [hal]
INRIA Research report n°RR-8028, 2012

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

G. Chabert and f. Boyer and S. Demassey
Multi-Agent Electro-Location and the Among Constraint   [hal]
INRIA Research report n°RR-7640, 2011

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

G. Trombettoni, I. Araya, B. Neveu and G. Chabert
Régions intérieures et linéarisations par intervalles en optimisation globale  [hal]
JFPC - Journées Francophones de Programmation par Contraintes, pp. 299-306, Lyon, France, 2011

2010
L. Jaulin and G. Chabert
Resolution of Nonlinear Interval Problems using Symbolic Interval Arithmetic  [hal]
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

G. Chabert and N. Beldiceanu
Sweeping with Continuous Domains  [pdf]  [hal]
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]  [hal]
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]  [hal]
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]  [hal]
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

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)   [hal]

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

2006
D. Daney, N. Andreff, G. Chabert and Y. Papegay
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]  [hal]
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

G. Chabert, G. Trombettoni and B. Neveu
New Light on Arc-Consistency over Continuous Domains  [hal]
INRIA Research report n°RR-5365, 2004

Software
IBEX
  I develop IBEX, a C++ library for interval-based algorithm design.
Teaching
I am teaching applied mathematics at Ecole des Mines de Nantes and University of Nantes

My current teaching:
  • Numerical methods (L3)
  • Non-linear optimization (M1 and M2)
  • Global optimization (M2)
In the past I also used to teach calculus of variation, measure theory, integration, compilers, algorithms, programming (C, Java, Pascal, Scheme), databases, software design.
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 : September 2015