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 math.OCShow all

8 papers · 1 filter

math.OC2026

How Much Spatial Control Is Enough? Subdomain Optimal Control of Reaction-Diffusion Systems in Synthetic Developmental Biology

Mohamed Amine Ouchdiri, Hamza Faquir, Saad Benjelloun +1

Reaction--diffusion systems can produce spatial patterns such as stripes and spots by diffusion-driven instability. In synthetic developmental biology, such patterns are engineered…

math.OC2026

A Trajectory-Based Approach to Controlled Invariance and Recursively Feasible MPC

Emmanuel Junior Wafo Wembe, Adnane Saoud

In this paper, we revisit the computation of controlled invariant sets for linear discrete-time systems through a trajectory-based viewpoint. We begin by introducing the notion of…

math.OC2026

Stabilization of the -D and -D Heat Equation via Modal Decomposition

Mohamed Amine Ouchdiri, Mohamed-Camil Belhadjoudja, Mohamed Maghenem +2

Modal decomposition has been used recently to achieve boundary stabilization of linear parabolic equations in the norm, in two and three dimensions. In one dimension, e…

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…

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,…

math.OC2023

Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems

Adnane Saoud, Mohamed Maghenem, Antonio Loría +1

We propose a framework to analyze stability for a class of linear non-autonomous hybrid systems, where the continuous evolution of solutions is governed by an ordinary differential…

math.OC2022★ 2 cited

Sufficient Conditions for Robust Safety in Differential Inclusions Using Barrier Functions

Mohamed Maghenem, Masoumeh Ghanbarpour, Adnane Saoud

In this brief paper we introduce a robust-safety notion for differential inclusions, and we propose a general framework to certify such a notion in terms of barrier functions. Whil…

math.OC2019

A symbolic approach to the self-triggered design for networked control systems

Kazumune Hashimoto, Adnane Saoud, Masako Kishida +2

In this paper, we investigate novel self-triggered controllers for nonlinear control systems with reachability and safety specifications. To synthesize the self-triggered controlle…