12 papers
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
Boundary controllers have been recently proposed in the literature, via modal decomposition, to achieve stabilization of linear parabolic equations in two and three dimension…
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…