Search - ENSTA Paris

	1 2 3 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01243044v1 Journal articles Julien Alexandre Dit Sandretto, Alexandre 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 Sandretto, Alexandre 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 Damouche, Matthieu Martel, Alexandre 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 Sandretto, Alexandre Chapoutot. Validated Simulation of Differential Algebraic Equations Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
	hal-01304012v1 Conference papers Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot. Appropriate Design Guided by Simulation: An Hovercraft Application Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩
	hal-01297273v1 Conference papers Julien Alexandre Dit Sandretto, Alexandre 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 Sandretto, Alexandre 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-01133695v1 Conference papers Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩
	hal-01737032v1 Conference papers Pierre-André Crépon, Adina Panchea, Alexandre 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-02505237v1 Preprints, Working Papers, ... Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Guaranteed cosimulation of Cyber-Physical Systems 2020
	hal-01737026v1 Poster communications Pierre-André Crépon, Adina Panchea, Alexandre 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-01493645v1 Preprints, Working Papers, ... Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Robust Motion Planning Based on Sliding Horizon and Validated Simulation * 2017
	hal-01111240v2 Conference papers Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier. Validated Explicit and Implicit Runge-Kutta Methods Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
	hal-01490364v1 Conference papers Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩
	hal-01399337v2 Journal articles Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. An improved algorithm for the control synthesis of nonlinear sampled switched systems Formal Methods in System Design, Springer Verlag, 2018, 53 (3), pp.363-383
	hal-01744855v1 Journal articles Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Numerical program optimisation by automatic improvement of the accuracy of computations International Journal of Intelligent Engineering Informatics, 2018, 6 (1/2), pp.115-145. ⟨10.1504/IJIEI.2018.091016⟩
	hal-01954764v1 Book sections Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Constraint-Based Framework for Reasoning with Differential Equations Çetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩
	hal-01450917v1 Conference papers Julien Alexandre Dit Sandretto, Alexandre 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 Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin 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 Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre 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 Damouche, Matthieu Martel, Alexandre 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 Damouche, Matthieu Martel, Alexandre 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-01272513v1 Conference papers Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩
	hal-01762205v1 Journal articles Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties Journal of Software Engineering for Robotics, 2017, 8 (1), pp.78-88
	hal-01316503v1 Poster communications Olivier Mullier, Alexandre Chapoutot, Julien 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-01107685v6 Reports Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes [Research Report] ENSTA ParisTech. 2015
	hal-03035228v1 Conference papers Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre 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-01927784v1 Preprints, Working Papers, ... Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Survey of what DynIbex can do for you 2018
	hal-01371498v1 Conference papers Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien 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 Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Viability kernel computation based on interval methods Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
	1 2 3 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize