Jawher Jerray

According to our database, Jawher Jerray authored at least 16 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Proving the Convergence to Limit Cycles using Periodically Decreasing Jacobian Matrix Measures.

Jawher Jerray, Laurent Fribourg

CoRR, 2023

Integration of Heterogeneous Components for Co-Simulation.

Jawher Jerray, Rabéa Ameur-Boulifa, Ludovic Apvrille

Proceedings of the 18th International Conference on Software Technologies, 2023

2022

Asymptotic error in Euler's method with a constant step size.

Jawher Jerray, Adnane Saoud, Laurent Fribourg

Eur. J. Control, 2022

Using Euler's Method to Prove the Convergence of Neural Networks.

Jawher Jerray, Adnane Saoud, Laurent Fribourg

IEEE Control. Syst. Lett., 2022

2021

Guaranteed properties of dynamical systems under perturbations. (Analyses formelles des propriétés des systèmes dynamiques sous perturbations).

Jawher Jerray

PhD thesis, 2021

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints.

Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens

Fundam. Informaticae, 2021

Constructing invariant tori using guaranteed Euler method.

Jawher Jerray, Laurent Fribourg

CoRR, 2021

ORBITADOR: A tool to analyze the stability of periodical dynamical systems.

Jawher Jerray

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Robust optimal periodic control using guaranteed Euler's method.

Jawher Jerray, Laurent Fribourg, Étienne André

Proceedings of the 2021 American Control Conference, 2021

An Approximation of Minimax Control using Random Sampling and Symbolic Computation.

Jawher Jerray, Laurent Fribourg, Étienne André

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

Determination of limit cycles using stroboscopic set-valued maps.

Jawher Jerray, Laurent Fribourg

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems.

Jawher Jerray, Laurent Fribourg

CoRR, 2020

Robust optimal control using dynamic programming and guaranteed Euler's method.

Jawher Jerray, Laurent Fribourg, Étienne André

CoRR, 2020

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples.

Jawher Jerray, Laurent Fribourg, Étienne André

CoRR, 2020

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge).

Jawher Jerray, Laurent Fribourg, Étienne André

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty.

Étienne André, Jawher Jerray, Sahar Mhiri

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019