A. A. Agrachev and Y. L. Sachkov, Control Theory from the Geometric Viewpoint, of Encyclopaedia of Mathematical Sciences, 2004.
DOI : 10.1007/978-3-662-06404-7

R. Alur, T. Dang, and F. Ivancic, Reachability Analysis of Hybrid Systems via Predicate Abstraction, Fifth International Workshop on Hybrid Systems : Computation and Control, 2002.
DOI : 10.1007/3-540-45873-5_6

E. Asarin and T. Dang, Abstraction by Projection and Application to Multi-affine Systems, Hybrid Systems : Computation and Control, pp.32-47, 2004.
DOI : 10.1007/978-3-540-24743-2_3
URL : https://hal.archives-ouvertes.fr/hal-00157551

E. Asarin, T. Dang, and A. Girard, Reachability of non-linear systems using conservative approximations, Hybrid Systems : Computation and Control, pp.22-35, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00307007

D. Augot and P. Camion, On the computation of minimal polynomials, cyclic vectors, and Frobenius forms, Linear Algebra and its Applications, vol.260, pp.1-361, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00541318

C. B. Barber, D. P. Dobkin, and H. T. Huhdanpaa, The quickhull algorithm for convex hulls, ACM Transactions on Mathematical Software, vol.22, issue.4, 1996.
DOI : 10.1145/235815.235821

M. Bardi and I. Capuzzo-dolcetta, Optimal Control and Viscosity Solutions of Hamilton- Jacobi-Bellman Equations, of Systems & Control : Foundations & Applications. Birkauser, 1997.
DOI : 10.1007/978-0-8176-4755-1

G. Barles, Solutions de viscosité deséquationsdeséquations de Hamilton-Jacobi, of Mathématiques et Applications, 1994.

R. Bellman, Dynamic Programming, 1957.

J. F. Bonnans and S. Maurin, An implementation of the shooting algorithm for solving optimal control problems, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00069932

B. Bonnard and J. Caillau, Advanced topics in control systems theory, volume 328 of Lecture Notes in Control and Information Sciences, chapter 1 : Introduction to nonlinear optimal control, pp.1-60, 2006.

B. Bonnard, J. Caillau, and E. Trélat, Geometric optimal control of elliptic keplerian orbits, Discrete and Continuous Dynamical Systems -Series B, pp.929-956, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00086345

B. Bonnard and M. Chyba, The role of singular trajectories in control theory, Mathematical Monographs, 2003.

M. S. Branicky, V. S. Borkar, and S. K. Mitter, A unified framework for hybrid control: model and optimal control theory, IEEE Transactions on Automatic Control, vol.43, issue.1, pp.31-45, 1998.
DOI : 10.1109/9.654885

J. Caillau and J. Noailles, Coplanar control of a satellite around the earth. ESAIM : Control, Optimisation and Calculus of Variations, pp.239-258, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00540251

I. Capuzzo-dolcetta, On a discrete approximation of the Hamilton-Jacobi equation of dynamic programming, Applied Mathematics & Optimization, vol.8, issue.1, pp.367-377, 1983.
DOI : 10.1007/BF01448394

H. Cartan, Calcul différentiel. Collection Méthodes, 1967.

M. Chien and E. S. Kuh, Solving nonlinear resistive networks using piecewise-linear analysis and simplicial subdivision, IEEE Transactions on Circuits and Systems, vol.24, issue.6, pp.305-317, 1977.
DOI : 10.1109/TCS.1977.1084349

F. H. Clarke, Optimization and Nonsmooth Analysis, SIAM Classics in Applied Mathematics, 1990.
DOI : 10.1137/1.9781611971309

D. Coppersmith and S. Winograd, Matrix multiplication via arithmetic progressions, Proceedings of the nineteenth annual ACM conference on Theory of computing , STOC '87, pp.251-280, 1990.
DOI : 10.1145/28395.28396
URL : http://dx.doi.org/10.1016/s0747-7171(08)80013-2

M. G. Crandall, L. C. Evans, and P. Lions, Some properties of viscosity solutions of hamilton-jacobi equations. Transactions of the, pp.487-502, 1984.

M. G. Crandall, H. Ishii, and P. Lions, Uniqueness of viscosity solutions of Hamilton-Jacobi equations revisited, Journal of the Mathematical Society of Japan, vol.39, issue.4, pp.581-596, 1987.
DOI : 10.2969/jmsj/03940581

M. G. Crandall, H. Ishii, and P. Lions, A user's guide to viscosity solutions, pp.1-67, 1992.

M. G. Crandall and P. Lions, Viscosity solutions of hamilton-jacobi equations. Transactions of the, pp.1-42, 1983.

T. Dang, Vérification et synthèse des systèmes hybrides, 2000.

D. F. Delchamps, State Space and Input-Output Linear Systems, 1988.
DOI : 10.1007/978-1-4612-3816-4

J. , D. Dora, A. Maignan, M. Mirica-ruse, and S. Yovine, Hybrid computation, Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation

J. Dieudonné, Calcul infinitésimal. Collection Méthodes, 1968.

J. Dumas, T. Gautier, and C. Pernet, Finite field linear algebra subroutines, Proceedings of the 2002 international symposium on Symbolic and algebraic computation , ISSAC '02, pp.63-74, 2002.
DOI : 10.1145/780506.780515

J. Dumas, P. Giorgi, and C. Pernet, FFPACK, Proceedings of the 2004 international symposium on Symbolic and algebraic computation , ISSAC '04, pp.140-147, 2004.
DOI : 10.1145/1005285.1005304
URL : https://hal.archives-ouvertes.fr/hal-00018223

J. Dumas, C. Pernet, and Z. Wan, Efficient computation of the characteristic polynomial, Proceedings of the 2005 international symposium on Symbolic and algebraic computation , ISSAC '05, pp.277-284, 2005.
DOI : 10.1145/1073884.1073905
URL : https://hal.archives-ouvertes.fr/hal-00004056

J. Dumas and A. Rondepierre, Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System, Hybrid Systems : Computation and Control, pp.156-171, 2003.
DOI : 10.1007/3-540-36580-X_14

J. Dumas and A. Rondepierre, Algorithms for symbolic/numeric control of affine dynamical systems, Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, pp.277-284, 2005.

J. G. Dumas and A. Rondepierre, Hybrid optimal control, International Journal of Control, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00004191

G. Ewald, Combinatorial Convexity and Algebraic Geometry, Graduate Texts in Mathematics, vol.168, 1996.
DOI : 10.1007/978-1-4612-4044-0

R. Fierro, A. K. Das, V. Kumar, and J. P. Ostrowski, Hybrid control of formations of robots, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164), 2001.
DOI : 10.1109/ROBOT.2001.932546

A. F. Filippov, Differential equations with discontinuous righthand sides, of Mathematics and their Applications (Soviet series). Kluwer Academic, 1988.
DOI : 10.1007/978-94-015-7793-9

A. T. Fuller, Relay control systems optimized for various performance criteria, Proceedings of the First World Congress IFAC, pp.510-519, 1960.

R. V. Gamkrelidze, Discovery of the Maximum Principle, Journal of Dynamical and Control Systems, vol.5, issue.4, pp.437-451, 1999.
DOI : 10.1007/3-540-29462-7_5

A. Girard, Approximate solutions of odes using piecewise linear vector fields, Proceedings of the 2002 Computer Algebra in Scientific Computing, pp.107-120, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00307056

A. Girard, Analyse algorithmique des systèmes hybrides, 2004.

G. H. Golub and C. F. Van-loan, Matrix computations. Johns Hopkins Studies in the Mathematical Sciences, 1996.

T. Guilbaud, Méthodes numériques en commande optimale, 2002.

L. C. Habets and J. H. Van-schuppen, Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles, Hybrid Systems : Computation and control, pp.261-274, 2001.
DOI : 10.1007/3-540-45351-2_23

R. Hartl, S. Sethi, and R. 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

S. Hedlund and A. Rantzer, Optimal control of hybrid systems, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), 1999.
DOI : 10.1109/CDC.1999.827981

O. H. Ibarra, S. Moran, and R. Hui, A generalization of the fast LUP matrix decomposition algorithm and applications, Journal of Algorithms, vol.3, issue.1, pp.45-56, 1982.
DOI : 10.1016/0196-6774(82)90007-4

A. Isidori, Nonlinear Control Systems, 2001.

M. Johansson, Piecewise Linear Control Systems, Lectures Notes in Control and Information Sciences, vol.284, 2003.
DOI : 10.1007/3-540-36801-9

C. D. Johnson and J. E. Gibson, Singular solutions in problems of optimal control, IEEE Transactions on Automatic Control, vol.8, issue.1, pp.4-15, 1963.
DOI : 10.1109/TAC.1963.1105505

P. Julian, A. Desages, and O. Agamennoni, High-level canonical piecewise linear representation using a simplicial partition, IEEE Transactions on Circuits and Systems -I : Fundamental Theory and Applications, pp.463-480, 1999.
DOI : 10.1109/81.754847

V. Jurdjevic, Geometric Control Theory, 1997.
DOI : 10.1017/CBO9780511530036

R. E. Kalman, CANONICAL STRUCTURE OF LINEAR DYNAMICAL SYSTEMS, Proceedings of the National Academy of Sciences, pp.596-600, 1961.
DOI : 10.1073/pnas.48.4.596

R. E. Kalman, Mathematical Description of Linear Dynamical Systems, Journal of the Society for Industrial and Applied Mathematics Series A Control, vol.1, issue.2, pp.152-192, 1963.
DOI : 10.1137/0301010

W. Keller-gehrig, Fast algorithms for the characteristic polynomial. Theoretical computer science, pp.309-317, 1985.

M. M. Lee and L. Markus, Foundations of Optimal Control Theory. Whiley, 1967.

C. Lobry, Contr??labilit?? des Syst??mes non Lin??aires, SIAM Journal on Control, vol.8, issue.4, pp.573-605, 1970.
DOI : 10.1137/0308042

A. S. Matveev and A. V. Savkin, Qualitative Theory of Hybrid Dynamical Systems, Control Engineering. Birkhäuser, 2000.
DOI : 10.1007/978-1-4612-1364-2

G. S. Minimis and C. C. Paige, A direct algorithm for pole assignment of time-invariant multi-input linear systems using state feedback, Automatica, vol.24, issue.3, pp.343-356, 1988.
DOI : 10.1016/0005-1098(88)90075-1

M. Mirica-ruse, ContributionàContribution`Contributionà l'´ etude des systèmes hybrides, 2002.

C. Pernet, A. Rondepierre, and G. Villard, Computing the Kalman form, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00009558

H. J. Pesch, A practical guide to the solutions of real-life optimal control problems. Parametric Optimization, Control Cybernet, vol.23, pp.7-60, 1994.

E. R. Pinch, Optimal Control and the Calculus of Variations, 1993.

E. Plahte1, S. W. Omholt, and T. Mestl, Global analysis of steady points for systems of differential equations with sigmoid interactions, Dynamics and Stability of Systems, vol.36, issue.4, pp.275-291, 1994.
DOI : 10.1016/S0022-5193(05)80350-9

L. Pontriaguine, V. Boltiansky, R. Gamkrelidze, and E. Michtchenko, The mathematical theory of optimal processes, 1962.

P. Riedinger, C. Iung, and F. Kratz, An Optimal Control Approach for Hybrid Systems, European Journal of Control, vol.9, issue.5, pp.449-458, 2003.
DOI : 10.3166/ejc.9.449-458

H. M. Robbins, A Generalized Legendre-Clebsch Condition for the Singular Cases of Optimal Control, IBM Journal of Research and Development, vol.11, issue.4, pp.361-372, 1967.
DOI : 10.1147/rd.114.0361

A. Rondepierre, Piecewise affine systems controllability and hybrid optimal control, Proceedings of the 2005 International Conference on Informatics in Control, Automation and Robotics, 2005.

E. Sontag, Mathematical Control Theory : Deterministic Finite Dimensional Systems. Graduate Texts in Mathematics, 1998.

E. D. Sontag, Nonlinear regulation: The piecewise linear approach, IEEE Transactions on Automatic Control, vol.26, issue.2, pp.346-358, 1981.
DOI : 10.1109/TAC.1981.1102596

M. Storace and O. Feo, Piecewise-linear approximation of nonlinear dynamical systems Circuits and Systems -I :Fundamental Theory and Applications, IEEE Transactions on, vol.51, issue.4, pp.830-842, 2004.

H. J. Sussmann, A maximum principle for hybrid optimal control problems, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), pp.425-430, 1999.
DOI : 10.1109/CDC.1999.832814

H. J. Sussmann, Piecewise-linear approximation of nonlinear dynamical systems IEEE Transactions on Circuits and Systems -I :Fundamental Theory and Applications, pp.830-842, 2004.

P. Tabuada and G. J. Pappas, Hybrid Abstractions that Preserve Timed Languages, Hybrid Systems : Computation and Control, pp.501-514, 2001.
DOI : 10.1007/3-540-45351-2_40
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.3077

E. Trélat, Contrôle optimal : théorie et applications, Collection Mathématiques Concrètes. Vuibert, 2005.

J. H. Van-schuppen, A sufficient condition for controllability of a class of hybrid systems, Hybrid Systems : Computation and control, pp.374-383, 1998.
DOI : 10.1007/3-540-64358-3_52

X. Xu and P. J. Antsaklis, Optimal control of switched systems via non-linear optimization based on direct differentiations of value functions, International Journal of Control, vol.75, issue.16-17, pp.16-171406, 2002.
DOI : 10.1007/BF01447655

M. I. Zelikin and V. F. Borisov, Optimal chattering feedback control, Journal of Mathematical Sciences, vol.114, issue.3, pp.1227-1344, 2003.
DOI : 10.1023/A:1022082011808

J. Zhang, K. H. Johansson, J. Lygeros, and S. Sastry, Zeno hybrid systems, International Journal of Robust and Nonlinear Control, vol.35, issue.5, pp.435-451, 2001.
DOI : 10.1002/rnc.592

G. M. Ziegler, Lectures on Polytopes. Graduate Texts in Mathematics, 1994.