52 citations · 60 across the 27 of their papers we have counts for
6 papers · 1 filter
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…