Gilles Chabert

Associate Professor at IMT Atlantique (Mines de Nantes)
OGRE group, LS2N(Laboratoire des Sciences du Numérique de Nantes, UMR CNRS)




Research interests
Reliable methods for continous constraint processing under uncertainty and application to robotics.

Keywords:
  • Continuous constraint propagation, solver design and implementation
  • Interval analysis, nonlinear systems of equations, global optimization
  • Mechanism analysis, geometry of manipulators
  • Dynamical systems, nonlinear control, autonomous and mobile robotics
Projects:
  • Contredo (2017-) (ANR): constraint system for functional variables
  • 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
Main publications
A. Goldsztejn and G. Chabert
Estimating the Robust Domain of Attraction for Non-Smooth Systems using an Interval Lyapunov Equation [pdf] 
To appear in Automatica, Elsevier, 2018
A. Goldsztejn, S. Caro and G. Chabert
A Three-Steps Methodology for Dimensional Tolerance Synthesis of Parallel Manipulators [pdf]  [hal]
Mechanism and Machine Theory, Vol.105, pp.213-234, Elsevier, 2016
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
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
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, 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
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 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 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]
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
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
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
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
Other publications
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
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
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
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
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
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
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
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
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
G. Trombettoni and G. Chabert
CID : disjonction constructive sur intervalles  [pdf]  [hal]
JFPC - Journées Francophones de Programmation par Contraintes, Nantes, France, 2007
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
G. Trombettoni and G. Chabert
Constructive Interval Disjunction  [pdf]
IntCP - Interval analysis, constraint propagation, application, Nantes, France, 2006
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
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 IMT Atlantique (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
IMT Atlantique (Mines de Nantes)
4, rue Alfred Kastler
44300 NANTES, France
e-mail : gilles.chabert@#REMOVE-THIS#imt-atlantique.fr
Phone : (+33) (0)2 51 85 83 48
Fax : (+33) (0)2 51 85 82 49

Last update : Feb 2018