Jawher Jerray

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 20

Top Topics

Random Sampling

Jacobian Matrix

Lipschitz Continuity

Top Venues

IEEE Control. Syst. Lett.

Eur. J. Control

Publications

Jawher Jerray, Laurent Fribourg
Proving the Convergence to Limit Cycles using Periodically Decreasing Jacobian Matrix Measures. CoRR (2023)
Jawher Jerray, Rabéa Ameur-Boulifa, Ludovic Apvrille
Integration of Heterogeneous Components for Co-Simulation. ICSOFT (2023)
Jawher Jerray, Adnane Saoud, Laurent Fribourg
Asymptotic error in Euler's method with a constant step size. Eur. J. Control 68 (2022)
Jawher Jerray, Adnane Saoud, Laurent Fribourg
Using Euler's Method to Prove the Convergence of Neural Networks. IEEE Control. Syst. Lett. 6 (2022)
Jawher Jerray, Laurent Fribourg
Constructing invariant tori using guaranteed Euler method. CoRR (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
An Approximation of Minimax Control using Random Sampling and Symbolic Computation. ADHS (2021)
Jawher Jerray, Laurent Fribourg
Determination of limit cycles using stroboscopic set-valued maps. ADHS (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
Robust optimal periodic control using guaranteed Euler's method. CoRR (2021)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. Fundam. Informaticae 182 (1) (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
Robust optimal periodic control using guaranteed Euler's method. ACC (2021)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR (2021)
Jawher Jerray
ORBITADOR: A tool to analyze the stability of periodical dynamical systems. ARCH@ADHS (2021)
Jawher Jerray, Laurent Fribourg, Étienne André
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). ARCH (2020)
Jawher Jerray, Laurent Fribourg, Étienne André
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples. CoRR (2020)
Jawher Jerray, Laurent Fribourg, Étienne André
Robust optimal control using dynamic programming and guaranteed Euler's method. CoRR (2020)
Jawher Jerray, Laurent Fribourg
Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems. CoRR (2020)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. ACSD (2019)
Étienne André, Jawher Jerray, Sahar Mhiri
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. ICTAC (2019)
Étienne André, Jawher Jerray, Sahar Mhiri
Time4sys2imi: A tool to formalize real-time system models under uncertainty. CoRR (2019)
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR (2019)