Journal articles
- 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] - 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] - 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] - 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] - 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
- Benjamin Martin, Olivier Mullier,
Improving validated computation of viability kernels,
In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Pages 227-236, 11-13 April 2018, Porto, Portugal
[pdf][bib][slides]Received Repeatability Evaluation Award
- 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, Torino, Italy
[bib][slides]
Book Chapter
- 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
- 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
- Benjamin Martin, Olivier Mullier,
Rigorous computation of viability kernel,
International Workshop on Methods and Tools for Distributed Hybrid Systems, August 2017. Aalborg (Denmark)
[pdf] - 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) - 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) - 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) - 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) - 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) - 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
- Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers and Christophe Jermann,
Rigorous algorithms for nonlinear biobjective optimization,
PGMO Days 2015, 27-28 October 2015
[pdf] - 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) - 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
- Complete and detailed experimental results of the interval Branch & Bound for RBO problems [pdf]. Archive containing all data sources [archive].
- KeyMaeraX model and proof file of the safety of the station keeping for a Dubins Vehicle: [model], [proof tactic]
- Here is the link to the source code for our HSCC’18 paper on computation of viability kernel