SA
Sadek Belamfedel Alaoui
cs.SYeess.SYmath.DScs.AImath.OC
On Valency
published · living versionsW_nvz9pekk·v1 · currentpublished
A Matrix-Separation Approach for Stability of Discrete-Time Systems with Time-Varying Delay
with Nabil Echakroune, El Houssaine Tissir
1 version
Preprints & journals
7 papers in the corpus · 2022–2026Invariance is Compositional for Continuous-time Systems: From Sleekness to Lebesgue Density2609.36539v1 · Othman Cherkaoui Dekkaki, Sadek Belamfedel Alaoui, Olayo Reynaud et al.2026 · 0 citationsarXiv
Nagumo Theorem For Constrained Differential Inclusions: Transversal Intersection and Set-Map Regularity2508.20045v4 · Olayo Reynaud, Mohamed Maghenem, Adnane Saoud et al.2025 · 0 citationsarXiv
How to discretize continuous state-action spaces in Q-learning: A symbolic control approach2406.01548v3 · Sadek Belamfedel Alaoui, Adnane Saoud2024 · 3 citationsarXiv
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties2405.07718v1 · Sadek Belamfedel Alaoui, Adnane Saoud2024 · 2 citationsarXiv
Symbolic Models for Interconnected Impulsive Systems2312.17006v1 · Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap et al.2023 · 2 citationsarXiv
A two dimensional fluid model for TCP/AQM analysis2211.10833v1 · Sadek Belamfedel Alaoui, Alejandro J. Rojas, Abdelaziz Hmamed et al.2022 · 1 citationarXiv
Compositional Approximately Bisimilar Abstractions of Interconnected Systems2211.08655v2 · Belamfedel Alaoui Sadek, Saharsh, Pushpak Jagtap et al.2022 · 3 citationsarXiv
Career total: 29 works. 7 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.