Skip to Main content Skip to Navigation

hal-03445608v1  Conference papers
Patrick CiarletErell JamelotAlbéric Lefort. Étude de la T-coercitivité pour le problème de Stokes
Journées scientifiques du GdR MaNu (marhématiques pour le nucléaire), Nicolas Seguin, Olga Mula-Hernandez, Oct 2021, Le Croisic, France
hal-02429465v1  Journal articles
Daniel HarrisP.-T. BrunAdam DamianoLuiz FariaJohn Bush. The interaction of a walking droplet and a submerged pillar: From scattering to the logarithmic spiral
Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2018, 28 (9), pp.096105. ⟨10.1063/1.5031022⟩
hal-01376456v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre Chapoutot. Runge-Kutta Theory and Constraint Programming
International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden
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-00913775v2  Journal articles
Juliette ChabassierAntoine ChaignePatrick Joly. Time domain simulation of a piano. Part 1 : model description.
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2013, 48 (05), pp.1241-1278. ⟨10.1051/m2an/2013136⟩
hal-00873616v1  Conference papers
Antoine ChaigneJuliette ChabassierPatrick Joly. Modeling the grand piano
WAVES 13 : 11th International Conference on Mathematical and Numerical Aspects of Waves, Jun 2013, Tunis, Tunisia
hal-00873639v1  Conference papers
Antoine ChaigneJuliette ChabassierNicolas Burban. Acoustics of pianos: physical modeling, simulations and experiments
SMAC 2013 - Stockholm Music Acoustics Conference 2013, KTH Royal Institute of Technology, Jul 2013, Stockholm, Sweden
hal-00873089v1  Journal articles
Juliette ChabassierPatrick JolyAntoine Chaigne. Modeling and simulation of a grand piano
Journal of the Acoustical Society of America, Acoustical Society of America, 2013, 134, pp.648. ⟨10.1121/1.4809649⟩
hal-03158488v1  Journal articles
Olivier MullierJulien Alexandre Dit SandrettoAlexandre Chapoutot. Optimal Switching Instants for the Control of Hybrid Systems
Acta Cybernetica, University of Szeged, Institute of Informatics, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
hal-02446216v1  Conference papers
Bogomolov SergiyForets MarceloFrehse GoranPotomkin KostiantynSchilling Christian. JuliaReach: a toolbox for set-based reachability
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Apr 2019, Montreal, Canada
hal-02446204v1  Conference papers
Bogomolov SergiyFrehse GoranGurung AmitLi DongxuMartius Georg et al.  Falsification of hybrid systems using symbolic reachability and trajectory splicing
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Montreal, Canada
hal-02502363v1  Book sections
Olivier MullierJulien Alexandre Dit Sandretto. Set-Membership Computation of Integrals with Uncertain Endpoints
Numerical Computations: Theory and Algorithms Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II,, pp.169-181, 2020, ⟨10.1007/978-3-030-40616-5_13⟩