Amaury Hayat

According to our database, Amaury Hayat authored at least 21 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

PI Control for the Cascade Channels Modeled by General Saint-Venant Equations.

Amaury Hayat, Yating Hu, Peipei Shang

IEEE Trans. Autom. Control., August, 2024

Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers.

Alberto Alfarano, François Charton, Amaury Hayat

CoRR, 2024

Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs.

Jonathan W. Lee, Han Wang, Kathy Jang, Amaury Hayat, Matthew R. Bunting, Arwa Alanqary, William Barbour, Zhe Fu, Xiaoqian Gong, George Gunter, Sharon Hornstein, Abdul Rahman Kreidieh, Nathan Lichtlé, Matthew Walter Nice, William A. Richardson, Adit Shah, Eugene Vinitsky, Fangyu Wu, Shengquan Xiang, Sulaiman Almatrudi, Fahd Althukair, Rahul Bhadani, Joy Carpio, Raphaël Chekroun, Eric Cheng, Maria Teresa Chiri, Fang-Chieh Chou, Ryan Delorenzo, Marsalis T. Gibson, Derek Gloudemans, Anish Gollakota, Junyi Ji, Alexander Keimer, Nour Khoudari, Malaika Mahmood, Mikail Mahmood, Hossein Nick Zinat Matin, Sean T. McQuade, Rabie Ramadan, Daniel Urieli, Xia Wang, Yanbing Wang, Rita Xu, Mengsha Yao, Yiling You, Gergely Zachár, Yibo Zhao, Mostafa Ameli, Mirza Najamuddin Baig, Sarah Bhaskaran, Kenneth Butts, Manasi Gowda, Caroline Janssen, John Lee, Liam Pedersen, Riley Wagner, Zimo Zhang, Chang Zhou, Daniel B. Work, Benjamin Seibold, Jonathan Sprinkle, Benedetto Piccoli, Maria Laura Delle Monache, Alexandre M. Bayen

CoRR, 2024

2023

Dissipation of Traffic Jams Using a Single Autonomous Vehicle on a Ring Road.

Amaury Hayat, Benedetto Piccoli, Sydney Truong

SIAM J. Appl. Math., June, 2023

Diffusion and robustness of boundary feedback stabilization of hyperbolic systems.

Georges Bastin, Jean-Michel Coron, Amaury Hayat

Math. Control. Signals Syst., March, 2023

Stability of multi-population traffic flows.

Amaury Hayat, Benedetto Piccoli, Shengquan Xiang

Networks Heterog. Media, 2023

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, Jon F. Davis, Maria Laura Delle Monache, Benjamin Seibold, Alexandre M. Bayen, Jonathan Sprinkle, Daniel B. Work, Benedetto Piccoli

CoRR, 2023

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

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

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

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Global exponential stability and Input-to-State Stability of semilinear hyperbolic systems for the L2 norm.

Amaury Hayat

Syst. Control. Lett., 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

A deep language model to predict metabolic network equilibria.

François Charton, Amaury Hayat, Sean T. McQuade, Nathaniel J. Merrill, Benedetto Piccoli

CoRR, 2021

Integrated Framework of Vehicle Dynamics, Instabilities, Energy Models, and Sparse Flow Smoothing Controllers.

Jonathan W. Lee, George Gunter, Rabie Ramadan, Sulaiman Almatrudi, Paige Arnold, John Aquino, William Barbour, Rahul Bhadani, Joy Carpio, Fang-Chieh Chou, Marsalis T. Gibson, Xiaoqian Gong, Amaury Hayat, Nour Khoudari, Abdul Rahman Kreidieh, Maya Kumar, Nathan Lichtlé, Sean T. McQuade, Brian Q. Nguyen, Megan Ross, Sydney Truong, Eugene Vinitsky, Yibo Zhao, Jonathan Sprinkle, Benedetto Piccoli, Alexandre M. Bayen, Daniel B. Work, Benjamin Seibold

CoRR, 2021

Boundary stabilization of 1D hyperbolic systems.

Amaury Hayat

Annu. Rev. Control., 2021

Learning advanced mathematical computations from examples.

François Charton, Amaury Hayat, Guillaume Lample

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Deep Differential System Stability - Learning advanced computations from examples.

François Charton, Amaury Hayat, Guillaume Lample

CoRR, 2020

2019

PI Controllers for 1-D Nonlinear Transport Equation.

Jean-Michel Coron, Amaury Hayat

IEEE Trans. Autom. Control., 2019

Boundary Stability of 1-D Nonlinear Inhomogeneous Hyperbolic Systems for the C¹ Norm.

Amaury Hayat

SIAM J. Control. Optim., 2019

Boundary feedback stabilization of hydraulic jumps.

Georges Bastin, Jean-Michel Coron, Amaury Hayat, Peipei Shang

IFAC J. Syst. Control., 2019

A quadratic Lyapunov function for Saint-Venant equations with arbitrary friction and space-varying slope.

Amaury Hayat, Peipei Shang

Autom., 2019