Publications
2023
- , ,
, ,
, and .
Convergence and robustness of the Hopf oscillator applied to an ABLE exoskeleton: reachability analysis and experimentations. MSR'23
, November 2023.
[PDF(author version)] [BibTeX] - , and . Integration of Heterogeneous Components for Co-Simulation. ICSOFT’23
, SciTePress, pages 637-644, July 2023.
DOI: 10.5220/0012134800003538 [PDF(author version)] [BibTeX]
2022
- , and . Using Euler's Method to Prove the Convergence of Neural Networks. IEEE Control Systems Letters
, IEEE, pages 3224--3228, June 2022.
DOI: 10.1109/LCSYS.2022.3184040 [PDF(author version)] [BibTeX] - , and . Asymptotic error in Euler’s method with a constant step size. European Journal of Control
, Elsevier, pages 100694, June 2022.
DOI: 10.1016/j.ejcon.2022.100694 [PDF(author version)] [BibTeX]
2021
- . ORBITADOR: A tool to analyze the stability of periodical dynamical systems. In Goran Frehse and Matthias Althoff (eds.), ARCH’21
, EasyChair EPiC series in Computing, pages 176-183, July 2021.
DOI: 10.29007/k6xm [PDF] [BibTeX] [Data] - , , , and . Scheduling synthesis for a launcher flight control using parametric stopwatch automata. Fundamenta Informaticæ, IOS Press, pages 31-67, September 2021.
DOI: 10.3233/FI-2021-2065 [PDF(author version)] [BibTeX][Data] - , and . An Approximation of Minimax Control using Random Sampling and Symbolic Computation. In Raphaël Jungers (eds.), ADHS’21, Elsevier, pages 265–270, July 2021.
DOI: 10.1016/j.ifacol.2021.08.509 [PDF] [BibTeX] - and . Determination of limit cycles using stroboscopic set-valued maps. In Raphaël Jungers (eds.), ADHS’21, Elsevier, pages 139-144, July 2021.
DOI: 10.1016/j.ifacol.2021.08.488 [PDF(author version)] [BibTeX] - , and . Robust optimal periodic control using guaranteed Euler's method. In George Chiu (eds.), ACC’21, IEEE, pages 986-991, May 2021.
DOI: 10.23919/ACC50511.2021.9482621 [PDF(author version)] [BibTeX]
2020
- , and . Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). In Goran Frehse and Matthias Althoff (eds.), ARCH’20
, EasyChair EPiC series in Computing, pages 197-208, July 2020.
DOI: 10.29007/l3k2 [PDF(author version)] [BibTeX]
2019
- , and . Time4sys2imi: A tool to formalize real-time system models under uncertainty. In Robert M. Hierons and Mohamed Mosbah (eds.),
ICTAC’19, Springer LNCS, pages 113–123, November 2019.
DOI: 10.1007/978-3-030-32505-3_7 [PDF(author version)] [BibTeX][Data] - , , , and . Parametric schedulability analysis of a launcher flight control system under reactivity constraints. In Jörg Keller and Wojciech Penczek (eds.), ACSD’19, IEEE, pages 13–22, June 2019.
DOI: 10.1109/ACSD.2019.00006 [PDF(author version)] [BibTeX][Data]
Other arXiv documents
2024
- , , and . One-Step Early Stopping Strategy using Neural Tangent Kernel Theory and Rademacher Complexity, November 2024. [PDF(author version)] [BibTeX]
2023
- and . Proving the Convergence to Limit Cycles using Periodically Decreasing Jacobian Matrix Measures, April 2023. [PDF(author version)] [BibTeX]
2020
- , and . Robust optimal control using dynamic programming and guaranteed Euler's method, July 2020. [PDF(author version)] [BibTeX]
- and . Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems, December 2020. [PDF(author version)] [BibTeX]