J. P. Aubin, Viability Theory, Systems & Control Foundations. Birkhäuser, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00636570

T. Ba?ar and P. Bernhard, H ? -Optimal Control and Related Minimax Design Problems . A Dynamic Game Approach, 1995.

T. Ba?ar and G. J. Olsder, Dynamic Noncooperative Game Theory, Society for Industrial and Applied Mathematics, 1999.

C. Berge, Topological Spaces, 1963.

C. Castaing and M. Valadier, Convex Analysis and Measurable Multifunctions, Lecture Notes in Mathematics, vol.580, 1977.
DOI : 10.1007/BFb0087685

M. Chen and C. J. Tomlin, Exact and efficient Hamilton-Jacobi reachability for decoupled systems, 2015 54th IEEE Conference on Decision and Control (CDC), 2015.
DOI : 10.1109/CDC.2015.7402390

A. Chutinan and B. H. Krogh, Computing polyhedral approximations to flow pipes for dynamic systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), pp.2089-2094, 1998.
DOI : 10.1109/CDC.1998.758642

A. Chutinan and B. H. Krogh, Computational techniques for hybrid system verification, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.64-75, 2003.
DOI : 10.1109/TAC.2002.806655

F. H. Clarke, Optimization and Nonsmooth Analysis, 1983.
DOI : 10.1137/1.9781611971309

F. H. Clarke and M. De-pinho, Optimal Control Problems with Mixed Constraints, SIAM Journal on Control and Optimization, vol.48, issue.7, pp.4500-4524, 2010.
DOI : 10.1137/090757642

URL : https://hal.archives-ouvertes.fr/hal-00863285

F. H. Clarke, Y. S. Ledyaev, R. J. Stern, and P. R. Wolenski, Nonsmooth Analysis and Control Theory, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00863298

T. Dang, Verification and Synthesis of Hybrid Systems, 2000.
URL : https://hal.archives-ouvertes.fr/tel-00006738

J. Danskin, The Theory of Max-Min, 1967.

J. A. De-dona and J. Lévine, On Barriers in State and Input Constrained Nonlinear Systems, SIAM Journal on Control and Optimization, vol.51, issue.4, pp.3208-3234, 2013.
DOI : 10.1137/130908786

URL : https://hal.archives-ouvertes.fr/hal-00794207

L. E. Dubins, On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents, American Journal of Mathematics, vol.79, issue.3, pp.497-516, 1957.
DOI : 10.2307/2372560

W. Esterhuizen and J. Lévine, A Preliminary Study of Barrier Stopping Points in Constrained Nonlinear Systems, Proceedings of the 19th International Federation of Automatic Control World Congress, pp.11993-11997, 2014.
DOI : 10.3182/20140824-6-ZA-1003.01273

W. Esterhuizen and J. Lévine, Barriers in nonlinear control systems with mixed constraints, 2015.

A. Girard, C. L. Guernic, and O. Maler, Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs, Hybrid Systems: Computation and Control, pp.257-271, 2006.
DOI : 10.1007/11730637_21

URL : https://hal.archives-ouvertes.fr/hal-00171555

R. Goebel, R. G. Sanfelice, and A. R. Teel, Hybrid dynamical systems, IEEE Control Systems, vol.29, issue.2
DOI : 10.1109/MCS.2008.931718

R. F. Hartl, S. P. Sethi, and R. J. Vickson, A Survey of the Maximum Principles for Optimal Control Problems with State Constraints, SIAM Review, vol.37, issue.2, pp.181-218, 1995.
DOI : 10.1137/1037043

J. Heinonen, Lectures on Lipschitz analysis, Lectures at the 14th Jyväskylä Summer School, 2004.

M. R. Hestenes, Calculus of Variations and Optimal Control Theory, 1966.

R. Isaacs, Differential Games, 1965.

S. Kaynama, J. Maidens, M. Oishi, I. M. Mitchell, and G. A. Dumont, Computing the viability kernel using maximal reachable sets, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.55-64, 2012.
DOI : 10.1145/2185632.2185644

H. K. Khalil, Nonlinear Systems, 1996.

B. Kiss, Planification de trajectoires et commande d'une classe de systèmes mécaniques plats et Liouvilliens, 2000.

B. Kiss, J. Lévine, and P. , Mullhaupt. Modelling, flatness and simulation of a class of cranes, Periodica Polytechnica, vol.43, issue.3, pp.215-225, 1999.

B. Kiss, J. Lévine, and P. Mullhaupt, Modelling and motion planning for a class of weight handling equipment, J. Systems Science, vol.26, issue.4, pp.79-92, 2000.

M. Krstic, P. V. Kokotovic, and I. Kanellakopoulos, Nonlinear and Adaptive Control Design, 1995.

A. B. Kurzhanski and P. Varaiya, Dynamic Optimization for Reachability Problems, Journal of Optimization Theory and Applications, vol.15, issue.2, pp.227-251, 2001.
DOI : 10.1023/A:1026497115405

A. B. Kurzhanski and P. Varaiya, Ellipsoidal Techniques for Reachability Analysis, Hybrid Systems: Computation and Control, pp.202-214, 2000.
DOI : 10.1007/3-540-46430-1_19

A. B. Kurzhanski and P. Varaiya, The Hamilton-Jacobi Type Equations for Nonlinear Target Control and Their Approximation, Analysis and Design of Nonlinear Control Systems, pp.77-90, 2008.
DOI : 10.1007/978-3-540-74358-3_6

E. B. Lee and L. Markus, Foundations of Optimal Control Theory. The SIAM Series in Applied Mathematics, 1967.

J. Lévine, Analysis and Control of Nonlinear Systems: A Flatness-Based Approach, Mathematical Engineering, 2009.
DOI : 10.1007/978-3-642-00839-9

D. Liberzon, Switching in systems and control. Systems & Control : foundations & applications, 2003.

J. Lygeros, On reachability and minimum cost optimal control, Automatica, vol.40, issue.6, pp.917-927, 2004.
DOI : 10.1016/j.automatica.2004.01.012

J. Lygeros, N. Datta, S. Godbole, and . Sastry, Verified hybrid controllers for automated vehicles, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.522-539, 1996.
DOI : 10.1109/9.664155

J. Lygeros, C. Tomlin, and S. Sastry, Controllers for reachability specifications for hybrid systems, Automatica, vol.35, issue.3, pp.349-370, 1999.
DOI : 10.1016/S0005-1098(98)00193-9

I. M. Mitchell, Application of level set methods to control and reachability problems in continuous and hybrid systems, 2002.

I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games. Automatic Control, IEEE Transactions on, vol.50, issue.7, pp.947-957, 2005.

K. B. Ngo, R. Mahony, and Z. Jiang, Integrator Backstepping using Barrier Functions for Systems with Multiple State Constraints, Proceedings of the 44th IEEE Conference on Decision and Control, pp.8306-8312, 2005.
DOI : 10.1109/CDC.2005.1583507

M. Nicotra, R. Naldi, and E. Garone, Taut Cable Control of a Tethered UAV, Proceedings of the 19th International Federation of Automatic Control World Congress, pp.3190-3195, 2014.
DOI : 10.3182/20140824-6-ZA-1003.02581

B. Niu and J. Zhao, Barrier Lyapunov functions for the output tracking control of constrained nonlinear switched systems, Systems & Control Letters, vol.62, issue.10, pp.963-971, 2013.
DOI : 10.1016/j.sysconle.2013.07.003

M. Oishi, I. M. Mitchell, C. Tomlin, and P. Saint-pierre, Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation, Proceedings of the 45th IEEE Conference on Decision and Control, pp.3801-3807, 2006.
DOI : 10.1109/CDC.2006.377614

H. J. Pesch, A practical guide to the solution of real-life optimal control problems, Control and Cybernetics, vol.23, issue.1, 1994.

L. Pontryagin, V. Boltyanskii, R. Gamkrelidze, and E. Mishchenko, The Mathematical Theory of Optimal Processes, 1965.

S. Prajna, Barrier certificates for nonlinear model validation, Automatica, vol.42, issue.1, pp.117-126, 2006.
DOI : 10.1016/j.automatica.2005.08.007

S. Prajna and A. Jadbabaie, Safety Verification of Hybrid Systems Using Barrier Certificates, Hybrid Systems: Computation and Control, pp.477-492, 2004.
DOI : 10.1007/978-3-540-24743-2_32

S. Prajna and A. Rantzer, Convex Programs for Temporal Verification of Nonlinear Dynamical Systems, SIAM Journal on Control and Optimization, vol.46, issue.3, pp.999-1021, 2007.
DOI : 10.1137/050645178

P. Saint-pierre, Approximation of the viability kernel, Applied Mathematics & Optimization, vol.14, issue.3, pp.187-209, 1994.
DOI : 10.1007/BF01204182

H. Sira-ramirez and S. K. , Differentially flat systems, 2004.

K. Peng-tee and S. Sam-ge, Control of state-constrained nonlinear systems using integral barrier lyapunov functionals, Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, 2012.

K. Peng-tee, S. Sam-ge, and E. Tay, Barrier lyapunov functions for the control of output-constrained nonlinear systems, Automatica, vol.45, issue.4, pp.918-927, 2009.

K. Peng-tee and S. S. Ge, Control of nonlinear systems with full state constraint using a barrier lyapunov function, 28th Chinese Control Conference Proceedings of the 48th IEEE Conference on, pp.8618-8623, 2009.

C. J. Tomlin, J. Lygeros, and S. S. Sastry, A game theoretic approach to controller design for hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.949-970, 2000.
DOI : 10.1109/5.871303

C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi, Computational techniques for the verification of hybrid systems, Proceedings of the IEEE, vol.91, issue.7, pp.986-1001, 2003.
DOI : 10.1109/JPROC.2003.814621

A. Van-der-schaft and H. Schumacher, An Introduction to Hybrid Dynamical Systems, Lect. Notes in Contr. and Inform. Sci, vol.251, 2000.
DOI : 10.1007/BFb0109998

P. P. Varaiya, On the Existence of Solutions to a Differential Game, SIAM Journal on Control, vol.5, issue.1, pp.153-162, 1967.
DOI : 10.1137/0305009

R. Wisniewski and C. Sloth, Converse barrier certificate theorem, Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on, pp.4713-4718, 2013.

J. Gao-yan, M. Lygeros, and . Quincampoix, On the reachability problem for uncertain hybrid systems, Automatic Control IEEE Transactions on, vol.52, issue.9, pp.1572-1586, 2007.

K. Yosida, Functional Analysis, 1971.