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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Autonomous Evasive Steering with Differential Braking Backup
Moad Kissai
,
Anh-Lam Do
,
Xavier Mouton
,
Bruno Monsuez
Conference papers
hal-03112206v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03400754v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-02469284v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-02877690v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Ambient effects on the output strain of Ni–Mn-Ga single crystal magnetic shape memory alloy
Shaobin Zhang
,
Guoshun Qin
,
Yongjun He
Journal articles
hal-03490799v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03021081v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Guaranteed master for interval-based cosimulation
Adrien Le Coënt
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
Journal articles
hal-03158710v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Robust treatment of cross points in Optimized Schwarz Methods
Xavier Claeys
,
Emile Parolin
Journal articles
hal-03118695v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Worst-Case Execution Time Analysis of Predicated Architectures
Florian Brandner
,
Naji Amine
Conference papers
hal-02288493v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
High Gradient Wakefield Accelerator
Sébastien Corde
CERN Accelerator School , Mar 2019, Sesimbra, Portugal
Conference papers
hal-02464451v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Low-temperature-grown GaAs : modeling of transient reflectivity experiments
V. Ortiz
,
J. Nagle
,
Jean-Francois Lampin
,
Emmanuel Peronne
,
Antigoni Alexandrou
et al.
Journal articles
hal-00283048v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03323973v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
2022
Preprints, Working Papers, ...
hal-03667607v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Naturally Constrained Online Expectation Maximization
Daniela Pamplona
,
Antoine Manzanera
International Conference on Pattern Recognition (ICPR 2020) , Jan 2021, Milan, Italy
Conference papers
hal-03012909v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-01087284v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Cosimulation-based control synthesis
Adrien Le Coent
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
Conference papers
hal-03035228v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Predictions of solvation Gibbs free energies with COSMO-SAC approaches
Chourouk Nait Saidi
,
Detlev Conrad Mielczarek
,
Patrice Paricaud
Journal articles
hal-02614634v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More