F. Janecek, M. Klauco, M. Kaluz, and M. Kvasnica, OPTIPLAN: A Matlab Toolbox for Model Predictive Control with Obstacle Avoidance, IFAC-PapersOnLine, vol.50, issue.1, pp.531-536, 2017.

A. Richards and J. P. How, Aircraft trajectory planning with collision avoidance using mixed integer linear programming, American Control Conference, vol.3, pp.1936-1941, 2002.
DOI : 10.1109/acc.2002.1023918

F. Stoican, I. Prodan, and S. Olaru, Hyperplane arrangements in mixed-integer programming techniques. Collision avoidance application with zonotopic sets, 2013 European Control Conference (ECC), pp.3155-3160, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00827206

Y. Chen, G. Luo, Y. Mei, J. Yu, and X. Su, UAV path planning using artificial potential field method updated by optimal control theory, International Journal of Systems Science, vol.47, issue.6, pp.1407-1420, 2016.
DOI : 10.1080/00207721.2014.929191

R. Olfati-saber and R. M. Murray, Distributed cooperative control of multiple vehicle formations using structural potential functions, IFAC world congress, vol.15, pp.242-248, 2002.

S. Karaman and E. Frazzoli, Sampling-based algorithms for optimal motion planning, The International Journal of Robotics Research, vol.30, issue.7, pp.846-894, 2011.
DOI : 10.1177/0278364911406761
URL : http://arxiv.org/pdf/1105.1186

S. M. Lavalle, Rapidly-exploring random trees: A new tool for path planning, 1998.

J. Latombe, Robot motion planning, vol.124, 2012.

I. Prodan, F. Stoican, S. Olaru, and S. Niculescu, Mixed-Integer Representations, Mixed-Integer Representations in Control Design, ser. SpringerBriefs,Engineering, 2016.
DOI : 10.1007/978-3-319-26995-5_3
URL : https://hal.archives-ouvertes.fr/hal-01257452

, Enhancements on the hyperplanes arrangements in mixedinteger programming techniques, Journal of Optimization Theory and Applications, vol.154, issue.2, pp.549-572, 2012.

J. P. Vielma and G. L. Nemhauser, Modeling disjunctive constraints with a logarithmic number of binary variables and constraints, Mathematical Programming, vol.128, issue.1-2, pp.49-72, 2011.

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied interval analysis: with examples in parameter and state estimation, robust control and robotics, vol.1, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

L. J. Guibas, A. Nguyen, and L. Zhang, Zonotopes As Bounding Volumes, Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, ser. SODA '03, pp.803-812, 2003.

M. Althoff, O. Stursberg, and M. Buss, Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes, Nonlinear analysis: hybrid systems, vol.4, pp.233-249, 2010.

A. Ingimundarson, J. M. Bravo, V. Puig, T. Alamo, and P. Guerra, Robust fault detection using zonotope-based set-membership consistency test, International journal of adaptive control and signal processing, vol.23, issue.4, pp.311-330, 2009.
DOI : 10.1002/acs.1038

T. Alamo, J. M. Bravo, and E. F. Camacho, Guaranteed state estimation by zonotopes, Automatica, vol.41, issue.6, pp.1035-1043
DOI : 10.1109/cdc.2003.1271935
URL : https://hal.archives-ouvertes.fr/hal-00708563

M. Althoff, Cora 2015 manual, TU Munich, vol.85748, 2015.
DOI : 10.29007/zbkv
URL : https://easychair.org/publications/open/xMm

I. Kolmanovsky and E. G. Gilbert, Theory and computation of disturbance invariant sets for discrete-time linear systems, Mathematical problems in engineering, vol.4, issue.4, pp.317-367, 1998.

W. Kuhn, Rigorously computed orbits of dynamical systems without the wrapping effect, Computing, vol.61, issue.1, pp.47-67, 1998.

K. Fukuda, From the zonotope construction to the Minkowski addition of convex polytopes, Journal of Symbolic Computation, vol.38, pp.1261-1272, 2004.

E. Gover and N. Krikorian, Determinants and the volumes of parallelotopes and zonotopes, Linear Algebra and its Applications, vol.433, issue.1, pp.28-40, 2010.

G. M. Ziegler, Lectures on polytopes, vol.152, 2012.
DOI : 10.1007/978-1-4613-8431-1

R. P. Stanley, An introduction to hyperplane arrangements, Lecture notes, IAS/Park City Mathematics Institute, 2004.
DOI : 10.1090/pcms/013/08
URL : http://www.cis.upenn.edu/~cis610/sp06stanley.pdf

T. Lozano-pérez and M. A. Wesley, An algorithm for planning collision-free paths among polyhedral obstacles, Communications of the ACM, vol.22, issue.10, pp.560-570, 1979.

M. Hazewinkel, Multinomial coefficient, Encyclopedia of Mathematics, 2001.