no code implementations • 30 Mar 2024 • Mohamed Camil Belhadjoudja, Miroslav Krstic, Mohamed Maghenem, Emmanuel Witrant
In particular, we consider some classes of partial differential equations (PDEs) with quadratic convection and counter-convection, for which the L2 norm is a control Lyapunov function (CLF) whose derivative has either a depressed cubic or a quadratic dependence in the boundary control input.
no code implementations • 26 Mar 2024 • Mohamed Camil Belhadjoudja, Miroslav Krstic, Mohamed Maghenem, Emmanuel Witrant
We propose the first generalization of Sontag s universal controller to systems not affine in the control, particularly, to PDEs with boundary actuation.
no code implementations • 26 Mar 2024 • Mohamed Camil Belhadjoudja, Mohamed Maghenem, Emmanuel Witrant, Christophe Prieur
In particular, when the forcing term is null, we guarantee global exponential stability of the origin.
no code implementations • 11 Jun 2021 • 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 $p \mathcal{U} q$, is satisfied for a hybrid system.