activity
20192026
most citedCompositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach

18 citations · 52 across the 39 of their papers we have counts for

collaborators
Showing 2024Show all

6 papers · 1 filter

eess.SP2024

Energy Efficient Aerial RIS: Phase Shift Optimization and Trajectory Design

Hajar El Hammouti, Adnane Saoud, Asma Ennahkami +1

Reconfigurable Intelligent Surface (RIS) technology has gained significant attention due to its ability to enhance the performance of wireless communication systems. The main advan…

cs.RO2024

Scenario Convex Programs for Dexterous Manipulation under Modeling Uncertainties

Berk Altiner, Adnane Saoud, Alex Caldas +1

This paper proposes a new framework to design a controller for the dexterous manipulation of an object by a multi-fingered hand. To achieve a robust manipulation and wide range of…

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

On Robust Controlled Invariants for Continuous-time Monotone Systems

Emmanuel Junior Wafo Wembe, Adnane Saoud

This paper delves into the problem of computing robust controlled invariants for monotone continuous-time systems, with a specific focus on lower-closed specifications. We consider…

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…

eess.SY2024★ 1 cited

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…