Publications

Camille Pouchol, Emmanuel Trélat, Christophe Zhang (2026). Generalisation of Farkas' lemma beyond closedness: a constructive approach via Fenchel-Rockafellar duality. ArXiv preprint.

Ludovick Gagnon, Christophe Zhang (2026). Generalized backstepping and Gramian methods for spectral assignability in infinite dimension. HAL preprint.

Ivan Hasenohr, Camille Pouchol, Yannick Privat, Christophe Zhang (2025). Computer-assisted proofs of non-reachability for linear parabolic PDEs under bounded control constraints.

Ludovick Gagnon, Amaury Hayat, Swann Marx, Shengquan Xiang, Christophe Zhang (2025). An abstract setting for the Fredholm backstepping transformation: self-adjoint case.

Camille Pouchol, Emmanuel Trelat, Christophe Zhang (2024). Constructive reachability for linear control problems under conic constraints.

Ivan Hasenohr, Camille Pouchol, Yannick Privat, Christophe Zhang (2024). Computer-assisted proof of non-reachability for linear systems in finite dimension. SICON.

Ludovick Gagnon, Amaury Hayat, Shengquan Xiang, Christophe Zhang (2023). Fredholm backstepping for critical operators and application to rapid stabilization for the linearized water waves. Annales de l’Institut Fourier.

Camille Pouchol, Emmanuel Trélat, Christophe Zhang (2022). Approximate control of parabolic equations with on-off shape controls by Fenchel duality. Ann. IHP C.

Christophe Zhang, Enrique Zuazua (2022). A quantitative analysis of Koopman operator methods for system identification and predictions. CRM.

Ludovick Gagnon, Amaury Hayat, Shengquan Xiang, Christophe Zhang (2021). Fredholm transformation on Laplacian and rapid stabilization for the heat equation. JFA.