T. Alamo, J. M. Bravo, and E. F. Camacho, Guaranteed state estimation by zonotopes, Automatica, vol.41, issue.6, pp.1035-1043, 2005.
DOI : 10.1016/j.automatica.2004.12.008

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

O. E. Asarin, T. Bournez, O. Dang, A. Maler, and . Pnueli, Effective synthesis of switching controllers for linear systems, Proceedings of the IEEE, vol.88, issue.7, pp.1011-1025, 2000.
DOI : 10.1109/5.871306

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

A. Asarin, O. Bournez, T. Dang, and O. Maler, Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems, Hybrid Systems: Computation and Control, pp.20-31, 2000.
DOI : 10.1007/3-540-46430-1_6

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

C. R. Alur, N. Courcoubetis, T. A. Halbwachs, P. Henzinger, X. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

T. [. Asarin, A. Dang, and . Girard, Reachability Analysis of Nonlinear Systems Using Conservative Approximation, Hybrid Systems: Computation and Control, pp.20-35, 2003.
DOI : 10.1007/3-540-36580-X_5

T. [. Asarin, A. Dang, and . Girard, Hybridization methods for the analysis of nonlinear systems, Acta Informatica, vol.12, issue.2, pp.451-476, 2007.
DOI : 10.1007/s00236-006-0035-7

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

T. [. Alur, F. Dang, and . Ivancic, Predicate abstraction for reachability analysis of hybrid systems, ACM Transactions on Embedded Computing Systems, vol.5, issue.1, pp.152-199, 2006.
DOI : 10.1145/1132357.1132363

T. [. Alur, G. Henzinger, G. J. Lafferriere, and . Pappas, Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.971-984, 2000.
DOI : 10.1109/5.871304

]. R. Alu11 and . Alur, Formal verification of hybrid systems, International Conference on Embedded Software, pp.273-278, 2011.

O. [. Asarin, A. Maler, and . Pnueli, Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science, vol.138, issue.1, pp.35-65, 1995.
DOI : 10.1016/0304-3975(94)00228-B

]. D. Ang02 and . Angeli, A Lyapunov approach to incremental stability properties, IEEE Transactions on Automatic Control, vol.47, issue.3, pp.410-421, 2002.

E. [. Angeli and . Sontag, Forward completeness, unboundedness observability, and their Lyapunov characterizations, Systems & Control Letters, vol.38, issue.4-5, pp.209-217, 1999.
DOI : 10.1016/S0167-6911(99)00055-9

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

E. [. Angeli and . Sontag, Monotone control systems, IEEE Transactions on Automatic Control, vol.48, issue.10, pp.1684-1698, 2003.
DOI : 10.1109/TAC.2003.817920

O. [. Althoff, M. Stursberg, and . Buss, Reachability analysis of linear systems with uncertain parameters and inputs, 2007 46th IEEE Conference on Decision and Control, pp.726-732, 2007.
DOI : 10.1109/CDC.2007.4434084

O. [. Althoff, M. Stursberg, and . Buss, Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization, 2008 47th IEEE Conference on Decision and Control, pp.4042-4048, 2008.
DOI : 10.1109/CDC.2008.4738704

O. [. Althoff, M. Stursberg, and . Buss, Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear Analysis: Hybrid Systems, pp.233-249, 2010.

D. [. Antoulas, S. Sorensen, and . Gugercin, A survey of model reduction methods for large-scale systems, Contemporary Mathematics, vol.280, pp.193-219, 2000.
DOI : 10.1090/conm/280/04630

P. [. Anta and . Tabuada, To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems, IEEE Transactions on Automatic Control, vol.55, issue.9, pp.2030-2042, 2010.
DOI : 10.1109/TAC.2010.2042980

A. Aubin, Viability Kernels and Capture Basins of Sets Under Differential Inclusions, SIAM Journal on Control and Optimization, vol.40, issue.3, pp.853-881, 2001.
DOI : 10.1137/S036301290036968X

. Bdg-+-08-]-u, D. Brandes, M. Delling, R. Gaertler, M. Görke et al., On modularity clustering, IEEE Transactions on Knowledge and Data Engineering, vol.20, issue.2, pp.172-188, 2008.

]. D. Ber00 and . Bertsekas, Dynamic Programming and Optimal Control, Athena Scientific, 2000.

. I. Bfg-+-93-]-r, E. A. Bahar, C. M. Frohm, G. D. Gaona, E. Hachtel et al., Algebraic decision diagrams and their applications, International Conference on Computer-Aided Design, pp.188-191, 1993.

]. M. Bg12a, A. Sassi, and . Girard, Computation of polytopic invariants for polynomial dynamical systems using linear programming, Automatica, vol.48, issue.12, pp.3114-3121, 2012.

]. M. Bg12b, A. Sassi, and . Girard, Controller synthesis for robust invariance of polynomial dynamical systems using linear programming, Systems and Control Letters, vol.61, issue.4, pp.506-512, 2012.

J. [. Blondel, R. Guillaume, E. Lambiotte, and . Lefebvre, Fast unfolding of communites in large networks, Journal of Statistical Mechanics: Theory and Experiment, issue.08, pp.1742-546810008, 2008.

J. [. Blondel, A. Hendrickx, J. N. Olshevsky, and . Tsitsiklis, Convergence in Multiagent Coordination, Consensus, and Flocking, Proceedings of the 44th IEEE Conference on Decision and Control, pp.2996-3000, 2005.
DOI : 10.1109/CDC.2005.1582620

J. [. Blondel, J. N. Hendrickx, and . Tsitsiklis, On the 2R conjecture for multi-agent systems, IEEE Transactions on Automatic Control, vol.54, issue.11, pp.2506-2517, 2009.

G. [. Borri, M. D. Pola, . Di, and . Benedetto, A symbolic approach to the design of nonlinear networked control systems, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.255-264, 2012.
DOI : 10.1145/2185632.2185670

S. [. Botchkarev and . Tripakis, Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations, Hybrid Systems: Computation and Control, pp.73-88, 2000.
DOI : 10.1007/3-540-46430-1_10

M. A. Sassi, R. Testylier, T. Dang, and A. Girard, Reachability analysis of polynomial systems using linear programming relaxations, Automated Technology for Verification and Analysis, pp.137-151, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00769672

A. [. Caspi and . Benveniste, Toward an Approximation Theory for Computerised Control, International Conference on Embedded Software, pp.294-304, 2002.
DOI : 10.1007/3-540-45828-X_22

A. [. Colombo, J. Girard, A. Camara, G. Girard, and . Goessler, An approximate abstraction approach to safety control of differentially flat systems Safety controller synthesis for switched systems using multi-scale symbolic models, European Control Conference Joint IEEE Conference on Decision and Control and European Control Conference, pp.520-525, 2011.

]. J. Cgg11b, A. Camara, G. Girard, and . Goessler, Synthesis of switching controllers using approximately bisimilar multiscale abstractions, Hybrid Systems: Computation and Control, pp.191-200, 2011.

O. [. Clarke, D. A. Grumberg, and . Peled, Model Checking, 2000.

B. [. Chutinan and . Krogh, Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations, Hybrid Systems: Computation and Control, pp.76-90, 1999.
DOI : 10.1007/3-540-48983-5_10

]. L. Cl07a, L. Cavarischia, and . Lanari, Hierarchical control implementation, Mediterranean Control Conference, pp.1-6, 2007.

]. L. Cl07b, L. Cavarischia, and . Lanari, Hierarchical tracking implementation, IEEE Conference on Decision and Control, pp.3733-3738, 2007.

]. C. Com03 and . Combastel, A state bounding observer based on zonotopes, European Control Conference, 2003.

]. L. Czz11a, Y. Cao, Q. Zheng, and . Zhou, A necessary and sufficient condition for consensus of continuous-time agents over undirected time-varying networks, IEEE Transactions on Automatic Control, issue.8, pp.561915-1920, 2011.

]. L. Czz11b, Y. Cao, Q. Zheng, and . Zhou, A new criterion to linear consensus protocols over time-varying directed networks, IEEE International Conference on Control and Automation, pp.467-470, 2011.

M. Alfaro, M. Faella, and . Stoelinga, Linear and Branching Metrics for Quantitative Transition Systems, International Colloquium on Automata , Languages and Programming, pp.1150-1162, 2004.
DOI : 10.1007/978-3-540-27836-8_11

]. T. Dan06 and . Dang, Approximate reachability computation for polynomial systems, Hybrid Systems: Computation and Control, pp.138-152, 2006.

M. [. Dorfler, F. Chertkov, and . Bullo, Synchronization in complex oscillator networks and smart grids, Proceedings of the National Academy of Sciences, vol.110, issue.6, pp.2005-2010, 2013.
DOI : 10.1073/pnas.1212134110

V. [. Desharnais, R. Gupta, P. Jagadeesan, and . Panangaden, Metrics for labelled Markov processes, Theoretical Computer Science, vol.318, issue.3, pp.323-354, 2004.
DOI : 10.1016/j.tcs.2003.09.013

URL : http://doi.org/10.1016/j.tcs.2003.09.013

E. [. Derler, M. Lee, S. Torngren, and . Tripakis, Cyber-physical system design contracts, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS '13, 2013.
DOI : 10.1145/2502524.2502540

O. [. Dang, R. Maler, and . Testylier, Accurate hybridization of nonlinear systems, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.11-20, 2010.
DOI : 10.1145/1755952.1755956

D. [. Dang and . Salinas, Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion, Computer Aided Verification, pp.277-287, 2009.
DOI : 10.1007/978-3-642-02658-4_19

E. [. Egerstedt, G. J. Frazzoli, and . Pappas, Special section on " symbolic methods for complex control systems, IEEE Transactions on Automatic Control, vol.51, issue.6, pp.921-1013, 2006.

A. [. Fainekos, H. Girard, G. J. Kress-gazit, and . Pappas, Temporal logic motion planning for dynamic robots, Automatica, vol.45, issue.2, pp.343-352, 2009.
DOI : 10.1016/j.automatica.2008.08.008

A. [. Fainekos, G. J. Girard, and . Pappas, Temporal logic verification using simulation. In Formal Modeling and Analysis of Timed Systems, LNCS, vol.4202, pp.171-186, 2006.
DOI : 10.1007/11867340_13

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

. Fld-+-11-]-g, C. L. Frehse, A. Guernic, R. Donzé, O. Ray et al., SpaceEx: scalable verification of hybrid systems, Computer Aided Verification, pp.379-395, 2011.

]. G. Fre08 and . Frehse, PHAVer: Algorithmic verification of hybrid systems past HyTech. Software Tools for Technology Transfer, pp.263-279, 2008.

S. [. Fu, H. G. Shah, and . Tanner, Hierarchical control via simulation relations and feedback linearization, American Control Conference, 2013.

E. [. Ghorbal, S. Goubault, and . Putot, The Zonotope Abstract Domain Taylor1+, Computer Aided Verification, pp.627-633, 2009.
DOI : 10.1007/978-3-642-02658-4_47

]. A. Gir05 and . Girard, Reachability of uncertain linear systems using zonotopes, Hybrid Systems: Computation and Control, pp.291-305, 2005.

]. A. Gir07 and . Girard, Approximately bisimilar finite abstractions of stable linear systems, Hybrid Systems: Computation and Control, pp.231-244, 2007.

]. A. Gir10 and . Girard, Synthesis using approximately bisimilar abstractions: statefeedback controllers for safety specifications, Hybrid Systems: Computation and Control, pp.111-120, 2010.

]. A. Gir12 and . Girard, Controller synthesis for safety and reachability via approximate bisimulation, Automatica, vol.48, issue.5, pp.947-953, 2012.

]. A. Gir13 and . Girard, Low-complexity quantized switching controllers using approximate bisimulation. Nonlinear Analysis: Hybrid Systems, 2013.

A. [. Girard, G. J. Julius, and . Pappas, APPROXIMATE SIMULATION RELATIONS FOR HYBRID SYSTEMS, IFAC Proceedings Volumes, vol.39, issue.5, pp.163-179, 2008.
DOI : 10.3182/20060607-3-IT-3902.00022

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

C. [. Girard and . Guernic, Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis, Hybrid Systems: Computation and Control, pp.215-228, 2008.
DOI : 10.1007/978-3-540-78929-1_16

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

C. [. Girard, O. Guernic, and . 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

I. [. Greenstreet and . Mitchell, Reachability Analysis Using Polygonal Projections, Hybrid Systems: Computation and Control, pp.103-116, 1999.
DOI : 10.1007/3-540-48983-5_12

S. [. Girard and . Martin, Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices, IEEE Transactions on Automatic Control, vol.57, issue.4, pp.1046-1051, 2012.
DOI : 10.1109/TAC.2011.2168874

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

G. [. Girard and . Pappas, Approximate Bisimulations for Nonlinear Dynamical Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.684-689, 2005.
DOI : 10.1109/CDC.2005.1582235

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

G. [. Girard and . Pappas, Verification Using Simulation, Hybrid Systems: Computation and Control, pp.272-286
DOI : 10.1007/11730637_22

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

]. A. Gp07a, G. J. Girard, and . Pappas, Approximate bisimulation relations for constrained linear systems, Automatica, vol.43, issue.8, pp.1307-1317, 2007.

]. A. Gp07b, G. J. Girard, and . Pappas, Approximation metrics for discrete and continuous systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.

G. [. Girard and . Pappas, Hierarchical control system design using approximate simulation, Automatica, vol.45, issue.2, pp.566-571, 2009.
DOI : 10.1016/j.automatica.2008.09.016

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

G. [. Girard, P. Pola, and . Tabuada, Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010.
DOI : 10.1109/TAC.2009.2034922

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

G. [. Girard and . Zheng, Verification of Safety and Liveness Properties of Metric Transition Systems, ACM Transactions on Embedded Computing Systems, vol.11, issue.S2, p.54, 2012.
DOI : 10.1145/2331147.2331164

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

]. T. Hen96 and . Henzinger, The theory of hybrid automata, IEEE Symposium on Logic in Computer Science, pp.278-292, 1996.

P. [. Henzinger, H. Ho, and . 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

T. A. Henzinger, P. Ho, and H. Wong-toi, Algorithmic analysis of nonlinear hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.540-554, 1998.
DOI : 10.1109/9.664156

K. [. Heemels, P. Johansson, and . Tabuada, An introduction to event-triggered and self-triggered control, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), pp.3270-3285, 2012.
DOI : 10.1109/CDC.2012.6425820

U. [. Hegselmann and . Krause, Opinion dynamics and bounded confidence models, analysis, and simulation, Journal of Artificial Societies and Social Simulation, vol.5, issue.3, 2002.

B. [. Han and . Krogh, Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes, Hybrid Systems: Computation and Control, pp.287-301, 2006.
DOI : 10.1007/11730637_23

R. [. Henzinger, V. Majumdar, and . Prabhu, Quantifying similarities between timed systems. In Formal Modeling and Analysis of Timed Systems, LNCS, vol.3829, pp.226-241, 2005.

J. [. Hendrickx and . Tsitsiklis, Convergence of Type-Symmetric and Cut-Balanced Consensus Seeking Systems, IEEE Transactions on Automatic Control, vol.58, issue.1, pp.214-218, 2012.
DOI : 10.1109/TAC.2012.2203214

P. [. Haghverdi, G. J. Tabuada, and . Pappas, Bisimulation relations for dynamical, control, and hybrid systems, Theoretical Computer Science, vol.342, issue.2-3, pp.229-261, 2005.
DOI : 10.1016/j.tcs.2005.03.045

]. L. Hvs01, J. H. Habets, and . Van-schuppen, Control of piecewise-linear hybrid systems on simplices and rectangles, Hybrid Systems: Computation and Control, pp.261-274, 2001.

S. [. Julius and . Afshari, Using computer games for hybrid systems controller synthesis, 49th IEEE Conference on Decision and Control (CDC), pp.5887-5892, 2010.
DOI : 10.1109/CDC.2010.5718138

A. [. Julius, M. D. Innocenzo, G. J. Di-benedetto, and . Pappas, Approximate equivalence and approximate synchronization of metric transition systems, Proceedings of the 45th IEEE Conference on Decision and Control, pp.94-101, 2009.
DOI : 10.1109/CDC.2006.377763

. A. Jfa-+-07-]-a, G. Julius, M. Fainekos, I. Anand, G. J. Lee et al., Robust test generation and coverage for hybrid systems, Hybrid Systems: Computation and Control, pp.329-342, 2007.

J. [. Jadbabaie, A. S. Lin, and . Morse, Coordination of groups of mobile autonomous agents using nearest neighbor rules, IEEE Transactions on Automatic Control, vol.48, issue.6, pp.988-1001, 2003.
DOI : 10.1109/TAC.2003.812781

G. [. Julius and . Pappas, Approximations of Stochastic Hybrid Systems, IEEE Transactions on Automatic Control, vol.54, issue.6, pp.1193-1203, 2009.
DOI : 10.1109/TAC.2009.2019791

C. [. Kloetzer and . Belta, A Fully Automated Framework for Control of Linear Systems from LTL Specifications, Hybrid Systems: Computation and Control, pp.333-347, 2006.
DOI : 10.1007/11730637_26

]. W. Küh98 and . Kühn, Zonotope dynamics in numerical quality control, Mathematical Visualization, pp.125-134, 1998.

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

P. [. Kurzhanskiy and . Varaiya, Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems, IEEE Transactions on Automatic Control, vol.52, issue.1, pp.26-38, 2007.
DOI : 10.1109/TAC.2006.887900

P. [. Lin and . Antsaklis, Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results, IEEE Transactions on Automatic Control, vol.54, issue.2, pp.308-322, 2009.
DOI : 10.1109/TAC.2008.2012009

]. J. Las01 and . Lasserre, Global optimization with polynomials and the problem of moments, SIAM Journal on Optimization, vol.11, issue.3, pp.796-817, 2001.

[. Guernic and A. Girard, Reachability Analysis of Hybrid Systems Using Support Functions, Computer Aided Verification, pp.540-554, 2009.
DOI : 10.1007/978-3-642-02658-4_40

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

[. Guernic and A. Girard, Reachability analysis of linear systems using support functions, Lib03] D. Liberzon. Switching in systems and control, pp.250-262, 2003.
DOI : 10.1016/j.nahs.2009.03.002

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

]. J. Ljs-+-03, K. H. Lygeros, S. N. Johansson, J. Simic, S. S. Zhang et al., Dynamical properties of hybrid automata, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.2-17, 2003.

J. [. Lerda, E. M. Kapinski, B. H. Clarke, and . Krogh, Verification of Supervisory Control Software Using State Proximity and Merging, Hybrid Systems: Computation and Control, pp.344-357
DOI : 10.1007/978-3-540-78929-1_25

J. [. Lohmiller and . Slotine, On Contraction Analysis for Non-linear Systems, Automatica, vol.34, issue.6, pp.683-696, 1998.
DOI : 10.1016/S0005-1098(98)00019-3

]. O. Mal02 and . Maler, Control from computer science, Annual Reviews in Control, vol.26, issue.2, pp.175-187, 2002.

]. O. Mal11 and . Maler, On under-determined dynamical systems, International Conference on Embedded Software, pp.89-96, 2011.

M. [. Martini, A. Egerstedt, and . Bicchi, Controllability decompositions of networked systems through quotient graphs, 2008 47th IEEE Conference on Decision and Control, pp.5244-5249, 2008.
DOI : 10.1109/CDC.2008.4739213

A. [. Martin, A. Fazeli, A. Jadbabaie, and . Girard, Multi-agent flocking with random communication radius, 2012 American Control Conference (ACC), pp.3871-3876, 2012.
DOI : 10.1109/ACC.2012.6315594

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

A. [. Martin and . Girard, Sufficent conditions for flocking via graph robustness analysis, IEEE Conference on Decision and Control, pp.6293-6298, 2010.

A. [. Morarescu and . Girard, Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs, IEEE Transactions on Automatic Control, vol.56, issue.8, pp.1862-1873, 2011.
DOI : 10.1109/TAC.2010.2095315

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

A. [. Martin and . Girard, Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights, SIAM Journal on Control and Optimization, vol.51, issue.3, pp.2568-2584, 2013.
DOI : 10.1137/11083438X

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

A. [. Mouelhi, G. Girard, and . Goessler, CoSyMA, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.83-88, 2013.
DOI : 10.1145/2461328.2461343

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

]. A. Mib-+-12, A. Murthy, E. Islam, E. Bartocci, F. H. Cherry et al., Approximate bisimulations for sodium-channel dynamics, Computational Methods in Systems Biology, 2012.

]. R. Mil89 and . Milner, Communication and Concurrency, 1989.

. N. Mkm-+-13-]-j, S. Maidens, I. M. Kaynama, M. M. Mitchell, G. A. Oishi et al., Lagrangian methods for approximating the viability kernel in highdimensional systems, Automatica, issue.7, pp.492017-2029, 2013.

]. L. Mor05 and . Moreau, Stability of multiagent systems with time-dependent communication links, IEEE Transactions on Automatic Control, vol.50, issue.2, pp.169-182, 2005.

J. [. Moor and . Raisch, Supervisory control of hybrid systems within a behavioural framework, Systems & Control Letters, vol.38, issue.3, pp.157-166, 1999.
DOI : 10.1016/S0167-6911(99)00061-4

J. [. Moor and . Raisch, Abstraction Based Supervisory Controller Synthesis for High Order Monotone Continuous Systems, Modelling, Analysis, and Design of Hybrid Systems, pp.247-265, 2002.
DOI : 10.1007/3-540-45426-8_14

C. [. Mitchell and . Tomlin, Level Set Methods for Computation in Hybrid Systems, Hybrid Systems: Computation and Control, pp.310-323, 2000.
DOI : 10.1007/3-540-46430-1_27

[. Jr and P. Tabuada, Approximate time-optimal control via approximate alternating simulations, American Control Conference, pp.10201-10206, 2010.

]. M. New06 and . Newman, Modularity and community structure in networks, Proceedings of the National Academy of Sciences, pp.8577-8582, 2006.

M. [. Newman and . Girvan, Finding and evaluating community structure in networks, Physical Review E, vol.69, issue.2, pp.26113-26114, 2004.
DOI : 10.1103/PhysRevE.69.026113

R. [. Olfati-saber and . Murray, Consensus Problems in Networks of Agents With Switching Topology and Time-Delays, IEEE Transactions on Automatic Control, vol.49, issue.9, pp.1520-2533, 2004.
DOI : 10.1109/TAC.2004.834113

]. G. Pap03 and . Pappas, Bisimilar linear systems Semidefinite programming relaxations for semialgebraic problems, Automatica Mathematical Programming Ser. B, vol.39, issue.962, pp.2035-2047293, 2003.

A. [. Pola, P. Girard, and . Tabuada, Approximately bisimilar symbolic models for nonlinear control systems, IFAC conference on Analysis and Design of Hybrid Systems, pp.2508-2516, 2008.
DOI : 10.1016/j.automatica.2008.02.021

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

C. [. Di-pierro, H. Hankin, and . Wiklicky, Quantitative Relations and Approximate Process Equivalences, Conference on Concurrency Theory, pp.508-522, 2003.
DOI : 10.1007/978-3-540-45187-7_33

P. [. Pola, M. D. Pepe, P. Di-benedetto, and . Tabuada, Symbolic models for nonlinear time-delay systems using approximate bisimulations, Systems & Control Letters, vol.59, issue.6, pp.365-373, 2010.
DOI : 10.1016/j.sysconle.2010.04.001

P. [. Pola and . Tabuada, Symbolic models for linear control systems with disturbances, 2007 46th IEEE Conference on Decision and Control, pp.432-437, 2007.
DOI : 10.1109/CDC.2007.4434957

P. [. Pola and . Tabuada, Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations, SIAM Journal on Control and Optimization, vol.48, issue.2, pp.719-733, 2009.
DOI : 10.1137/070698580

]. G. Pvdsb04, A. J. Pola, M. D. Van-der-schaft, . Di, and . Benedetto, Bisimulation theory for switching linear systems, IEEE Conference on Decision and Control, pp.1406-1411, 2004.

V. [. Prabhakar, M. Vladimerou, G. E. Viswanathan, and . Dullerud, Verifying Tolerant Systems Using Polynomial Approximations, 2009 30th IEEE Real-Time Systems Symposium, pp.181-190, 2009.
DOI : 10.1109/RTSS.2009.28

]. Qfd11a, M. Quesel, W. Fränzle, and . Damm, Crossing the bridge between similar games. In Formal Modeling and Analysis of Timed Systems, LNCS, vol.6919, pp.160-176, 2011.

]. Qfd11b, M. Quesel, W. Fränzle, and . Damm, Crossing the bridge between similar games. In Formal Modeling and Analysis of Timed Systems, LNCS, vol.6919, pp.160-176, 2011.

R. [. Ren and . Beard, Consensus seeking in multiagent systems under dynamically changing interaction topologies, IEEE Transactions on Automatic Control, vol.50, issue.5, pp.655-661, 2005.
DOI : 10.1109/TAC.2005.846556

R. [. Ren, E. Beard, and . Atkins, Information consensus in multivehicle cooperative control, IEEE Control Systems Magazine, vol.27, issue.2, pp.71-82, 2007.
DOI : 10.1109/MCS.2007.338264

]. G. Rei09 and . Reißig, Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems, Hybrid Systems: Computation and Control, pp.306-320, 2009.

N. [. Ramdani, Y. Meslem, and . Candau, Computing reachable sets for uncertain nonlinear monotone systems, Nonlinear Analysis: Hybrid Systems, vol.4, issue.2, pp.263-278, 2010.
DOI : 10.1016/j.nahs.2009.10.002

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

S. [. Raisch and . Young, Discrete approximation and supervisory control of continuous systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.569-573, 1998.
DOI : 10.1109/9.664160

W. [. Ramadge and . Wonham, Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.25, issue.5, pp.1202-1218, 1987.
DOI : 10.1137/0325066

O. [. Seladji and . Bouissou, Numerical Abstract Domain Using Support Functions, NASA Formal Methods, pp.155-169
DOI : 10.1007/978-3-642-38088-4_11

B. [. Stursberg and . Krogh, Efficient Representation and Computation of Reachable Sets for Hybrid Systems, Hybrid Systems: Computation and Control, pp.482-497, 2003.
DOI : 10.1007/3-540-36580-X_35

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

]. P. Tab06 and . Tabuada, Symbolic control of linear systems based on symbolic subsystems, IEEE Transactions on Automatic Control, vol.51, issue.6, pp.1003-1013, 2006.

]. P. Tab08 and . Tabuada, An approximate simulation approach to symbolic control, IEEE Transactions on Automatic Control, vol.53, issue.6, pp.1406-1418, 2008.

]. P. Tab09 and . Tabuada, Verification and Control of Hybrid Systems -A Symbolic Approach, 2009.

A. [. Tabuada, A. Ames, G. J. Julius, and . Pappas, Approximate reduction of dynamic systems, Systems & Control Letters, vol.57, issue.7, pp.538-545, 2008.
DOI : 10.1016/j.sysconle.2007.12.005

J. [. Tazaki and . Imura, Finite Abstractions of Discrete-time Linear Systems and Its Application to Optimal Control, IFAC World Congress, pp.10201-10206, 2008.
DOI : 10.3182/20080706-5-KR-1001.01726

J. [. Tazaki and . Imura, Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer, Hybrid Systems: Computation and Control, pp.351-365, 2009.
DOI : 10.1007/978-3-540-78929-1_30

C. 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

G. [. Tabuada and . Pappas, Linear Time Logic Control of Discrete-Time Linear Systems, Conference on Concurrency Theory, pp.1862-1877, 2005.
DOI : 10.1109/TAC.2006.886494

]. F. Van-breugel, M. Mislove, J. Ouaknine, and J. Worrell, An intrinsic characterization of approximate probabilistic bisimilarity Equivalence of dynamical systems by bisimulation, Foundations of Software Science and Computation Structures, pp.200-215, 2003.

. M. Vfm03, J. Velasco, P. Fuertes, and . Marti, The self triggered task model for realtime control systems, IEEE Real-Time Systems Symposium, pp.67-70, 2003.

M. [. Ying and . Wirsing, Approximate Bisimilarity, Algebraic Methodology and Software Technology, pp.309-322, 2000.
DOI : 10.1007/3-540-45499-3_23

]. G. Zie95 and . Ziegler, Lectures on polytopes, 1995.

. Zmm-+-13-]-m, P. Zamani, R. Mohajerin-esfahani, A. Majumdar, J. Abate et al., Symbolic control of stochastic systems via approximately bisimilar finite abstractions. ArXiv e-prints, 2013.

G. [. Zamani, M. M. Pola, P. Jr, and . Tabuada, Symbolic Models for Nonlinear Control Systems Without Stability Assumptions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1804-1809, 2012.
DOI : 10.1109/TAC.2011.2176409

J. , S. Martin, and A. Girard, Continuous-time consensus under persistent connectivity and slow divergence of reciprocal interaction weights, SIAM Journal on Control and Optimization, vol.51, issue.3, pp.2568-2584, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00839608

A. Girard, Low-complexity quantized switching controllers using approximate bisimulation. Nonlinear Analysis: Hybrid Systems, pp.34-44, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00839610

A. Girard and G. Zheng, Verification of Safety and Liveness Properties of Metric Transition Systems, special issue on Verification of Cyber-Physical Software Systems, 2012.
DOI : 10.1145/2331147.2331164

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

J. T. Nghiem, G. J. Pappas, R. Alur, and A. Girard, Time-triggered implementations of dynamic controllers, special issue on Verification of Cyber-Physical Software Systems, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00171553

A. Girard, Controller synthesis for safety and reachability via approximate bisimulation, Automatica, vol.48, issue.5, p.947953, 2012.
DOI : 10.1016/j.automatica.2012.02.037

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

A. Girard and S. Martin, Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices, IEEE Transactions on Automatic Control, vol.57, issue.4, pp.1046-1051, 2012.
DOI : 10.1109/TAC.2011.2168874

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

A. Girard and G. J. Pappas, Approximate Bisimulation: A Bridge Between Computer Science and Control Theory, European Journal of Control, vol.17, issue.5-6, pp.5-6568, 2011.
DOI : 10.3166/ejc.17.568-578

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

J. , C. Morarescu, and A. Girard, Opinion dynamics with decaying confidence: application to community detection in graphs, IEEE Transactions on Automatic Control, vol.56, issue.8, pp.1862-1873, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00622835

J. Colas-le-guernic and A. Girard, Reachability analysis of linear systems using support functions. Nonlinear Analysis: Hybrid Systems, special issue related to the, IFAC World Congress, pp.250-262, 2008.

A. Girard, G. Pola, and P. Tabuada, Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010.
DOI : 10.1109/TAC.2009.2034922

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

A. Girard and G. J. Pappas, Hierarchical control system design using approximate simulation, Automatica, vol.45, issue.2, pp.566-571, 2009.
DOI : 10.1016/j.automatica.2008.09.016

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

J. Georgios, E. Fainekos, A. Girard, H. Kress-gazit, and G. J. Pappas, Temporal logic planning for dynamic models, Automatica, vol.45, issue.2, pp.343-352, 2009.

J. , G. Pola, A. Girard, and P. Tabuada, Approximately bisimilar symbolic models for nonlinear control systems, Automatica, vol.44, issue.10, pp.2508-2516, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00379755

A. Girard, A. Julius, and G. J. Pappas, Approximate simulation relations for hybrid systems. Discrete Event Dynamic Systems, special issue on Discrete Event Methodologies for Hybrid Systems, pp.163-179, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00307035

A. Girard and G. J. Pappas, Approximate bisimulation relations for constrained linear systems, Automatica, vol.43, issue.8, pp.1307-1317, 2007.
DOI : 10.1016/j.automatica.2007.01.019

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

A. Girard and G. J. Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.
DOI : 10.1109/TAC.2007.895849

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

J. Eugène-asarin, T. Dang, and A. Girard, Hybridization methods for the analysis of non-linear systems, Acta Informatica, special issue on Hybrid Systems, vol.43, issue.7, pp.451-476, 2007.

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

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

C. Pierre-jean-meyer, A. Girard, and E. Witrant, Controllability and invariance of monotone systems for robust ventilation automation in buildings, IEEE Conference on Decision and Control, 2013.

C. Le-corronc, A. Girard, and G. Goessler, Mode sequences as symbolic states in abstractions of incrementally stable switched systems, 52nd IEEE Conference on Decision and Control, 2013.
DOI : 10.1109/CDC.2013.6760375

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

C. , Y. Tang, C. Prieur, and A. Girard, A new H2-norm Lyapunov function for the stability of a singularly perturbed system of two conservation laws, IEEE Conference on Decision and Control, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00926211

C. Pierre-olivier-lamare, A. Girard, and C. Prieur, Lyapunov techniques for stabilization of switched linear systems of conservation laws, IEEE Conference on Decision and Control, 2013.

C. , Y. Tang, C. Prieur, and A. Girard, Lyapunov stability of a singularly perturbed system of two conservation laws, IFAC Workshop on the Control of Systems Modeled by Partial Differential Equations, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00839621

A. Colombo and A. Girard, An approximate abstraction approach to safety control of differentially flat systems, European Control Conference, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00839619

C. S. Mouelhi, A. Girard, and G. Goessler, CoSyMA, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, 2013.
DOI : 10.1145/2461328.2461343

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

C. T. Ishizaki, K. Kashima, A. Girard, J. Imura, L. Chen et al., Clustering-based H2-state aggregation of positive networks and its application to reduction of chemical master equations, IEEE Conference on Decision and Control, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00769676

C. Prieur, A. Girard, and E. Witrant, Lyapunov functions for switched linear hyperbolic systems. 4th IFAC conference on Analysis and Design of Hybrid Systems, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00734469

A. Girard, Low-complexity switching controllers for safety using symbolic models . 4th IFAC conference on Analysis and Design of Hybrid Systems, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00769673

C. , S. Martin, A. Fazeli, A. Jadbabaie, and A. Girard, Multi-agent flocking with random communication radius, American Control Conference, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00769675

C. , J. Camara, A. Girard, and G. Goessler, Safety controller synthesis for switched systems using multi-scale symbolic models, Joint IEEE Conference on Decision and Control and European Control Conference, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00665226

C. Goran-frehse, C. Le-guernic, A. Donzé, R. Ray, O. Lebeltel et al., SpaceEx: scalable verification of hybrid systems, Thao Dang et Oded Maler, 2011.

C. , J. Camara, A. Girard, and G. Goessler, Synthesis of switching controllers using approximately bisimilar multiscale abstractions. Hybrid Systems: Computation and Control, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00665219

C. , S. Martin, and A. Girard, Sufficent conditions for flocking via graph robustness analysis, IEEE Conference on Decision and Control, 2010.

A. Girard, Synthesis using approximately bisimilar abstractions: time-optimal control problems, 49th IEEE Conference on Decision and Control (CDC), 2010.
DOI : 10.1109/CDC.2010.5717756

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

C. I. , C. Morarescu, and A. Girard, Consensus with constrained convergence rate: agreement in communities, IEEE Conference on Decision and Control, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00769604

C. I. , C. Morarescu, and A. Girard, A model of opinion dynamics for community detection in graphs, IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00769568

C. I. Constantin-morarescu, S. I. Niculescu, and A. Girard, Consensus with constrained convergence rate and time-delays. 9th IFAC Workshop on Time Delay Systems, 2010.

A. Girard, Synthesis using approximately bisimilar abstractions, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.111-120, 2010.
DOI : 10.1145/1755952.1755969

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

C. Colas-le-guernic and A. Girard, Reachability Analysis of Hybrid Systems Using Support Functions, Computer Aided Verification LNCS, vol.5643, pp.540-554, 2009.
DOI : 10.1007/978-3-642-02658-4_40

C. , G. Zheng, and A. Girard, Bounded and unbounded safety verification using bisimulation metrics Hybrid Systems: Computation and Control, LNCS, vol.5469, pp.426-440, 2009.

A. Girard and S. Martin, Motion planning for nonlinear systems using hybridizations and robust controllers on simplices, 2008 47th IEEE Conference on Decision and Control, pp.239-244, 2008.
DOI : 10.1109/CDC.2008.4738758

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

A. Girard and L. Guernic, Efficient Reachability Analysis for Linear Systems using Support Functions, IFAC Proceedings Volumes, vol.41, issue.2, 2008.
DOI : 10.3182/20080706-5-KR-1001.01514

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

A. Girard and L. Guernic, Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis, Hybrid Systems: Computation and Control LNCS, vol.4981, pp.215-228, 2008.
DOI : 10.1007/978-3-540-78929-1_16

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

A. Girard, G. Pola, and P. Tabuada, Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.201-214, 2008.
DOI : 10.1109/TAC.2009.2034922

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

C. , G. Pola, A. Girard, and P. Tabuada, Symbolic models for nonlinear control systems using approximate bisimulation, 46th IEEE Conference on Decision and Control, pp.4656-4661, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00307012

A. Girard and G. J. Pappas, Approximate hierarchies of linear control systems, 2007 46th IEEE Conference on Decision and Control, pp.3727-3732, 2007.
DOI : 10.1109/CDC.2007.4434071

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

C. Georgios, E. Fainekos, A. Girard, and G. J. Pappas, Hierarchical synthesis of hybrid controllers from temporal logics specifications, Hybrid Systems: Computation and Control, pp.203-216, 2007.

A. Girard, Approximately Bisimilar Finite Abstractions of Stable Linear Systems, Hybrid Systems: Computation and Control LNCS, vol.4416, pp.231-244, 2007.
DOI : 10.1007/978-3-540-71493-4_20

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

A. Girard and G. J. Pappas, Hierarchical Control using Approximate Simulation Relations, Proceedings of the 45th IEEE Conference on Decision and Control, 2006.
DOI : 10.1109/CDC.2006.377051

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

C. T. Nghiem, G. J. Pappas, A. Girard, and R. Alur, Time-triggered implementations of dynamic controllers, 6th ACM and IEEE Conference on Embedded Software, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00171553

C. Eugène-asarin, T. Dang, G. Frehse, and A. Girard, Colas Le Guernic et Oded Maler, Recent progress in continuous and hybrid reachability analysis, IEEE International Symposium on Computer-Aided Control Systems Design, 2006.

C. Georgios, E. Fainekos, A. Girard, and G. J. Pappas, Temporal logic verification using simulation. Formal Modelling and Analysis of Timed Systems, LNCS, vol.4202, pp.171-186, 2006.

A. Girard, A. Julius, and G. J. Pappas, Approximate simulation relations for hybrid systems. 2nd IFAC Conference on Analysis and Design of Hybrid Systems, pp.106-111, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00307035

C. A. Julius, A. Girard, and G. J. Pappas, Approximate bisimulation for a class of stochastic hybrid systems, 2006 American Control Conference, 2006.
DOI : 10.1109/ACC.2006.1657467

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

A. Girard and G. J. Pappas, Verification using simulation Hybrid Systems : Computation and Control, LNCS, vol.3927, pp.272-286, 2006.

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

A. Girard and G. J. Pappas, Approximate Bisimulations for Constrained Linear Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.4700-4705, 2005.
DOI : 10.1109/CDC.2005.1582904

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

A. Girard and G. J. Pappas, Approximate Bisimulations for Nonlinear Dynamical Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.684-689, 2005.
DOI : 10.1109/CDC.2005.1582235

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

C. Hakan-yazarel, A. Girard, G. J. Pappas, and R. Alur, Quantifying the gap between embedded control models and time-triggered implementations, 26th IEEE Real-Time Systems Symposium, pp.111-120, 2005.

A. Girard, Reachability of uncertain linear systems using zonotopes Hybrid Systems: Computation and Control, LNCS, vol.3414, pp.291-305, 2005.

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

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

A. Girard, Computation and stability analysis of limit cycles in piecewise linear hybrid systems. 1st IFAC Conference on Analysis and Design of Hybrid Systems, pp.181-186, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00307053

C. Eugène-asarin, T. Dang, and A. Girard, Reachability analysis of non-linear systems using conservative approximations, Hybrid Systems: Computation and Control, pp.20-35, 2003.

A. Girard, Detection of event occurrence in piecewise linear hybrid systems, 4th International Conference on Recent Advances in Soft Computing, pp.19-25, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00307055

A. Girard, Approximate solutions of ODEs using piecewise linear vector fields, 5th International Workshop on Computer Algebra in Scientific Computing, pp.107-120, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00307056

C. , T. Dang, G. Frehse, A. Girard-et-colas, and L. Guernic, Tools for the analysis of hybrid models, Claude Jard et Olivier H. Roux, ´ editeurs, Communicating Embedded Systems -Software and Design, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00765812

C. , T. Dang, G. Frehse, A. Girard-et-colas, and L. Guernic, Outils pour l'analyse des modèles hybrides, Approches formelles des systèmes embarqués communicants. Traité IC2, série Informatique et systèmes d'information, 2008.

A. Girard, Analyse algorithmique des systèmes hybrides, Thèse de doctorat, 2004.

A. Girard, Etude de systèmes dynamiques hybrides affines par morceaux, 2001.