2023
Communication dans un congrès
- titre
- A ROS-based kinematic calibration tool for serial robots
- auteur
- Caroline Pascal, Olivier Doaré, Alexandre Chapoutot
- article
- 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2023, Detroit, Michigan, United States
- Accès au texte intégral et bibtex
-
2022
Communication dans un congrès
- titre
- Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
- auteur
- Yuanqi Mao, Behcet Acikmese, Pierre-Loïc Garoche, Alexandre Chapoutot
- article
- 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain
- auteur
- François Pessaux, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- [Research Report] Ensta ParisTech. 2022
- Accès au texte intégral et bibtex
-
2021
Article dans une revue
- titre
- Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics
- auteur
- Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Acta Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩
- Accès au texte intégral et bibtex
-
- titre
- Guaranteed master for interval-based cosimulation
- auteur
- Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Software and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Constraint-based Verification of Formation Control
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
- article
- 2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩
- Accès au bibtex
-
- titre
- ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- auteur
- Julien Alexandre Dit Sandretto, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat, Luca Geretti, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David Sanders, Christian Schilling, Mark Wetzlinger
- article
- 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
- Accès au bibtex
-
- titre
- Spatio-temporal constrained zonotopes for validation of optimal control problems
- auteur
- Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- CDC 2021 : 60th Conference on Decision and Control, Dec 2021, Austin, United States
- Accès au texte intégral et bibtex
-
2020
Article dans une revue
- titre
- Optimal Switching Instants for the Control of Hybrid Systems
- auteur
- Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Abstract domains for constraint programming with differential equations
- auteur
- Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux
- article
- NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩
- Accès au bibtex
-
- titre
- Cosimulation-based control synthesis
- auteur
- Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
- Accès au bibtex
-
- titre
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- auteur
- Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David Sanders, Christian Schilling
- article
- ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
- Accès au bibtex
-
Pré-publication, Document de travail
- titre
- Towards a Set-based Signal Temporal Logic
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
- article
- 2020
- Accès au texte intégral et bibtex
-
- titre
- Guaranteed cosimulation of Cyber-Physical Systems
- auteur
- Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- 2020
- Accès au texte intégral et bibtex
-
2019
Article dans une revue
- titre
- Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods
- auteur
- Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
- article
- IEEE Transactions on Computers, 2019, ⟨10.1109/TC.2019.2917902⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
- auteur
- Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
- article
- 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmetics
- auteur
- Etienne Bertin, Elliot Brendel, Bruno Hérissé, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- Summer Workshop on Interval methods, Jul 2019, Palaiseau, France
- Accès au texte intégral et bibtex
-
- titre
- ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- auteur
- Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David Sanders, Christian Schilling
- article
- ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Logical Differential Constraints Based on Interval Boolean Tests
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2018
Article dans une revue
- titre
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- auteur
- Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
- article
- Formal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩
- Accès au texte intégral et bibtex
-
- titre
- An Interval-based Sliding Horizon Motion Planning Method
- auteur
- Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
- article
- IFAC-PapersOnLine, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩
- Accès au bibtex
-
- titre
- Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
- auteur
- Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- Optimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩
- Accès au texte intégral et bibtex
-
- titre
- Numerical program optimisation by automatic improvement of the accuracy of computations
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- International Journal of Intelligent Engineering Informatics, 2018, 6 (1/2), pp.115-145. ⟨10.1504/IJIEI.2018.091016⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Optimal switching instants for the Control of Hybrid Systems
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- 11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany
- Accès au texte intégral et bibtex
-
- titre
- Reliable motion planner evaluated on a mobile robot
- auteur
- Elise Crépon, Adina M Panchea, Alexandre Chapoutot
- article
- International Workshop on New Frontiers in Computational Robotics, Jan 2018, Laguna Hills, California, United States. ⟨10.1109/IRC.2018.00085⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Constraint-Based Framework for Reasoning with Differential Equations
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- Çetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩
- Accès au bibtex
-
Poster de conférence
- titre
- Reliable navigation planning implementation on a two-wheeled mobile robot
- auteur
- Elise Crépon, Adina M Panchea, Alexandre Chapoutot
- article
- The Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. , 2018, ⟨10.1109/IRC.2018.00035⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Survey of what DynIbex can do for you
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- 2018
- Accès au texte intégral et bibtex
-
2017
Article dans une revue
- titre
- Improving the numerical accuracy of programs by automatic transformation
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- International Journal on Software Tools for Technology Transfer, 2017, 19, pp.427-448. ⟨10.1007/s10009-016-0435-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Construction of parametric barrier functions for dynamical systems using interval analysis
- auteur
- Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
- article
- Automatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- Journal of Software Engineering for Robotics, 2017, 8 (1), pp.78-88
- Accès au bibtex
-
Communication dans un congrès
- titre
- Extended Reliable Robust Motion Planners
- auteur
- Adina M Panchea, Alexandre Chapoutot, David Filliat
- article
- 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. ⟨10.1109/CDC.2017.8263805⟩
- Accès au texte intégral et bibtex
-
- titre
- Round-off Error Analysis of Explicit One-Step Numerical Integration Methods
- auteur
- Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
- article
- 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. ⟨10.1109/ARITH.2017.22⟩
- Accès au texte intégral et bibtex
-
- titre
- Interval-based QuickXplain Algorithm
- auteur
- Adrien Bisutti, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Rémi Delmas
- article
- 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Robust Motion Planning Based on Sliding Horizon and Validated Simulation
- auteur
- Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- BoxRRT* -A Reliable Motion Planner
- auteur
- Adina M Panchea, Alexandre Chapoutot, David Filliat
- article
- 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Numerical Accuracy Improvement by Interprocedural Program Transformation
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩
- Accès au bibtex
-
- titre
- Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Distributed control synthesis using Euler's method
- auteur
- Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian de Vuyst, Ludovic Chamoin
- article
- International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Robust Motion Planning Based on Sliding Horizon and Validated Simulation *
- auteur
- Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- 2017
- Accès au texte intégral et bibtex
-
2016
Article dans une revue
- titre
- Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
- Accès au texte intégral et bibtex
-
- titre
- Validated Explicit and Implicit Runge-Kutta Methods
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Runge-Kutta Theory and Constraint Programming
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden
- Accès au texte intégral et bibtex
-
- titre
- Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
- auteur
- Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
- Accès au bibtex
-
- titre
- Appropriate Design Guided by Simulation: An Hovercraft Application
- auteur
- Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot
- article
- Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩
- Accès au texte intégral et bibtex
-
- titre
- Contraction, propagation and bisection on a validated simulation of ODE
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Summer Workshop on Interval Methods, Jun 2016, Lyon, France
- Accès au texte intégral et bibtex
-
- titre
- DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
- Accès au bibtex
-
- titre
- DynBEX: a Differential Constraint Library for Studying Dynamical Systems
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
- Accès au texte intégral et bibtex
-
- titre
- Control of Nonlinear Switched Systems Based on Validated Simulation
- auteur
- Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
- article
- International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. ⟨10.1109/SNR.2016.7479377⟩
- Accès au bibtex
-
- titre
- Data-Types Optimization for Floating-Point Formats by Program Transformation
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩
- Accès au bibtex
-
Poster de conférence
- titre
- Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
- auteur
- Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom.
- Accès au texte intégral et bibtex
-
- titre
- DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- HSCC, Apr 2016, Vienne, Austria. , HSCC 2016
- Accès au texte intégral et bibtex
-
- titre
- Numerical Accuracy Improvement of Programs
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- CGO '16: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain
- Accès au texte intégral et bibtex
-
2015
Article dans une revue
- titre
- Transformation of a PID Controller for Numerical Accuracy
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- Electronic Notes in Theoretical Computer Science, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
- auteur
- Walid Taha, Adam Duracz, Yingfu Zeng, Atkinson Kevin, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecny, Jun Inoue, Anita Sant’anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron Ames, Veronica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
- article
- International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
- Accès au bibtex
-
- titre
- Inner and Outer Computation of the Viability Kernel based on Interval Analysis
- auteur
- Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
- Accès au bibtex
-
- titre
- Intra-procedural Optimization of the Numerical Accuracy of Programs
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- FMICS 2015 - 20th International Workshop on Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Intra-procedural Optimization of the Numerical Accuracy of Programs
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Validated Simulation of Differential Algebraic Equations
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
- Accès au bibtex
-
- titre
- Validated Explicit and Implicit Runge-Kutta Methods
- auteur
- Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier
- article
- Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
- Accès au texte intégral et bibtex
-
- titre
- Viability kernel computation based on interval methods
- auteur
- Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
- Accès au bibtex
-
- titre
- Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩
- Accès au bibtex
-
- titre
- Optimizing the accuracy of a rocket trajectory simulation by program transformation
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- Proceedings of the 12th ACM International Conference on Computing Frontiers (CF'15), May 2015, Ischia, Italy. pp.1-2
- Accès au texte intégral et bibtex
-
- titre
- Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- Logic-Based Program Synthesis and Transformation, 9527, Springer Verlag, pp.143-160, 2015, Lecture Notes in Computer Science, 978-3-319-27435-5. ⟨10.1007/978-3-319-27436-2_9⟩
- Accès au bibtex
-
Rapport
- titre
- Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- [Research Report] ENSTA ParisTech. 2015
- Accès au texte intégral et bibtex
-
2014
Communication dans un congrès
- titre
- Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
- auteur
- Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer
- article
- 53rd IEEE Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1-4, ⟨10.1109/cdc.2014.7039472⟩
- Accès au texte intégral et bibtex
-
- titre
- Set-based Simulation for Design and Verification of Simulink Models
- auteur
- Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot
- article
- Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
- Accès au texte intégral et bibtex
-
- titre
- Set-based Simulation for Design and Verification of Simulink Models
- auteur
- Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot
- article
- Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
- Accès au texte intégral et bibtex
-
2013
Chapitre d'ouvrage
- titre
- Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods
- auteur
- Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
- article
- 5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, ⟨10.1007/978-3-642-38088-4_8⟩
- Accès au bibtex
-
Rapport
- titre
- Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
- auteur
- Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
- article
- 2013
- Accès au texte intégral et bibtex
-
2012
Article dans une revue
- titre
- Acceleration of the abstract fixpoint computation in numerical program analysis
- auteur
- Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
- article
- Journal of Symbolic Computation, 2012, 47 (12), pp.1413-1560. ⟨10.1016/j.jsc.2011.12.050⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Range estimation of floating-point variables in Simulink models
- auteur
- Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
- article
- Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
- Accès au bibtex
-
- titre
- HySon: Set-based simulation of hybrid systems
- auteur
- Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
- article
- 23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩
- Accès au bibtex
-
- titre
- A Statistical Inference Model for the Dynamic Range of LTI Systems
- auteur
- Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
- article
- 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Sep 2012, Novosibirsk, Russia. pp.25-26
- Accès au bibtex
-
- titre
- Interval-based Robustness of Linear Parametrized Filters
- auteur
- Alexandre Chapoutot, Thibault Hilaire, Philippe Chevrel
- article
- SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. pp.cf. CDROM
- Accès au bibtex
-
- titre
- A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
- auteur
- Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot
- article
- 32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩
- Accès au bibtex
-
- titre
- An operational semantics for Simulink's simulation engine
- auteur
- Olivier Bouissou, Alexandre Chapoutot
- article
- 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Pekin, China. pp.129-138, ⟨10.1145/2248418.2248437⟩
- Accès au bibtex
-
2011
Article dans une revue
- titre
- A core language for executable models of cyber physical systems: work in progress report
- auteur
- Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot
- article
- ACM SIGBED Review, 2011, 8 (2), pp.39-43. ⟨10.1145/2000367.2000376⟩
- Accès au bibtex
-
2010
Communication dans un congrès
- titre
- Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
- auteur
- Alexandre Chapoutot
- article
- SAS 2010 - 17th Static Analysis Symposium, Sep 2010, Perpignan, France. pp.184-200, ⟨10.1007/978-3-642-15769-1_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Abstract Fixpoint Computations with Numerical Acceleration Methods
- auteur
- Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
- article
- International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.29-42, ⟨10.1016/j.entcs.2010.09.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Mathematical equations as executable models of mechanical systems
- auteur
- Yun Zhu, Edwin Rice University Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Robert Cartwright, Aaron Ames, Raktim Bhattacharya
- article
- International Conference on Cyber-Physical Systems, Apr 2010, Stockholm, Sweden. ⟨10.1145/1795194.1795196⟩
- Accès au bibtex
-
2009
Article dans une revue
- titre
- Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
- auteur
- Alexandre Chapoutot, Matthieu Martel
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (4), pp.503-531. ⟨10.3166/tsi.28.503-531⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Abstract Simulation: a Static Analysis of Simulink Models
- auteur
- Alexandre Chapoutot, Matthieu Martel
- article
- International Conference on Embedded Software and Systems, May 2009, Zhejiang, China. pp.83-92, ⟨10.1109/ICESS.2009.80⟩
- Accès au texte intégral et bibtex
-
- titre
- Range Estimation of Floating-Point Variables in Simulink Models
- auteur
- Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
- article
- Second International Workshop on Numerical Software Verification (NSV II), Apr 2009, San Francisco, CA, United States
- Accès au bibtex
-
2008
Communication dans un congrès
- titre
- Static Analysis of Simulink Programs
- auteur
- Alexandre Chapoutot, Matthieu Martel
- article
- Model-driven High-level Programming of Embedded Systems, Apr 2008, Budapest, Hungary
- Accès au bibtex
-
Thèse
- titre
- Simulation abstraite : une analyse statique de modèles Simulink
- auteur
- Alexandre Chapoutot
- article
- Génie logiciel [cs.SE]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2007
Communication dans un congrès
- titre
- Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
- auteur
- Alexandre Chapoutot, Matthieu Martel
- article
- Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. pp.261-280
- Accès au bibtex
-
2006
Communication dans un congrès
- titre
- Abstract Frequency Analysis of Synchronous Systems
- auteur
- Alexandre Chapoutot, Matthieu Martel
- article
- Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2006, Ottawa, Canada
- Accès au bibtex
-