Amaury Hayat

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 22

Top Topics

Theorem Proving

Top Venues

IEEE Trans. Autom. Control.

Eur. J. Control

IFAC J. Syst. Control.

Publications

Amaury Hayat, Yating Hu, Peipei Shang
PI Control for the Cascade Channels Modeled by General Saint-Venant Equations. IEEE Trans. Autom. Control. 69 (8) (2024)
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
Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs. CoRR (2024)
Georges Bastin, Jean-Michel Coron, Amaury Hayat
Diffusion and robustness of boundary feedback stabilization of hyperbolic systems. Math. Control. Signals Syst. 35 (1) (2023)
Amaury Hayat, Benedetto Piccoli, Shengquan Xiang
Stability of multi-population traffic flows. Networks Heterog. Media 18 (2) (2023)
Amaury Hayat, Benedetto Piccoli, Sydney Truong
Dissipation of Traffic Jams Using a Single Autonomous Vehicle on a Ring Road. SIAM J. Appl. Math. 83 (3) (2023)
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
Traffic smoothing using explicit local controllers. CoRR (2023)
Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix
HyperTree Proof Search for Neural Theorem Proving. CoRR (2022)
Saleh Albeaik, Alexandre M. Bayen, Maria Teresa Chiri, Xiaoqian Gong, Amaury Hayat, Nicolas Kardous, Alexander Keimer, Sean T. McQuade, Benedetto Piccoli, Yiling You
Limitations and Improvements of the Intelligent Driver Model (IDM). SIAM J. Appl. Dyn. Syst. 21 (3) (2022)
Nicolas Kardous, Amaury Hayat, Sean T. McQuade, Xiaoqian Gong, Sydney Truong, Tinhinane Mezair, Paige Arnold, Ryan Delorenzo, Alexandre M. Bayen, Benedetto Piccoli
A rigorous multi-population multi-lane hybrid traffic model and its mean-field limit for dissipation of waves via autonomous vehicles. CoRR (2022)
Guillaume Lample, Timothée Lacroix, Marie-Anne Lachaux, Aurélien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet
HyperTree Proof Search for Neural Theorem Proving. NeurIPS (2022)
François Charton, Amaury Hayat, Sean T. McQuade, Nathaniel J. Merrill, Benedetto Piccoli
A deep language model to predict metabolic network equilibria. CoRR (2021)
Georges Bastin, Jean-Michel Coron, Amaury Hayat
Feedforward boundary control of 2×2 nonlinear hyperbolic systems with application to Saint-Venant equations. Eur. J. Control 57 (2021)
Amaury Hayat
Global exponential stability and Input-to-State Stability of semilinear hyperbolic systems for the L2 norm. Syst. Control. Lett. 148 (2021)
Jonathan W. Lee, George Gunter, Rabie A. Ramadan, Sulaiman Almatrudi, Paige Arnold, John Aquino, William Barbour, Rahul Bhadani, Joy Carpio, Fang-Chieh Chou, Marsalis 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
Integrated Framework of Vehicle Dynamics, Instabilities, Energy Models, and Sparse Flow Smoothing Controllers. CoRR (2021)
Saleh Albeaik, Alexandre M. Bayen, Maria Teresa Chiri, Xiaoqian Gong, Amaury Hayat, Nicolas Kardous, Alexander Keimer, Sean T. McQuade, Benedetto Piccoli, Yiling You
Limitations and Improvements of the Intelligent Driver Model (IDM). CoRR (2021)
François Charton, Amaury Hayat, Guillaume Lample
Learning advanced mathematical computations from examples. ICLR (2021)
Amaury Hayat
Boundary stabilization of 1D hyperbolic systems. Annu. Rev. Control. 52 (2021)
François Charton, Amaury Hayat, Guillaume Lample
Deep Differential System Stability - Learning advanced computations from examples. CoRR (2020)
Jean-Michel Coron, Amaury Hayat
PI Controllers for 1-D Nonlinear Transport Equation. IEEE Trans. Autom. Control. 64 (11) (2019)
Amaury Hayat, Peipei Shang
A quadratic Lyapunov function for Saint-Venant equations with arbitrary friction and space-varying slope. Autom. 100 (2019)
Georges Bastin, Jean-Michel Coron, Amaury Hayat, Peipei Shang
Boundary feedback stabilization of hydraulic jumps. IFAC J. Syst. Control. 7 (2019)
Amaury Hayat
Norm. SIAM J. Control. Optim. 57 (6) (2019)