activity
20172026
most citedSufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions

52 citations · 60 across the 27 of their papers we have counts for

collaborators
Showing math.OCShow all

17 papers · 1 filter

math.OC2026

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

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

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…

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

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…

math.OC2023

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…

math.OC2023

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…

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

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…

math.OC2022

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…

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.OC2022

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…

math.OC2022★ 2 cited

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…

math.OC2022

Necessary and Sufficient Conditions for the Nonincrease of Scalar Functions Along Solutions to Constrained Differential Inclusions

Mohamed Maghenem, Alessandro Melis, Ricardo G. Sanfelice

In this paper, we propose necessary and sufficient conditions for a scalar function to be nonincreasing along solutions to general differential inclusions with state constraints. T…

math.OC2022

On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions

Mohamed Maghenem, Ricardo. G. Sanfelice

This paper presents converse theorems for safety in terms of barrier functions for unconstrained continuous-time systems modeled as differential inclusions. Via a counterexample, w…

math.OC2019★ 52 cited

Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions

Mohamed Maghenem, Ricardo G. Sanfelice

This paper studies set invariance and contractivity in hybrid systems modeled by hybrid inclusions using barrier functions. After introducing the notion of a multiple barrier funct…