1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
Temporal Logic Resilience for Dynamical Systems
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
We consider the notion of resilience for cyber-physical systems, that is, the ability of the system to withstand adverse events while maintaining acceptable functionality. We use f…
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…