Skip to Main content Skip to Navigation


...
hal-01243044v1  Journal articles
Julien Alexandre Dit SandrettoAlexandre Chapoutot. Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
...
hal-01243053v1  Journal articles
Julien Alexandre Dit SandrettoAlexandre Chapoutot. Validated Explicit and Implicit Runge-Kutta Methods
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
hal-01373666v1  Journal articles
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Improving the numerical accuracy of programs by automatic transformation
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, ⟨10.1007/s10009-016-0435-0⟩
hal-01164474v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre Chapoutot. Validated Simulation of Differential Algebraic Equations
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
...
hal-01297273v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre Chapoutot. DynBEX: a Differential Constraint Library for Studying Dynamical Systems
Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
...
hal-02146655v1  Book sections
Julien Alexandre Dit SandrettoAlexandre Chapoutot. Logical Differential Constraints Based on Interval Boolean Tests
Kearfott R., Batyrshin I., Reformat M., Ceberio M., Kreinovich V. IFSA/NAFIPS 2019 2019: Fuzzy Techniques: Theory and Applications, 1000, Springer, Cham, pp.788-792, 2019, ⟨10.1007/978-3-030-21920-8_70⟩
...
hal-01737032v1  Conference papers
Pierre-André CréponAdina PancheaAlexandre Chapoutot. Reliable motion planner evaluated on a mobile robot
International Workshop on New Frontiers in Computational Robotics, Jan 2018, Laguna Hills, California, United States. ⟨10.1109/IRC.2018.00085⟩
...
hal-01737026v1  Poster communications
Pierre-André CréponAdina PancheaAlexandre Chapoutot. Reliable navigation planning implementation on a two-wheeled mobile robot
The Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. 2018, ⟨10.1109/IRC.2018.00035⟩
...
hal-01111240v2  Conference papers
Alexandre ChapoutotJulien Alexandre Dit SandrettoOlivier Mullier. Validated Explicit and Implicit Runge-Kutta Methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
hal-01450917v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre Chapoutot. DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
hal-02167586v1  Conference papers
Fabian ImmlerMatthias AlthoffLuis BenetAlexandre ChapoutotXin Chen et al.  ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
hal-03068407v1  Conference papers
Luca GerettiJulien Alexandre Dit SandrettoMatthias AlthoffLuis BenetAlexandre Chapoutot et al.  ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
hal-01255942v1  Journal articles
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Transformation of a PID Controller for Numerical Accuracy
Electronic Notes in Theoretical Computer Science, Elsevier, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩
hal-01598851v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Numerical Accuracy Improvement by Interprocedural Program Transformation
International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩
...
hal-01316503v1  Poster communications
Olivier MullierAlexandre ChapoutotJulien Alexandre Dit Sandretto. Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom
hal-03035228v1  Conference papers
Adrien Le CoentJulien Alexandre Dit SandrettoAlexandre Chapoutot. Cosimulation-based control synthesis
Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
hal-01371498v1  Conference papers
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Inner and Outer Computation of the Viability Kernel based on Interval Analysis
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
hal-01371484v1  Conference papers
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Viability kernel computation based on interval methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic