Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Proc. of Hybrid Systems I, number 736 in LNCS, pp.209-229, 1993. ,
DOI : 10.1007/3-540-57318-6_30
Finite controlled invariants for sampled switched systems, Formal Methods in System Design, vol.77, issue.1, pp.303-329, 2014. ,
DOI : 10.1007/3-540-36580-X_33
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.9680
Switching in systems and control, 2012. ,
DOI : 10.1007/978-1-4612-0017-8
Reachability of Uncertain Linear Systems Using Zonotopes, Proc. of Hybrid Systems: Computation and Control, pp.291-305, 2005. ,
DOI : 10.1007/978-3-540-31954-2_19
URL : https://hal.archives-ouvertes.fr/hal-00307003
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.173-182, 2013. ,
DOI : 10.1145/2461328.2461358
Flow*: An Analyzer for Non-linear Hybrid Systems, Proc. of Computer Aided Verification, pp.258-263, 2013. ,
DOI : 10.1007/978-3-642-39799-8_18
URL : http://pl.cs.colorado.edu/papers/flowstar-cav13.pdf
SpaceEx: Scalable Verification of Hybrid Systems, Proc. of Computer Aided Verification, pp.379-395, 2011. ,
DOI : 10.1007/978-3-642-00768-2_32
URL : https://hal.archives-ouvertes.fr/hal-00769608
Interval Analysis, 1966. ,
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
Validated solutions of initial value problems for parametric ODEs, Applied Numerical Mathematics, vol.57, issue.10, pp.1145-1162, 2007. ,
DOI : 10.1016/j.apnum.2006.10.006
URL : http://www.nd.edu/~markst/lin-stadtherr-vspode-apnum.pdf
Rigorous integration of non-linear ordinary differential equations in chebyshev basis, Numerical Algorithms, vol.2, issue.1, pp.183-205, 2015. ,
DOI : 10.1007/s002080010018
GRKLib: a Guaranteed Runge Kutta Library, 12th GAMM, IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), 2006. ,
DOI : 10.1109/SCAN.2006.20
URL : http://www.lix.polytechnique.fr/Labo/Olivier.Bouissou/pdf/publications/bouissou_martel_scan_06.pdf
A Survey of Interval Runge???Kutta and Multistep Methods for Solving the Initial Value Problem, Proc. of Parallel Processing and Applied Mathematics, pp.1361-1371, 2008. ,
DOI : 10.1007/978-3-540-68111-3_144
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods, Proc. of NASA Formal Methods, number 7871 in LNCS, pp.108-123, 2013. ,
DOI : 10.1007/978-3-642-38088-4_8
URL : https://hal.archives-ouvertes.fr/hal-00819730
Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods, Proc. of Hybrid Systems: Computational and Control, pp.130-144, 2000. ,
DOI : 10.1007/3-540-46430-1_14
URL : http://www-cad.eecs.berkeley.edu/~tah/Publications/beyond_hytech.ps
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
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
URL : http://www.ee.ucla.edu/~pola/publications/Pola_CDC2007a.pdf
Feedback Refinement Relations for the Synthesis of Symbolic Controllers, IEEE Transactions on Automatic Control, vol.62, issue.4, pp.1781-1796, 2017. ,
DOI : 10.1109/TAC.2016.2593947
Control of nonlinear switched systems based on validated simulation, 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), pp.1-6, 2016. ,
DOI : 10.1109/SNR.2016.7479377
Robust controller synthesis of switched systems using counterexample guided framework, Proceedings of the 13th International Conference on Embedded Software, EMSOFT '16, pp.1-10, 2016. ,
DOI : 10.1007/978-3-540-78929-1_39
Applied Interval Analysis, 2001. ,
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131
Solving Ordinary Differential Equations I: Nonstiff Problems, 2009. ,
DOI : 10.1007/978-3-662-12607-3
Self-Validated Numerical Methods and Applications, Brazilian Mathematics Colloquium monographs . IMPA/CNPq, 1997. ,
Validated explicit and implicit Runge-Kutta methods, Reliable Computing, vol.22, pp.79-103, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01111240
Enclosing the solutions of ordinary initial and boundary value problems, Computer Arithmetic, pp.255-286, 1987. ,
Zgliczy`nski. A Lohner-type algorithm for control systems and ordinary differential inclusions. Discrete and continuous dynamical systems -series B, pp.365-385, 2009. ,
DynIBEX library, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01302504
PESSOA: A Tool for Embedded Controller Synthesis, Proc. of Computer Aided Verification, pp.566-569, 2010. ,
DOI : 10.1007/978-3-642-14295-6_49
SCOTS, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC '16, pp.99-104, 2016. ,
DOI : 10.1016/0166-218X(93)90045-P
Optimal Control of the Boost dc-dc Converter, Proceedings of the 44th IEEE Conference on Decision and Control, pp.4457-4462, 2005. ,
DOI : 10.1109/CDC.2005.1582864
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.58, issue.7, pp.1771-1785, 2013. ,
DOI : 10.1109/TAC.2013.2246095
Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings. Theses, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01232640
Experimental implementation of UFAD regulation based on Robust Controlled Invariance, 2014 European Control Conference (ECC), pp.1468-1473, 2014. ,
DOI : 10.1109/ECC.2014.6862273
URL : https://hal.archives-ouvertes.fr/hal-00988959
Feedback systems: an introduction for scientists and engineers, 2010. ,
Distributed Synthesis of State-Dependent Switching Control, Proc. of Reachability Problems, pp.119-133, 2016. ,
DOI : 10.1007/978-3-540-71493-4_34
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*, European Journal of Control, vol.18, issue.3, pp.217-238, 2012. ,
DOI : 10.3166/ejc.18.217-238
Control of mechanical systems using set based methods, International Journal of Dynamics and Control, vol.9, issue.2, pp.1-17, 2016. ,
DOI : 10.1016/0167-6911(87)90021-1