, , 2016.
Reachability Analysis of Nonlinear Systems using Conservative Polynomialization and Non-Convex Sets, HSCC, pp.173-182, 2013. ,
An introduction to CORA 2015, Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems, 2015. ,
Reachable Set Computation for Uncertain Time-Varying Linear Systems, HSCC, pp.93-102, 2011. ,
Reachability Analysis of Nonlinear Systems with Uncertain Parameters using Conservative Linearization, CDC, pp.4042-4048, 2008. ,
Reachability Analysis of Nonlinear Systems Using Conservative Approximation, HSCC, 2003. ,
Abstraction by projection and application to multi-affine systems, HSCC, pp.32-47, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00157551
Reachability computation for hybrid systems with ariadne, Proceedings of the 17th IFAC World Congress, vol.41, pp.8960-8965, 2008. ,
Battery-aware scheduling in low orbit: The gomx-3 case, FM, pp.559-576, 2016. ,
Mean Field Approximation of Uncertain Stochastic Models, DSN, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01302416
Symbolic computation of differential equivalences, POPL, 2016. ,
ERODE: A tool for the evaluation and reduction of ordinary differential equations, TACAS, pp.310-328, 2017. ,
Maximal aggregation of polynomial dynamical systems, vol.114, pp.10029-10034, 2017. ,
Automatic verification of competitive stochastic systems, TACAS, pp.315-330, 2012. ,
Flow*: An Analyzer for Non-linear Hybrid Systems, CAV, pp.258-263, 2013. ,
Under-approximate flowpipes for non-linear continuous systems, FMCAD, pp.59-66, 2014. ,
Understanding bistability in complex enzyme-driven reaction networks, vol.103, pp.8697-8702, 2006. ,
Computing reachable states for nonlinear biological models, TCS, vol.412, issue.21, pp.2095-2107, 2011. ,
Numerical Methods for Unconstrained Optimization and Nonlinear Equations, 1996. ,
A Toolbox for Verification and Parameter Synthesis of Hybrid Systems, CAV, pp.167-170, 2010. ,
Verification of Annotated Models from Executions, EMSOFT, vol.26, pp.1-26, 2013. ,
Parsimonious, Simulation Based Verification of Linear Systems, CAV, pp.477-494, 2016. ,
Bounded Verification with On-the-Fly Discrepancy Computation, ATVA, pp.446-463, 2015. ,
Automatic reachability analysis for nonlinear hybrid models with C2E2, CAV, pp.531-538, 2016. ,
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. ,
Approximate Bisimulations for Nonlinear Dynamical Systems, CDC, pp.684-689, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00171559
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
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
Forward inner-approximated reachability of nonlinear continuous systems, HSCC, pp.1-10, 2017. ,
Inner and outer reachability for the verification of control systems, HSCC, pp.11-22, 2019. ,
Optimal control theory: An introduction, 1970. ,
dReach: ?-Reachability Analysis for Hybrid Systems, TACAS, pp.200-205, 2015. ,
Dynamic Optimization for Reachability Problems, Journal of Optimization Theory and Applications, vol.108, issue.2, pp.227-251, 2001. ,
Ellipsoidal techniques for reachability analysis: internal approximation, Systems & Control Letters, vol.41, issue.3, pp.201-211, 2000. ,
A New Class of Decidable Hybrid Systems, HSCC, pp.137-151, 1999. ,
Validation, synthesis and optimization for cyber-physical systems, TACAS, pp.3-20, 2017. ,
Gradient descent only converges to minimizers, COLT, pp.1246-1257, 2016. ,
Safe over-and under-approximation of reachable sets for autonomous dynamical systems, FORMATS, pp.252-270, 2018. ,
Calculus of Variations and Optimal Control Theory: A Concise Introduction, 2011. ,
Introduction to Interval Analysis, 2009. ,
Implementing a Rigorous ODE Solver Through Literate Programming, 2011. ,
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems, HSCC, pp.211-220, 2010. ,
Convergence of the gradient projection method in optimal control problems, Computational Mathematics and Modeling, vol.18, 2007. ,
Barrier certificates for nonlinear model validation, Automatica, vol.42, issue.1, pp.117-126, 2006. ,
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
Bounds on the reachable sets of nonlinear control systems, Automatica, vol.49, issue.1, pp.93-100, 2013. ,
Scalable lazy SMT-based motion planning, CDC, pp.6683-6688, 2016. ,
A control lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem, CDC, pp.3211-3216, 2013. ,
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls, IEEE Transactions Automatic Control, vol.61, issue.4, pp.1099-1104, 2016. ,
Mechanisms of noise-resistance in genetic oscillators, vol.99, pp.5988-5992, 2002. ,
Under-approximating reach sets for polynomial continuous systems, HSCC, pp.51-60, 2018. ,
Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties, 2018. ,
Under-approximating backward reachable sets by polytopes, CAV, pp.457-476, 2016. ,
Over-and UnderApproximating Reachable Sets for Perturbed Delay Differential Equations, 2019. ,
A Lyapunov approach in incremental stability, CDC, 2011. ,