52 citations · 60 across the 27 of their papers we have counts for
30 papers
Invariance is Compositional for Continuous-time Systems: From Sleekness to Lebesgue Density
Othman Cherkaoui Dekkaki, Sadek Belamfedel Alaoui, Olayo Reynaud +3
This work establishes the first bidirectional compositional invariance result: robust forward invariance of a global Cartesian product set is shown to be equivalent to robust forwa…
Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems
Adnane Saoud, Anas Makdesi, Mohamed Maghenem +2
In this paper, we introduce the approximate strong upper alternating simulation (ASUAS), a new behavioral relation for transition systems. Building on this relation, we construct u…
H-ISS Analysis and Boundary Control Design for Coupled Linear ODEs and Hyperbolic PDEs
Franthiescolly Vieira de Carvalho, Daniel Coutinho, Gustavo de Andrade +2
This paper considers the general problem of the design of boundary controllers for distributed parameter systems. The control objectives are the asymptotic stability of the closed-…
Certified Reachable Sets for Nonlinear Reaction--Diffusion Systems
Mohamed Amine Ouchdiri, Mohamed Maghenem, Saad Benjelloun +1
Reachability analysis for dynamical systems seeks to compute a set containing all reachable states at a given time. Compared to ordinary differential equations (ODEs), the analysis…
Spectral Boundary Observer for Counter-Flow Heat Exchangers
Mohamed Camil Belhadjoudja, Mohamed Maghenem, Emmanuel Witrant
We consider a system of two coupled first-order linear hyperbolic partial differential equations modeling heat transport in a counter-flow heat exchanger: one equation describes th…
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…
On the Perturbed Projection-Based Distributed Gradient-Descent Algorithm: A Fully-Distributed Adaptive Redesign
Tarek Bazizi, Mohamed Maghenem, Paolo Frasca +2
In this work, we revisit a classical distributed gradient-descent algorithm, introducing an interesting class of perturbed multi-agent systems. The state of each subsystem represen…
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…
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,…
Stabilization of Quasilinear Parabolic Equations by Cubic Feedback at Boundary with Estimated Region of Attraction
Mohamed Camil Belhadjoudja, M Maghenem, E Witrant +1
For quasilinear parabolic partial differential equations (PDEs) that exhibit finite-time blow up in open loop, i.e., under null boundary conditions, we provide an estimate of the r…
Boundary Control for Wildfire Mitigation
Mohamed Camil Belhadjoudja, Mohamed Maghenem, Emmanuel Witrant +1
In this paper, we propose a feedback control strategy to protect vulnerable areas from wildfires. We consider a system of coupled partial differential equations (PDEs) that models…
Boundary Stabilization of Quasilinear Parabolic PDEs that Blow Up in Open Loop for Arbitrarily Small Initial Conditions
M C Belhadjoudja, M Maghenem, E Witrant +1
We propose a novel framework for stabilization, with an estimate of the region of attraction, of quasilinear parabolic partial differential equations (PDEs) that exhibit finite-tim…
Inverse Optimal Cardano-Lyapunov Feedback for PDEs with Convection
Mohamed Camil Belhadjoudja, Miroslav Krstic, Mohamed Maghenem +1
We consider the problem of inverse optimal control design for systems that are not affine in the control. In particular, we consider some classes of partial differential equations…
From Sontag s to Cardano-Lyapunov Formula for Systems Not Affine in the Control: Convection-Enabled PDE Stabilization
Mohamed Camil Belhadjoudja, Miroslav Krstic, Mohamed Maghenem +1
We propose the first generalization of Sontag s universal controller to systems not affine in the control, particularly, to PDEs with boundary actuation. We assume that the system…
Adaptive Boundary Control of the Kuramoto-Sivashinsky Equation Under Intermittent Sensing
Mohamed Camil Belhadjoudja, Mohamed Maghenem, Emmanuel Witrant +1
We study in this paper boundary stabilization, in the L2 sense, of the perturbed Kuramoto-Sivashinsky (KS) equation subject to intermittent sensing. We assume that we measure the s…
Global Uniform Ultimate Boundedness of Semi-Passive Systems Interconnected over Directed Graphs
Anes Lazri, Mohamed Maghenem, Elena Panteley +1
We analyse the solutions of networked heterogeneous nonlinear systems. We assume that the closed-loop interconnected systems form a network with an underlying connected directed gr…
On the Intelligent Proportional Controller Applied to Linear Systems
Mohamed Camil Belhadjoudja, Mohamed Maghenem, Emmanuel Witrant
We analyze in this paper the effect of the well known intelligent proportional controller on the stability of linear control systems. Inspired by the literature on neutral time del…
Reconstructing Indistinguishable Solutions Via Set-Valued KKL Observer
Pauline Bernard, Mohamed Maghenem
KKL observer design consists in finding a smooth change of coordinates transforming the system dynamics into a linear filter of the output. The state of the original system is then…
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…
On a Strong Robust-Safety Notion for Differential Inclusions
Mohamed Maghenem, Diana Karaki
A dynamical system is strongly robustly safe provided that it remains safe in the presence of a continuous and positive perturbation, named robustness margin, added to both the arg…
A Converse Robust-Safety Theorem for Differential Inclusions
Mohamed Maghenem, Masoumeh Ghanbarpour
This paper establishes the equivalence between robust safety and the existence of a barrier function certificate for differential inclusions. More precisely, for a robustly-safe di…
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…
Singular-Perturbations-Based Analysis of Dynamic Consensus in Directed Networks of Heterogeneous Nonlinear Systems
Mohamed Maghenem, Elena Panteley, Antonio Loria
We analyze networked heterogeneous nonlinear systems, with diffusive coupling and interconnected over a generic static directed graph. Due to the network's hetereogeneity, complete…
On Observer-based Asymptotic Stabilization of Non-uniformly Observable Systems via Hybrid and Smooth Control: a Case Study
Mohamed Maghenem, William Pasillas-Lépine, Antonio Loría +1
For systems that are not observable at the very equilibrium of interest to be stabilized, output-feedback stabilization is considerably challenging. In this paper we solve this con…