52 citations · 60 across the 27 of their papers we have counts for
9 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…
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…
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…
Certifying the LTL Formula p Until q in Hybrid Systems
Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice
In this paper, we propose sufficient conditions to guarantee that a linear temporal logic (LTL) formula of the form p Until q, denoted by , is satisfied for a hybr…
Observer Based Path Following for Underactuated Marine Vessels in the Presence of Ocean Currents: A Global Approach - With proofs
D. J. W. Belleter, M. Maghenem, C. Paliotta +1
In this paper a solution to the problem of following a curved path in the presence of a constant unknown ocean current disturbance is presented. We introduce a path variable that r…
Observer Based Path Following for Underactuated Marine Vessels in the Presence of Ocean Currents: A Local Approach - With proofs
Mohammed Maghenem, Dennis W. J. Belleter, Claudio Paliotta +1
In this article a solution to the problem of following a curved path in the presence of a constant unknown ocean current disturbance is presented. The path is parametrised by a pat…