M. Althoff, , 2016.

M. Althoff, Reachability Analysis of Nonlinear Systems using Conservative Polynomialization and Non-Convex Sets, HSCC, pp.173-182, 2013.

M. Althoff, An introduction to CORA 2015, Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems, 2015.

M. Althoff, C. L. Guernic, and B. H. Krogh, Reachable Set Computation for Uncertain Time-Varying Linear Systems, HSCC, pp.93-102, 2011.

M. Althoff, O. Stursberg, and M. Buss, Reachability Analysis of Nonlinear Systems with Uncertain Parameters using Conservative Linearization, CDC, pp.4042-4048, 2008.

E. Asarin, T. Dang, and A. Girard, Reachability Analysis of Nonlinear Systems Using Conservative Approximation, HSCC, 2003.

E. Asarin and T. Dang, Abstraction by projection and application to multi-affine systems, HSCC, pp.32-47, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00157551

L. Benvenuti, D. Bresolin, A. Casagrande, P. Collins, A. Ferrari et al., Reachability computation for hybrid systems with ariadne, Proceedings of the 17th IFAC World Congress, vol.41, pp.8960-8965, 2008.

M. Bisgaard, D. Gerhardt, H. Hermanns, J. Krcál, G. Nies et al., Battery-aware scheduling in low orbit: The gomx-3 case, FM, pp.559-576, 2016.

L. Bortolussi and N. Gast, Mean Field Approximation of Uncertain Stochastic Models, DSN, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01302416

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin, Symbolic computation of differential equivalences, POPL, 2016.

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin, ERODE: A tool for the evaluation and reduction of ordinary differential equations, TACAS, pp.310-328, 2017.

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin, Maximal aggregation of polynomial dynamical systems, vol.114, pp.10029-10034, 2017.

T. Chen, V. Forejt, M. Z. Kwiatkowska, D. Parker, and A. Simaitis, Automatic verification of competitive stochastic systems, TACAS, pp.315-330, 2012.

X. Chen, E. , and S. Sankaranarayanan, Flow*: An Analyzer for Non-linear Hybrid Systems, CAV, pp.258-263, 2013.

X. Chen, S. Sankaranarayanan, and E. , Under-approximate flowpipes for non-linear continuous systems, FMCAD, pp.59-66, 2014.

Y. Gheorghe-craciun, M. Tang, and . Feinberg, Understanding bistability in complex enzyme-driven reaction networks, vol.103, pp.8697-8702, 2006.

T. Dang, C. L. Guernic, and O. Maler, Computing reachable states for nonlinear biological models, TCS, vol.412, issue.21, pp.2095-2107, 2011.

J. E. Dennis, J. Robert, and B. Schnabel, Numerical Methods for Unconstrained Optimization and Nonlinear Equations, 1996.

A. Donzé and . Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems, CAV, pp.167-170, 2010.

P. Sridhar-duggirala, S. Mitra, and M. Viswanathan, Verification of Annotated Models from Executions, EMSOFT, vol.26, pp.1-26, 2013.

P. Sridhar-duggirala and M. Viswanathan, Parsimonious, Simulation Based Verification of Linear Systems, CAV, pp.477-494, 2016.

C. Fan and S. Mitra, Bounded Verification with On-the-Fly Discrepancy Computation, ATVA, pp.446-463, 2015.

C. Fan, B. Qi, S. Mitra, M. Viswanathan, and P. Sridhar-duggirala, Automatic reachability analysis for nonlinear hybrid models with C2E2, CAV, pp.531-538, 2016.

M. Fränzle, C. Herde, T. Teige, S. Ratschan, and T. Schubert, Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure, Journal on Satisfiability, Boolean Modeling and Computation, vol.1, pp.209-236, 2007.

A. Girard and G. J. Pappas, Approximate Bisimulations for Nonlinear Dynamical Systems, CDC, pp.684-689, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00171559

A. Girard and C. Le-guernic, Efficient reachability analysis for linear systems using support functions, Proceedings of the 17th IFAC World Congress, vol.41, pp.8966-8971, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00307009

A. Girard, C. Le-guernic, and O. Maler, Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs, HSCC, pp.257-271, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00171555

E. Goubault and S. Putot, Forward inner-approximated reachability of nonlinear continuous systems, HSCC, pp.1-10, 2017.

E. Goubault and S. Putot, Inner and outer reachability for the verification of control systems, HSCC, pp.11-22, 2019.

K. Donald-evan, Optimal control theory: An introduction, 1970.

S. Kong, S. Gao, W. Chen, and E. M. Clarke, dReach: ?-Reachability Analysis for Hybrid Systems, TACAS, pp.200-205, 2015.

A. B. Kurzhanski and P. Varaiya, Dynamic Optimization for Reachability Problems, Journal of Optimization Theory and Applications, vol.108, issue.2, pp.227-251, 2001.

A. B. Kurzhanski and P. Varaiya, Ellipsoidal techniques for reachability analysis: internal approximation, Systems & Control Letters, vol.41, issue.3, pp.201-211, 2000.

G. Lafferriere, G. J. Pappas, and S. Yovine, A New Class of Decidable Hybrid Systems, HSCC, pp.137-151, 1999.

. Kim-guldstrand-larsen, Validation, synthesis and optimization for cyber-physical systems, TACAS, pp.3-20, 2017.

J. D. Lee, M. Simchowitz, M. I. Jordan, and B. Recht, Gradient descent only converges to minimizers, COLT, pp.1246-1257, 2016.

M. Li, P. N. Mosaad, M. Fränzle, Z. She, and B. Xue, Safe over-and under-approximation of reachable sets for autonomous dynamical systems, FORMATS, pp.252-270, 2018.

D. Liberzon, Calculus of Variations and Optimal Control Theory: A Concise Introduction, 2011.

R. E. Moore, R. Baker, M. J. Kearfott, and . Cloud, Introduction to Interval Analysis, 2009.

S. Nedialko and . Nedialkov, Implementing a Rigorous ODE Solver Through Literate Programming, 2011.

T. Nghiem, S. Sankaranarayanan, G. E. Fainekos, F. Ivancic, A. Gupta et al., Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems, HSCC, pp.211-220, 2010.

M. S. Nikolskii, Convergence of the gradient projection method in optimal control problems, Computational Mathematics and Modeling, vol.18, 2007.

S. Prajna, Barrier certificates for nonlinear model validation, Automatica, vol.42, issue.1, pp.117-126, 2006.

N. Ramdani, N. Meslem, and Y. Candau, Computing reachable sets for uncertain nonlinear monotone systems, Nonlinear Analysis: Hybrid Systems, vol.4, pp.263-278, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00629909

J. K. Scott and P. I. Barton, Bounds on the reachable sets of nonlinear control systems, Automatica, vol.49, issue.1, pp.93-100, 2013.

Y. Shoukry, P. Nuzzo, I. Saha, A. L. Sangiovanni-vincentelli, S. A. Seshia et al., Scalable lazy SMT-based motion planning, CDC, pp.6683-6688, 2016.

I. Tkachev and A. Abate, A control lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem, CDC, pp.3211-3216, 2013.

M. Tschaikowski and M. Tribastone, Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls, IEEE Transactions Automatic Control, vol.61, issue.4, pp.1099-1104, 2016.

M. G. José, . Vilar, N. Hao-yuan-kueh, S. Barkai, and . Leibler, Mechanisms of noise-resistance in genetic oscillators, vol.99, pp.5988-5992, 2002.

B. Xue, M. Fränzle, and N. Zhan, Under-approximating reach sets for polynomial continuous systems, HSCC, pp.51-60, 2018.

B. Xue, M. Frnzle, and N. Zhan, Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties, 2018.

Z. Bai-xue, A. She, and . Easwaran, Under-approximating backward reachable sets by polytopes, CAV, pp.457-476, 2016.

Q. Bai-xue, S. Wang, N. Feng, and . Zhan, Over-and UnderApproximating Reachable Sets for Perturbed Delay Differential Equations, 2019.

M. Zamani and R. Majumdar, A Lyapunov approach in incremental stability, CDC, 2011.