Article-Journal

Generalisation of Farkas' lemma beyond closedness: a constructive approach via Fenchel-Rockafellar duality

Farkas' lemma is an ubiquitous tool in optimisation, as it provides necessary and sufficient conditions to have $b \in A(P)$, where $P$ is a closed convex cone, $A$ is a …

camille-pouchol

Generalized backstepping and Gramian methods for spectral assignability in infinite dimension

In this article, we explore connections between two stabilization methods: Gramian stabilization and backstepping (and more generally F-equivalence). These methods are related to …

ludovick-gagnon
Computer-assisted proofs of non-reachability for linear parabolic PDEs under bounded control constraints featured image

Computer-assisted proofs of non-reachability for linear parabolic PDEs under bounded control constraints

Analysing reachability associated to a control system is a subtle issue, especially for infinitedimensional dynamics, and when controls are subject to bounded constraints. We …

ivan-hasenohr

An abstract setting for the Fredholm backstepping transformation: self-adjoint case

In this paper we address the existence of a Fredholm backstepping transformation for self-adjoint operators A. We prove, under assumptions on the control operator B and A, that …

ludovick-gagnon

Constructive reachability for linear control problems under conic constraints

Motivated by applications requiring sparse or nonnegative controls, we investigate reachability properties of linear infinite-dimensional control problems under conic constraints. …

camille-pouchol

Computer-assisted proof of non-reachability for linear systems in finite dimension

It is customary to design a controlled system in such a way that, whatever the chosen control satisfying the constraints, the system does not enter so-called unsafe regions. This …

ivan-hasenohr

Fredholm backstepping for critical operators and application to rapid stabilization for the linearized water waves

Fredholm-type backstepping transformation, introduced by Coron and Lü, has become a powerful tool for rapid stabilization with fast development over the last decade. Its strength …

ludovick-gagnon
Approximate control of parabolic equations with on-off shape controls by Fenchel duality featured image

Approximate control of parabolic equations with on-off shape controls by Fenchel duality

We consider the internal control of linear parabolic equations through on-off shape controls, with a prescribed maximal measure. We establish small-time approximate controllability …

camille-pouchol

A quantitative analysis of Koopman operator methods for system identification and predictions

We give convergence and cost estimates for a data-driven system identification method: given an unknown dynamical system, the aim is to recover its vector field and its flow from …

avatar
Christophe Zhang

Fredholm transformation on Laplacian and rapid stabilization for the heat equation

We study the rapid stabilization of the heat equation on the 1-dimensional torus using the backstepping method with a Fredholm transformation. We prove that, under some assumption …

ludovick-gagnon