2 citations · 3 across the 6 of their papers we have counts for
6 papers · 1 filter
Invariance is Compositional for Continuous-time Systems: From Sleekness to Lebesgue Density
Othman Cherkaoui Dekkaki, Sadek Belamfedel Alaoui, Olayo Reynaud +3
This work establishes the first bidirectional compositional invariance result: robust forward invariance of a global Cartesian product set is shown to be equivalent to robust forwa…
How to discretize continuous state-action spaces in Q-learning: A symbolic control approach
Sadek Belamfedel Alaoui, Adnane Saoud
Q-learning is widely recognized as an effective approach for synthesizing controllers to achieve specific goals. However, handling challenges posed by continuous state-action space…
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
Sadek Belamfedel Alaoui, Adnane Saoud
This work establishes fundamental principles for verifying contract for interconnected hybrid systems. When system's hybrid arcs conform to the contract for a certain duration but…
Symbolic Models for Interconnected Impulsive Systems
Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap +1
In this paper, we present a compositional methodology for constructing symbolic models of nonlinear interconnected impulsive systems. Our approach relies on the concept of "alterna…
A two dimensional fluid model for TCP/AQM analysis
Sadek Belamfedel Alaoui, Alejandro J. Rojas, Abdelaziz Hmamed +1
This work proposes a new mathematical model for the TCP/AQM system that aims to improve the accuracy of existing fluid models, especially with respect to the sequential events that…
Compositional Approximately Bisimilar Abstractions of Interconnected Systems
Belamfedel Alaoui Sadek, Saharsh, Pushpak Jagtap +1
This paper formulates and studies the concepts of approximate (alternating) bisimulation relations characterizing equivalence relations between interconnected systems and their abs…