Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

9 résultats
Page :
triés par
Image document

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

 Jawher Jerray , Adnane Saoud , Laurent Fribourg
IEEE Control Systems Letters, 2022, ⟨10.1109/lcsys.2022.3184040⟩
Article dans une revue hal-03816597v1

Robust optimal periodic control using guaranteed Euler's method

 Jawher Jerray , Laurent Fribourg , Étienne André
ACC 2021 - American Control Conference, May 2021, New Orleans/Virtual, United States. pp.986-991, ⟨10.23919/ACC50511.2021.9482621⟩
Communication dans un congrès hal-03174207v1

Parametric schedulability analysis of a launcher flight control system under reactivity constraints

 Étienne André , Emmanuel Coquard , Laurent Fribourg , Jawher Jerray , David Lesens
19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany
Communication dans un congrès hal-02072159v1

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

 Jawher Jerray , Laurent Fribourg , Étienne André
ARCH20 - 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, Goran Frehse and Matthias Althoff, Jul 2020, Berlin, Germany. pp.197-184, ⟨10.29007/l3k2⟩
Communication dans un congrès hal-02972549v1
Image document

Integration of Heterogeneous Components for Co-Simulation

 Jawher Jerray , Rabea Ameur-Boulifa , Ludovic Apvrille
18th International Conference on Software Technologies (ICSOFT 2023), Jul 2023, Rome, Italy. pp.637-644, ⟨10.5220/0012134800003538⟩
Communication dans un congrès hal-04176025v1
Image document

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

 Jawher Jerray , Laurent Fribourg
2023
Pré-publication, Document de travail hal-04142766v1
Image document

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 (ADHS 2021), Jul 2021, Brussels, Belgium. pp.139-144, ⟨10.1016/j.ifacol.2021.08.488⟩
Communication dans un congrès hal-03249763v1

Time4sys2imi: A tool to formalize real-time system models under uncertainty

 Étienne André , Jawher Jerray , Sahar Mhiri
16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Robert M. Hierons; Mohamed Mosbah, Oct 2019, Hammamet, Tunisia
Communication dans un congrès hal-02234990v1
Image document

Integration of heterogeneous components for co-simulation

 Jawher Jerray , Rabéa Ameur-Boulifa , Ludovic Apvrille
2023
Pré-publication, Document de travail hal-04104340v1
Page :