2 citations · 3 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
eess.SY2024
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…
eess.SY2024
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…