. Le-code-matlab and . Qu, un manuel utilisateur, sont téléchargeablestéléchargeablesà l'adresse http

E. Asarin, O. Bournez, T. Dang, and O. Maler, Approximate reachability analysis of piecewise linear dynamical systems, Hybrid Systems : Computation and Control, no. 1790 in LNCS, pp.21-31, 2000.

E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli, Effective synthesis of switching controllers for linear systems, Proc. of the IEEE Special Issue Hybrid System: Theory and Applications, pp.1011-1025, 2000.
DOI : 10.1109/5.871306

URL : https://hal.archives-ouvertes.fr/inria-00099342

E. Asarin, T. Dang, and O. Maler, The d/dt tool for verification of hybrid systems, no. 2404 in LNCS, pp.365-370, 2002.

E. Asarin, G. Schneider, and S. Yovine, Towards computing phase portraits of polygonal differential inclusions, Hybrid Systems : Computation and Control, C, no. 2289 in LNCS, pp.49-61, 2002.

E. Asarin, T. Dang, and A. Girard, Reachability of non-linear systems using conservative approximations, Hybrid Systems : Computation and Control, no. 2623 in LNCS, pp.22-35, 2003.

E. Asarin and T. Dang, Abstraction by projection and application to multi-affine systems, Hybrid Systems : Computation and Control, no. 2993 in LNCS, pp.32-47, 2004.

J. P. Aubin, Viability theory, Systems and Control : Foundations and Applications, 1991.

T. Bak, J. Bendtsen, and A. P. Ravn, Hybrid control design for a wheeled mobile robot, Hybrid Systems : Computation and Control, no. 2623 in LNCS, pp.50-65, 2003.

A. M. Bayen, E. Crück, and C. J. Tomlin, Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques, Hybrid Systems : Computation and Control
DOI : 10.1007/3-540-45873-5_10

C. Belta, J. Schug, T. Dang, V. Kumar, M. Mintz et al., Stability and reachability analysis of a hybrid model of luminescence 178. in the marine bacterium Vibrio fischeri, Proc. IEEE Conf. on Decision and Control, pp.869-874, 2001.

A. Bemporad and M. Morari, Control of systems integrating logic, dynamics, and constraints, Automatica, vol.35, issue.3, pp.407-427, 1999.
DOI : 10.1016/S0005-1098(98)00178-2

A. Bemporad, F. Borrelli, and M. Morari, On the optimal control law for linear discrete time hybrid systems, Hybrid Systems : Computation and Control, C, no. 2289 in LNCS, pp.164-178, 2002.

A. Bemporad, A. Giua, and C. Seatzu, A master-slave algorithm for the optimal control of continious-time switched affine systems, Proc. IEEE Conf. on Decision and Control, 2002.

A. Bemporad, P. Borodani, and M. Manneli, Hybrid control of an automotive robotized gearbox for reduction of consumptions and emissions, Hybrid Systems : Computation and Control, no. 2623 in LNCS, pp.81-96, 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

B. Bueler, A. Enge, and K. Fukuda, Exact volume computation for polytopes: a practical study, Polytopes?combinatorics and computation, 2000.

L. O. Chua and A. C. Dang, Canonical piecewise-linear modeling, IEEE Transactions on Circuits and Systems, vol.33, issue.5, pp.511-525, 1986.
DOI : 10.1109/TCS.1986.1085952

L. O. Chua and T. S. Parker, Practical numerical algorithms for chaotic systems, 1989.

A. Chutinan and B. H. Krogh, Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations Hybrid Systems : Computation and Control, F. Vaandrager, no. 1569 in LNCS, pp.76-90, 1999.

A. Chutinan, A. Fehnker, Z. Han, J. Kapinski, R. Kumar et al., CheckMate, hybrid systems verification toolbox for MATLAB

T. Dang and O. Maler, Reachability analysis via face lifting, Hybrid Systems : Computation and Control, no. 1386 in LNCS, pp.96-109, 1998.
DOI : 10.1007/3-540-64358-3_34

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.4435

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

T. Dang and O. , Maler, d/dt, reachability analysis of continuous and hybrid systems

I. Daubechies, Ten lectures on wavelets, CBMS-NSF Regional Conference Series in Applied Mathematics, SIAM, 1992.
DOI : 10.1137/1.9781611970104

D. L. Delchamps, State space and input-output linear systems, 1988.
DOI : 10.1007/978-1-4612-3816-4

J. P. Demailly, Analyse numérique etéquationsetéquations différentielles, 1996.

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

A. L. Dontchev and I. V. Kolmanovsky, State constraints in the linear regulator problem: Case study, Journal of Optimization Theory and Applications, vol.31, issue.2, pp.323-347, 1995.
DOI : 10.1007/BF02192567

J. R. Dormand, Numerical methods for differential equations, Library of Engineering Mathematics, 1996.

J. G. Dumas and A. Rondepierre, Modeling the electrical activity of a neuron by a continuous and piecewise linear hybrid system, Hybrid Systems : Computation and Control, no. 2623 in LNCS, pp.22-35, 2003.

M. Egerstedt, P. Ogren, O. Shakernia, and J. Lygeros, Toward optimal control of switched linear systems, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), 2000.
DOI : 10.1109/CDC.2000.912828

M. Egerstedt and C. F. Martin, Optimal trajectory planning and smoothing splines, Automatica, vol.37, issue.7, pp.1057-1064, 2001.
DOI : 10.1016/S0005-1098(01)00055-3

M. Egerstedt and C. F. Martin, Optimal control and monotone smoothing splines, New Trends in Nonlinear Dynamics and Control, and their Applications, no, pp.279-294, 2003.

N. H. El-farra and P. D. Christofides, Switching and feedback laws for control of constrained switched nonlinear systems, Hybrid Systems : Computation and Control, C, no. 2289 in LNCS, pp.164-178, 2002.

J. M. Esposito, V. Kumar, and G. J. Pappas, Accurate event detection for simulating hybrid systems, Hybrid Systems : Computation and Control, no. 2034 in LNCS, pp.204-217, 2001.

G. Ewald, Combinatorial convexity and algebraic geometry, Graduate Texts in Mathematics, vol.168, 1996.
DOI : 10.1007/978-1-4612-4044-0

G. Ferrari-trecate, F. A. Cuzzola, and M. Morari, Analysis of discrete-time piecewise affine systems with logic states, Hybrid Systems : Computation and Control, C, no. 2289 in LNCS, pp.164-178, 2002.

A. F. Filippov, Differential equations with discontinuous right-hand side, 1988.
DOI : 10.1090/trans2/042/13

M. Garavello and B. Piccoli, Hybrid necessary principles: an application to a car with gears, Proc. IFAC Conf. ADHS 2003, 2003.

R. Ghosh, A. Tiwari, and C. Tomlin, Automated symbolic reachability analysis; with aplication to Delta-Notch signaling automata Hybrid Systems : Computation and Control Analysis of ODE using hybrid computation, no. 2623 in LNCS, pp.22-35, 2002.

A. Girard, Approximate solutions of ODEs using piecewise linear vector fields, Proc. CASC 2002, pp.107-120, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00307056

A. Girard, Detection of event occurrence in piecewise linear hybrid systems, Proc. RASC 2002, pp.19-25, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00307055

A. Girard, Computation and stability analysis of limit cycles in piecewise linear hybrid systems, Proc. IFAC Conf. ADHS 2003, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00307053

A. Girard, Towards a Multiresolution Approach to Linear Control, IEEE Transactions on Automatic Control, vol.51, issue.8, 2004.
DOI : 10.1109/TAC.2006.878717

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

A. Girard, Optimal control of linear systems: a multiresolution approach, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), 2004.
DOI : 10.1109/CDC.2004.1430311

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

A. Girard, CASCADE : Computational Analysis and Simulation using Continuous Approximations for Differential Equations

J. M. Goncalves, A. Megretski, and M. A. Dahleh, Global analysis of piecewise linear systems using impact maps and surface lyapunov functions, IEEE Transactions on Automatic Control, vol.48, issue.12, pp.482089-2106, 2003.
DOI : 10.1109/TAC.2003.820061

J. E. Goodman and J. O-'rourke, Handbook of discrete and computational geometry, 1997.

M. R. Greenstreet and I. Mitchell, Reachability analysis using polygonal projections , Hybrid Systems : Computation and Control, no. 1569 in LNCS, pp.76-90, 1999.
DOI : 10.1007/3-540-48983-5_12

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.6873

J. Guckenheimer and B. Meloon, Computing Periodic Orbits and their Bifurcations with Automatic Differentiation, SIAM Journal on Scientific Computing, vol.22, issue.3, pp.951-985, 2000.
DOI : 10.1137/S1064827599359278

W. P. Heemels, M. K. Camlibel, A. J. Van-der-schaft, and J. M. Schumacher, Modelling, well-posedness, and stability of switched electrical networks, Hybrid Systems : Computation and Control, no. 2623 in LNCS, pp.22-35, 2003.

T. A. Henzinger, P. H. Ho, and H. Wong-toi, HYTECH: a??model checker for hybrid systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.110-122, 1997.
DOI : 10.1007/s100090050008

I. A. Hiskens and M. A. Pai, Trajectory sensitivity analysis of hybrid systems, IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol.47, issue.2, pp.204-220, 2000.
DOI : 10.1109/81.828574

J. Hubbard and B. West, Differential equations : a dynamical system approach, higher himensional systems, Texts in Applied Mathematics, vol.18, p.181, 1995.

M. Johansson and A. Rantzer, Computation of piecewise quadratic Lyapunov functions for hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.555-559, 1998.
DOI : 10.1109/9.664157

K. H. Johansson, J. Lygeros, S. Sastry, and M. Egerstedt, Simulation of Zeno hybrid automata, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), 1999.
DOI : 10.1109/CDC.1999.827900

K. H. Johansson, M. Egerstedt, J. Lygeros, and S. Sastry, On the regularization of Zeno hybrid automata, Systems and Control Letters, pp.141-150, 1999.

H. W. Kuhn, Some Combinatorial Lemmas in Topology, IBM Journal of Research and Development, vol.4, issue.5, p.518524, 1960.
DOI : 10.1147/rd.45.0518

G. Lafferriere, G. Pappas, and S. Yovine, Reachability computation for linear systems, Proc. IFAC World Congress, pp.7-12, 1999.

B. Lincoln and A. Rantzer, Relaxed optimal control of piecewise linear systems, Proc. IFAC Conf. ADHS 2003, 2003.

J. Llibre, E. Nunez, and A. E. , Limit cycles for planar piecewise linear differential systems via first integrals, Qualitative Theory of Dynamical Systems, vol.11, issue.1, pp.29-50, 2002.
DOI : 10.1007/BF02969332

J. Lygeros, K. H. Johansson, S. Sastry, and M. Egerstedt, On the existence of executions of hybrid automata, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), 1999.
DOI : 10.1109/CDC.1999.831255

J. Macki and A. Strauss, Introduction to optimal control theory, 1982.
DOI : 10.1007/978-1-4612-5671-7

S. Mallat, A wavelet tour of signal processing, 1998.

A. S. Matveev and A. V. Savkin, Qualitative theory of hybrid dynamical systems, 2000.
DOI : 10.1007/978-1-4612-1364-2

M. Mirica-ruse, ContributionàContributionà l'´ etude des systèmes hybrides, Thèse de Doctorat, 2002.

I. Mitchell and C. Tomlin, Level set method for computation in hybrid systems, Hybrid Systems : Computation and Control, no. 1790 in LNCS, pp.421-436, 2000.

T. Park and P. I. Barton, State event location in differential-algebraic models, ACM Transactions on Modeling and Computer Simulation, vol.6, issue.2, pp.137-165, 1996.
DOI : 10.1145/232807.232809

N. B. Pettit and P. E. Wellstead, Analyzing piecewise linear dynamical systems, IEEE Control Systems Magazine, vol.15, issue.5, pp.43-50, 1995.
DOI : 10.1109/37.466263

L. Perko, Differential equations and dynamical systems, Texts in Applied Mathematics, vol.7, 1991.

M. Rubensson, B. Lennartson, and S. Pettersson, Convergence to limit cycles in hybrid systems : an example, Large Scale Systems : Theory and Applications, pp.704-709, 1998.

M. Rubensson and B. Lennartson, Stability of limit cycles in hybrid systems using discrete-time Lyapunov techniques, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), pp.1397-1402, 2000.
DOI : 10.1109/CDC.2000.912053

A. M. Samoilenko, N. A. Perestyuk, M. Senesky, G. Eirea, and T. J. Koo, Impulsive differential equations Hybrid modelling and control of power electronics , Hybrid Systems : Computation and Control, no. 2623 in LNCS, pp.22-35, 1995.

M. S. Shaikh and P. E. Caines, On the optimal control of hybrid systems : optimization of trajectories, switching times and location schedule, Hybrid Systems : Computation and Control, no. 2623 in LNCS, pp.22-35, 2003.

L. F. Shampine, I. Gladwell, and R. W. Brankin, Reliable solution of special event location problems for ODEs, ACM Transactions on Mathematical Software, vol.17, issue.1, pp.11-25, 1991.
DOI : 10.1145/103147.103149

B. I. Silva, K. Richeson, B. H. Krogh, and A. Chutinan, Modeling and verification of hybrid dynamical system using CheckMate, Proc. Int. Conf. on Automation of Mixed Processes ADPM, 2000.

S. Simic, K. H. Johansson, S. Sastry, and J. Lygeros, Towards a geometric theory of hybrid systems, Hybrid Systems : Computation and Control, no. 1790 in LNCS, pp.421-436, 2000.

A. M. Stuart and A. R. Humphries, Dynamical systems and numerical analysis, Cambridge monographs on applied and computational mathematics, 1996.

H. Sussman, 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

S. Sun, B. Egerstedt, and C. F. Martin, Control theoretic smoothing splines, IEEE Transactions on Automatic Control, vol.45, issue.12, pp.2271-2279, 2000.
DOI : 10.1109/9.895563

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.3340

W. Sweldens, The Lifting Scheme: A Construction of Second Generation Wavelets, SIAM Journal on Mathematical Analysis, vol.29, issue.2, pp.511-546, 1997.
DOI : 10.1137/S0036141095289051

C. Tomlin, G. J. Pappas, J. Lygeros, D. N. Godbole, and S. Sastry, Hybrid control models of next generation air traffic management, Hybrid Systems IV, no 1273 in LNCS, 1997.

R. J. Vanderbei, LOQO : an interior point code for quadratic programming, Optimization Methods and Software, pp.451-484, 1999.

A. Van-der-schaft and H. Schumacher, An introduction to hybrid dynamical systems , no. 251 in LNCIS, 2000.

A. Van and . Schaft, Bisimulation of dynamical systems, Hybrid Systems : Computation and Control, no. 2993 in LNCS, pp.555-569, 2004.

D. Viswanath, The Lindstedt--Poincar?? Technique as an Algorithm for Computing Periodic Orbits, SIAM Review, vol.43, issue.3, pp.478-495, 2001.
DOI : 10.1137/S0036144500375292

S. Wiggins, Introduction to applied nonlinear dynamical systems and chaos, Texts in Applied Mathematics, vol.2, 1995.
DOI : 10.1007/978-1-4757-4067-7

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009

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, vol.152, 1995.
DOI : 10.1007/978-1-4613-8431-1