A quadratic Lyapunov function for Saint-Venant equations with arbitrary friction and space-varying slope. - Amaury Hayat; Peipei Shang (Autom., 2019)

Boundary feedback stabilization of hydraulic jumps. - Georges Bastin; Jean-Michel Coron; Amaury Hayat; Peipei Shang (IFAC J. Syst. Control., 2019)

Boundary Stability of 1-D Nonlinear Inhomogeneous Hyperbolic Systems for the C1 Norm. - Amaury Hayat (SIAM J. Control. Optim., 2019)

PI Controllers for 1-D Nonlinear Transport Equation. - Jean-Michel Coron; Amaury Hayat (IEEE Trans. Autom. Control., 2019)

Deep Differential System Stability - Learning advanced computations from examples. - François Charton; Amaury Hayat; Guillaume Lample (CoRR, 2020)

Learning advanced mathematical computations from examples. - François Charton; Amaury Hayat; Guillaume Lample (ICLR, 2021)

Boundary stabilization of 1D hyperbolic systems. - Amaury Hayat (Annu. Rev. Control., 2021)

Integrated Framework of Vehicle Dynamics, Instabilities, Energy Models, and Sparse Flow Smoothing Controllers. - Jonathan W. Lee; George Gunter; Rabie Ramadan 002; Sulaiman Almatrudi; Paige Arnold; John Aquino; William Barbour; Rahul Bhadani; Joy Carpio; Fang-Chieh Chou; Marsalis T. Gibson; Xiaoqian Gong; et al. (CoRR, 2021)

A deep language model to predict metabolic network equilibria. - François Charton; Amaury Hayat; Sean T. McQuade; Nathaniel J. Merrill; Benedetto Piccoli (CoRR, 2021)

Feedforward boundary control of 2×2 nonlinear hyperbolic systems with application to Saint-Venant equations. - Georges Bastin; Jean-Michel Coron; Amaury Hayat (Eur. J. Control, 2021)

Global exponential stability and Input-to-State Stability of semilinear hyperbolic systems for the L2 norm. - Amaury Hayat (Syst. Control. Lett., 2021)

HyperTree Proof Search for Neural Theorem Proving. - Guillaume Lample; Timothée Lacroix; Marie-Anne Lachaux; Aurélien Rodriguez; Amaury Hayat; Thibaut Lavril; Gabriel Ebner; Xavier Martinet (NeurIPS, 2022)

A rigorous multi-population multi-lane hybrid traffic model and its mean-field limit for dissipation of waves via autonomous vehicles. - Nicolas Kardous; Amaury Hayat; Sean T. McQuade; Xiaoqian Gong; Sydney Truong; Tinhinane Mezair; Paige Arnold; Ryan Delorenzo; Alexandre M. Bayen; Benedetto Piccoli (CoRR, 2022)

Limitations and Improvements of the Intelligent Driver Model (IDM). - Saleh Albeaik; Alexandre M. Bayen; Maria Teresa Chiri; Xiaoqian Gong; Amaury Hayat; Nicolas Kardous; Alexander Keimer; Sean T. McQuade; Benedetto Piccoli; Yiling You (SIAM J. Appl. Dyn. Syst., 2022)

Traffic smoothing using explicit local controllers. - Amaury Hayat; Arwa Alanqary; Rahul Bhadani; Christopher Denaro; Ryan J. Weightman; Shengquan Xiang; Jonathan W. Lee; Matthew R. Bunting; Anish Gollakota; Matthew Walter Nice; Derek Gloudemans; Gergely Zachár; et al. (CoRR, 2023)

Stability of multi-population traffic flows. - Amaury Hayat; Benedetto Piccoli; Shengquan Xiang (Networks Heterog. Media, 2023)

Diffusion and robustness of boundary feedback stabilization of hyperbolic systems. - Georges Bastin; Jean-Michel Coron; Amaury Hayat (Math. Control. Signals Syst., 2023)

Dissipation of Traffic Jams Using a Single Autonomous Vehicle on a Ring Road. - Amaury Hayat; Benedetto Piccoli; Sydney Truong (SIAM J. Appl. Math., 2023)

Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers. - Alberto Alfarano; François Charton; Amaury Hayat (NeurIPS, 2024)

Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs. - Jonathan W. Lee; Han Wang 024; Kathy Jang; Amaury Hayat; Matthew R. Bunting; Arwa Alanqary; William Barbour; Zhe Fu; Xiaoqian Gong; George Gunter; Sharon Hornstein; Abdul Rahman Kreidieh; et al. (CoRR, 2024)

PI Control for the Cascade Channels Modeled by General Saint-Venant Equations. - Amaury Hayat; Yating Hu; Peipei Shang (IEEE Trans. Autom. Control., 2024)

The usefulness of viscosity for the robustness of boundary feedback control of an unstable fluid flow system. - Georges Bastin; Jean-Michel Coron; Amaury Hayat (Autom., 2025)

Boundary stabilization of star-shaped Saint-Venant networks with combined subcritical and supercritical channels. - Amaury Hayat; Yating Hu; Peipei Shang (Syst. Control. Lett., 2025)

A novel approach to feedback control with deep reinforcement learning. - Kala Agbo bidi; Jean-Michel Coron; Amaury Hayat; Nathan Lichtlé (Syst. Control. Lett., 2025)