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 2025Show all

9 papers · 1 filter

eess.SY2025

Just Few States are Enough: Randomized Sparse Feedback for Stability of Dynamical Systems

Zaid Hadach, Hajar El Hammouti, El Houcine Bergou +1

While classical control theory assumes that the controller has access to measurements of the entire state (or output) at every time instant, this paper investigates a setting where…

nlin.PS2025

Turing Patterns in a Morphogenetic Model with Single Regulatory Function

Mohamed Amine Ouchdiri, Saad Benjelloun, Adnane Saoud +1

Confirming Turing's theory of morphogens in developmental processes is challenging, and synthetic biology has opened new avenues for testing Turing's predictions. Synthetic mammali…

eess.SY2025

Maximally Resilient Controllers under Temporal Logic Specifications

Youssef Ait Si, Ratnangshu Das, Negar Monir +3

In this paper, we consider the notion of resilience of a dynamical system, defined by the maximum disturbance a controlled dynamical system can withstand while satisfying given tem…

math.OC2025

An optimal-control framework for reaction diffusion systems with application to synthetic developmental biology

Mohamed Amine Ouchdiri, Hamza Faquir, Saad Benjelloun +3

Reaction-diffusion systems offer a powerful framework for understanding self-organized patterns in biological systems, yet controlling these patterns remains a significant challeng…

eess.SY2025

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach

Negar Monir, Youssef Ait Si, Ratnangshu Das +3

We propose a resilience-based framework for computing feasible assume-guarantee contracts that ensure the satisfaction of temporal specifications in interconnected discrete-time sy…

math.OC2025

Nagumo Theorem For Constrained Differential Inclusions: Transversal Intersection and Set-Map Regularity

Olayo Reynaud, Mohamed Maghenem, Adnane Saoud +2

We study a solution-independent condition certifying forward invariance of closed sets for constrained continuous-time systems. The proposed condition is only necessary in general,…