Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems, Proceedings of 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
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
Forward invariant cuts to simplify proofs of safety, 2015 International Conference on Embedded Software (EMSOFT), pp.227-236, 2015. ,
DOI : 10.1109/EMSOFT.2015.7318278
A globally asymptotically stable polynomial vector field with no polynomial Lyapunov function, Proceedings of IEEE Conference on Decision and Control and European Control Conference, pp.7579-7580, 2011. ,
On validation and invalidation of biological models, BMC Bioinformatics, vol.10, issue.1, p.132, 2009. ,
DOI : 10.1186/1471-2105-10-132
Upper bounding in inner regions for global optimization under inequality constraints, Journal of Global Optimization, vol.103, issue.2, pp.145-164, 2012. ,
DOI : 10.1007/s10107-005-0581-8
URL : https://hal.archives-ouvertes.fr/hal-00733860
Differential-difference equations, 1963. ,
Universally Quantified Interval Constraints, Principles and Practice of Constraint Programming, pp.67-82, 2000. ,
DOI : 10.1007/3-540-45349-0_7
URL : http://arxiv.org/pdf/cs/0007002v1.pdf
Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates, 2012 IEEE International Conference on Robotics and Automation, pp.484-490, 2012. ,
DOI : 10.1109/ICRA.2012.6225351
Satisfiability modulo theories, Handbook of Model Checking, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01095009
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems, 2012 IEEE 33rd Real-Time Systems Symposium, pp.183-192, 2012. ,
DOI : 10.1109/RTSS.2012.70
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.510
Verification of hybrid systems based on counterexampleguided abstraction refinement, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, pp.192-207, 2003. ,
Partial cylindrical algebraic decomposition for quantifier elimination, Journal of Symbolic Computation, vol.12, issue.3, pp.299-328, 1991. ,
Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009. ,
DOI : 10.1016/j.artint.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00428957
Computational techniques for hybrid system verification. Transaction on Automatic Control, pp.64-75, 2003. ,
DOI : 10.1109/tac.2002.806655
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.476.3378
Barrier certificates revisited, Journal of Symbolic Computation, vol.80, issue.1, pp.62-86, 2017. ,
DOI : 10.1016/j.jsc.2016.07.010
URL : http://arxiv.org/abs/1310.6481
SpaceEx: Scalable verification of hybrid systems, Proceedings of Computer aided verification, pp.379-395, 2011. ,
Algorithmic verification of hybrid systems past hytech, Proceedings of Hybrid Systems: Computation and Control, pp.258-273, 2005. ,
DOI : 10.1007/s10009-007-0062-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.363
Logic for computer science. Longman Higher Education, 1986. ,
Region of attraction estimation for a perching aircraft: A Lyapunov method exploiting barrier certificates, 2012 IEEE International Conference on Robotics and Automation, pp.2235-2242, 2012. ,
DOI : 10.1109/ICRA.2012.6225361
Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials, 2014 American Control Conference, pp.3571-3578, 2014. ,
DOI : 10.1109/ACC.2014.6859330
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.6415
dReal: An SMT Solver for Nonlinear Theories over the Reals, Proceedings of Conference on Automated Deduction, pp.208-214, 2013. ,
DOI : 10.1007/978-3-642-38574-2_14
Efficient computation of reachable sets of linear time-invariant systems with inputs Constraint-based approach for analysis of hybrid systems, Proceedings of Hybrid Systems: Computation and Control Proceedings of Computer aided verification, pp.257-271, 2006. ,
On the estimation of asymptotic stability regions: State of the art and new proposals. Transaction on Automatic Control, pp.747-755, 1985. ,
HyTech: A model checker for hybrid systems, Proceedings of Computer aided verification, pp.460-463, 1997. ,
Applied Interval Analysis, 2001. ,
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131
Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, issue.4, pp.1053-1064, 1993. ,
DOI : 10.1016/0005-1098(93)90106-4
Guaranteed tuning, with application to robust control and motion planning, Automatica, vol.32, issue.8, pp.1217-1221, 1996. ,
DOI : 10.1016/0005-1098(96)00050-7
Simulation-guided lyapunov analysis for hybrid dynamical systems, Proceedings of the 17th international conference on Hybrid systems: computation and control, HSCC '14, pp.133-142 ,
DOI : 10.1145/2562059.2562139
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.880
dReach: ?reachability analysis for hybrid systems, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, pp.200-205, 2015. ,
DOI : 10.1007/978-3-662-46681-0_15
Exponentialcondition-based barrier certificate generation for safety verification of hybrid systems, Proceedings of Computer aided verification, pp.242-257, 2013. ,
A New Barrier Certificate for Safety Verification of Hybrid Systems, The Computer Journal, vol.57, issue.7, pp.1033-1045, 2014. ,
DOI : 10.1093/comjnl/bxt059
A hierarchy of temporal properties, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.377-410, 1990. ,
DOI : 10.1145/41840.41857
Validated solutions of initial value problems for ordinary differential equations, Applied Mathematics and Computation, vol.105, issue.1, pp.21-68, 1999. ,
DOI : 10.1016/S0096-3003(98)10083-8
Semidefinite programming relaxations for semi-algebraic problems, Mathematical programming, vol.96, issue.2, pp.293-320, 2003. ,
Safety Verification of Hybrid Systems Using Barrier Certificates, Proceedings of Hybrid Systems: Computation and Control, pp.477-492, 2004. ,
DOI : 10.1007/978-3-540-24743-2_32
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.1015
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates, IEEE Transactions on Automatic Control, vol.52, issue.8, pp.1415-1428, 2007. ,
DOI : 10.1109/TAC.2007.902736
URL : http://authors.library.caltech.edu/9022/1/PRAieeetac07.pdf
Differential Dynamic Logic for Verifying Parametric Hybrid Systems, Proceedings of TABLEAUX, pp.216-232 ,
DOI : 10.1007/978-3-540-73099-6_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.160.1769
Logic analysis of hybrid systems On the construction of Lyapunov functions using the sum of squares decomposition Analysis of non-polynomial systems using the SOS decomposition, Proceedings of IEEE Conference on Decision and Control Proceedings of Positive Polynomials in Control, pp.3482-3487, 2002. ,
Introducing SOSTOOLS: a general purpose sum of squares programming solver, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.741-746, 2002. ,
DOI : 10.1109/CDC.2002.1184594
Primal???Dual Tests for Safety and Reachability, Proceedings of Hybrid Systems: Control and Computation, pp.542-556, 2005. ,
DOI : 10.1007/978-3-540-31954-2_35
Optimization-Based Methods for Nonlinear and Hybrid Systems Verification, 2005. ,
Barrier certificates for nonlinear model validation, Automatica, vol.42, issue.1, pp.117-126, 2006. ,
DOI : 10.1016/j.automatica.2005.08.007
Verified simulation of ODEs and DAEs in ValEncIA-IVP, Reliable Computing, vol.15, issue.4, pp.370-381, 2011. ,
Efficient solving of quantified inequality constraints over the real numbers, ACM Transactions on Computational Logic, vol.7, issue.4, pp.723-748, 2006. ,
DOI : 10.1145/1183278.1183282
On the construction of control Lyapunov-barrier function, Proceedings of Benelux Meeting on Systems and Control, p.22, 2007. ,
Transcendental inductive invariants generation for non-linear differential and hybrid systems, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.25-34, 2012. ,
DOI : 10.1145/2185632.2185640
Safety verification of hybrid systems by constraint propagation-based abstraction refinement, ACM Transacion on Embedded Computing Systems, vol.6, issue.1, 2007. ,
Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions, 2006 IEEE International Conference on Computational Cybernetics, pp.4377-4394, 2010. ,
DOI : 10.1109/ICCCYB.2006.305705
Solving continuous constraint systems, Proceedings of International Conference on Computer Graphics and Artificial Intelligence, pp.35-55, 2005. ,
Automatic abstraction of non-linear systems using change of bases transformations, Proceedings of the 14th international conference on Hybrid systems: computation and control, HSCC '11, pp.143-152, 2011. ,
DOI : 10.1145/1967701.1967723
Compositional safety analysis using barrier certificates, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.15-24, 2012. ,
DOI : 10.1145/2185632.2185639
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.620
Compositional safety analysis using barrier certificates, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.15-24, 2012. ,
DOI : 10.1145/2185632.2185639
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.620
Constructing invariants for hybrid systems, Proceedings of Hybrid Systems: Computation and Control, pp.539-554, 2004. ,
DOI : 10.1007/s10703-007-0046-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.2632
Solving Systems of Polynomial Equations, Number 97 in Conference Board of the Mathematical Sciences Regional Confe. Conference Board of the Mathematical Sciences, 2002. ,
DOI : 10.1090/cbms/097
Approximate Reachability for Linear Systems, Proceedings of Hybrid Systems: Computation and Control, pp.514-525, 2003. ,
DOI : 10.1007/3-540-36580-X_37
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.5265
A Technique for Invariant Generation, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, pp.113-127, 2001. ,
DOI : 10.1007/3-540-45319-9_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.1924
Semidefinite programming, SIAM review, vol.38, issue.1, pp.49-95, 1996. ,
?elikovsk`y. Control systems: from linear analysis to synthesis of chaos, 1996. ,
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation, ACM Transactions on Embedded Computing Systems, vol.14, issue.1, pp.1-19, 2015. ,
DOI : 10.1016/j.future.2006.10.009