Search - Archive ouverte HAL Access content directly

Filter your results

4 908 Results
language_s : English

Falsification of hybrid systems using symbolic reachability and trajectory splicing

Bogomolov Sergiy , Frehse Goran , Gurung Amit , Li Dongxu , Martius Georg et al.
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Montreal, Canada
Conference papers hal-02446204v1

Autonomous Evasive Steering with Differential Braking Backup

Moad Kissai , Anh-Lam Do , Xavier Mouton , Bruno Monsuez
2020 20th International Conference on Control, Automation and Systems (ICCAS), Oct 2020, Busan, South Korea. pp.1172-1176, ⟨10.23919/ICCAS50221.2020.9268324⟩
Conference papers hal-03112206v1

JuliaReach: a toolbox for set-based reachability

Bogomolov Sergiy , Forets Marcelo , Frehse Goran , Potomkin Kostiantyn , Schilling Christian et al.
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Apr 2019, Montreal, Canada
Conference papers hal-02446216v1

Undulator design for a laser-plasma-based free-electron-laser

A. Ghaith , M.-E. Couprie , D. Oumbarek-Espinos , I.A. Andriyash , F. Massimo et al.
Phys.Rept., 2021, 937, pp.1-73. ⟨10.1016/j.physrep.2021.09.001⟩
Journal articles hal-03400754v1
Image document

RobotDrlSim: A real time robot simulation platform for reinforcement learning and human interactive demonstration learning

Te Sun , Liang Gong , Xvdong Li , Shenghan Xie , Zhaorun Chen et al.
MSOTA 2020 - 3rd International Conference on Modeling, Simulation and Optimization Technologies and Applications, Nov 2020, Beijing / Virtual, China
Conference papers hal-03021400v1
Image document

Synthesis and activation of an iron oxide immobilized drug-mimicking reporter under conventional and pulsed X-ray irradiation conditions

Anna Barosi , Petra Dunkel , Erwann Guénin , Yoann Lalatonne , Philippe Zeitoun et al.
RSC Advances, 2020, 10 (6), pp.3366-3370. ⟨10.1039/C9RA09828C⟩
Journal articles hal-02469284v1

Reduced-order modeling of the fluidic pinball

Pastur Luc , Nan Deng , Morzyński Marek
11th Chaos Conference Proceedings, Jun 2018, Rome, Italy. pp.205-214
Conference papers hal-02398867v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Naji Amine , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers hal-02287276v1
Image document

High-field mid-infrared pulses derived from frequency domain optical parametric amplification

Adrien Leblanc , Gilles Dalla-Barba , Philippe Lassonde , Antoine Laramée , Bruno E Schmidt et al.
Optics Letters, 2020, 45 (8), pp.2267. ⟨10.1364/OL.389804⟩
Journal articles hal-02877690v2
Image document

Ambient effects on the output strain of Ni–Mn-Ga single crystal magnetic shape memory alloy

Shaobin Zhang , Guoshun Qin , Yongjun He
Journal of Alloys and Compounds, 2020, 835, pp.155159 -. ⟨10.1016/j.jallcom.2020.155159⟩
Journal articles hal-03490799v1
Image document

Nonlinear ionization dynamics of hot dense plasma observed in a laser-plasma amplifier

F. Tuitje , P. Martínez Gil , T. Helk , J. Gautier , F. Tissandier et al.
Light: Science and Applications, 2020, 9, pp.187. ⟨10.1038/s41377-020-00424-2⟩
Journal articles hal-03021081v1

Probing Ultrafast Magnetic-Field Generation by Current Filamentation Instability in Femtosecond Relativistic Laser-Matter Interactions

G. Raj , O. Kononenko , A. Doche , X. Davoine , C. Caizergues et al.
Phys.Rev.Res., 2020, 2 (2), pp.023123
Journal articles hal-02290775v1
Image document

Semidefinite programming relaxations through quadratic reformulation for box-constrained polynomial optimization problems

Sourour Elloumi , Amélie Lambert , Arnaud Lazare
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.1498-1503, ⟨10.1109/CoDIT.2019.8820690⟩
Conference papers hal-02455410v1

Guaranteed master for interval-based cosimulation

Adrien Le Coënt , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Software and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
Journal articles hal-03158710v1

Robust treatment of cross points in Optimized Schwarz Methods

Xavier Claeys , Emile Parolin
Numerische Mathematik, 2022, 151 (2), pp.405-442. ⟨10.1007/s00211-022-01288-x⟩
Journal articles hal-03118695v1

Worst-Case Execution Time Analysis of Predicated Architectures

Florian Brandner , Naji Amine
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers hal-02288493v1

High Gradient Wakefield Accelerator

Sébastien Corde
CERN Accelerator School, Mar 2019, Sesimbra, Portugal
Conference papers hal-02464451v1

Quantum Interference Between Transition Probability Amplitudes in N2+

André Mysyrowicz , Rostyslav Danylo , Aurélien Houard , V Tikhonchuk , P. Ding et al.
Laser Physics Workshop LPHYS’19, Jul 2019, Gyeongju, South Korea
Conference papers hal-02464374v1

Remote acoustic wave generation in water using ultrashort lasers

Aurélien Houard
Conference on Ultrafast Optical Science in Lebedev Physical Institute, Sep 2019, Moscou, Russia
Conference papers hal-02464419v1
Image document

Low-temperature-grown GaAs : modeling of transient reflectivity experiments

V. Ortiz , J. Nagle , Jean-Francois Lampin , Emmanuel Peronne , Antigoni Alexandrou et al.
Journal of Applied Physics, 2007, 102, pp.043515-1-9. ⟨10.1063/1.2763971⟩
Journal articles hal-00283048v1

Controlled acceleration of GeV electron beams in an all-optical plasma waveguide

Kosta Oubrerie , Adrien Leblanc , Olena Kononenko , Ronan Lahaye , Igor A. Andriyash et al.
Light Sci.Appl., 2022, 11, pp.180. ⟨10.1038/s41377-022-00862-0⟩
Journal articles hal-03323973v1
Image document

Optimization of a domestic microgrid equipped with solar panel and battery: Model Predictive Control and Stochastic Dual Dynamic Programming approaches

François Pacaud , Pierre Carpentier , Jean-Philippe Chancelier , Michel de Lara
Preprints, Working Papers, ... hal-03667607v1
Image document

Naturally Constrained Online Expectation Maximization

Daniela Pamplona , Antoine Manzanera
International Conference on Pattern Recognition (ICPR 2020), Jan 2021, Milan, Italy
Conference papers hal-03012909v1
Image document

Patterns of precipitation and convection occurrence over the mediterranean basin derived from a decade of microwave satellite observations

Bahjat Alhammoud , Chantal Claud , Beatriz M. Funatsu , Karine Béranger , Jean-Pierre Chaboureau et al.
Atmosphere, 2014, 5 (2), pp.370-398. ⟨10.3390/atmos5020370⟩
Journal articles hal-01087284v1

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Julien Alexandre Dit Sandretto , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux et al.
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
Conference papers hal-03587676v1

Cosimulation-based control synthesis

Adrien Le Coent , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
Conference papers hal-03035228v1

Predictions of solvation Gibbs free energies with COSMO-SAC approaches

Chourouk Nait Saidi , Detlev Conrad Mielczarek , Patrice Paricaud
Fluid Phase Equilibria, 2020, 517, pp.112614. ⟨10.1016/j.fluid.2020.112614⟩
Journal articles hal-02614634v1
Image document

Trapped modes in thin and infinite ladder like domains. Part 2 : asymptotic analysis and numerical application

Bérangère Delourme , Sonia Fliss , Patrick Joly , Elizaveta Vasilevskaya
Asymptotic Analysis, In press
Journal articles hal-01822437v2

Impact of ultrafast laser generated Weibel magnetic fields on propagation dynamics of relativistic electron bunches

Gaurav Raj
46th European Physical Society Conference on Plasma Physics, 2019, Milan, Italy
Conference papers hal-02468081v1

Only thickness is essential in the Thick Level Set approach

Nunziante Valoroso , Claude Stolz
The 6th edition of International Conference on Computational Modeling of Fracture and Failure of Materials and Structures (CFRAC-2019), Jun 2019, Braunschweig, Germany
Conference papers hal-02266886v1