3 papers
math.OC2026
Nagumo-Type Characterization of Forward Invariance for Constrained Systems
Olayo Reynaud, Mohamed Maghenem, Adnane Saoud +2
This paper proposes a Nagumo-type invariance condition for differential inclusions defined on closed constraint sets. More specifically, given a closed set to render forward invari…
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…