Journal articles

  1. Benjamin Martin, Marco Correia, Jorge Cruz,
    A certified Branch & Bound approach for reliability-based optimization problems ,
    Journal of Global Optimization, Volume 69(2), Pages 461-484, 2017
    [pdf][bib]
  2. Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann,
    Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization,
    European Journal of Operational Research, Volume 260(3), Pages 934-948, 2017
    [pdf][bib]
  3. Ellen De Schepper, Xavier Gandibleux, Sebastien Lizin, Benjamin Martin, Steven Van Passel and Thomas Vincent,
    Economic and environmental multi-objective optimization to evaluate the impact of Belgian policy on solar power and electric vehicles,
    Journal of Environmental Economics and Policy, Volume 5(1), Pages 1-27, 2016
    [pdf][bib]
  4. Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann,
    On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach,
    Journal of Global Optimization, Volume 64(1), Pages 3-16, 2016
    [pdf][bib]
  5. Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann,
    Certified Parallelotope Continuation for One-Manifolds,
    SIAM Journal on Numerical Analysis, Volume 51(6), Pages 3373-3401, 2013
    [pdf][bib]

Articles in international conferences and workshops

  1. Benjamin Martin, Khalil Ghorbal, Eric Goubault and Sylvie Putot,
    Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System,
    in Proceedings First Workshop on Formal Verification of Autonomous Vehicles, Editor Lukas Bulwahn, Maryam Kamali and Sven Linker, September 2017

Book Chapter

  1. Benjamin Martin, Xavier Gandibleux and Laurent Granvilliers,
    Continuous-GRASP revisited,
    in Heuristics: Theory and Applications, Editor Patrick Siarry, Nova Sciences publishers, 2013
    [pdf][bib]

PhD Thesis

  1. Benjamin Martin,
    Rigorous algorithms for nonlinear biobjective optimization,
    PhD Thesis, 22 October 2014, Université de Nantes, Nantes, France
    Awarded a thesis prize from PGMO (Programme Gaspard Monge pour l’optimisation et la recherche opérationnelle) 2015

Talks

International

  1. Benjamin Martin, Olivier Mullier,
    Rigorous computation of viability kernel,
    International Workshop on Methods and Tools for Distributed Hybrid Systems, August 2017. Aalborg (Denmark)
    [pdf]
  2. Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann,
    Interval Branch & Bound with constraint programming techniques for non-linear bi-objective optimization,
    2nd Workshop on Recent Advances in Multi-Objective Optimization, June 2015. Nantes (France)
  3. Ellen De Schepper, Xavier Gandibleux, Sebastien Lizin, Benjamin Martin, Steven Van Passel and Thomas Vincent,
    Optimizing Economic and Environmental Performances of Solar Power and Electric Vehicles: A MOMILP Application,
    8th Conference on Sustainable Development of Energy, Water and Environmental Systems (SDEWES’13), September 2013. Dubrovnik (Croatia)
  4. Ellen De Schepper, Xavier Gandibleux, Sebastien Lizin, Benjamin Martin, Steven Van Passel and Thomas Vincent,
    Optimizing Economic and Environmental Performances of Solar Power and Electric Vehicles: A MOMILP Application,
    22nd International Conference on Multiple Criteria Decision Making (MCDM’13), June 2013. Málaga (Spain)
  5. Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann,
    On Continuation Methods for Non-Linear Multi-Objective Optimization,
    22nd International Conference on Multiple Criteria Decision Making (MCDM’13), June 2013. Málaga (Spain)
  6. Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann,
    On Continuation Methods for Non-Linear Multi-Objective Optimization,
    Small Workshop on Interval Methods (SWIM), June 2013. Brest (France)
  7. Benjamin Martin, Xavier Gandibleux and Laurent Granvilliers,
    Coupling C-GRASP with direct search methods,
    EVOLVE – A bridge between Probability, Set Oriented Numerics and Evolutionary Computation (EVOLVE’11), May 2011. Luxemburg (Luxemburg)

National

  1. Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann,
    Rigorous algorithms for nonlinear biobjective optimization,
    PGMO Days 2015, 27-28 October 2015
    [pdf]

  2. Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann,
    Méthode de continuation par parallélépipèdes : application à l’optimisation globale continue bi-objectif,
    13e congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF’12), April 2012. Angers (France)
  3. Xavier Gandibleux, Benjamin Martin, Olga Perederieieva and Sylvain Rosembly,
    Sur la résolution approchée en trois étapes du sac-à-dos bi-objectif unidimensionnel en variables binaires,
    12e congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF’11), March 2011. St. Étienne (France)

Extra materials

  1. Complete and detailed experimental results of the interval Branch & Bound for RBO problems [pdf]. Archive containing all data sources [archive].
  2. KeyMaeraX model and proof file of the safety of the station keeping for a Dubins Vehicle: [model], [proof tactic]