default search action
Amaury Hayat
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]Amaury Hayat
, Yating Hu
PI Control for the Cascade Channels Modeled by General Saint-Venant Equations. IEEE Trans. Autom. Control. 69(8): 4974-4987 (2024) - [i9]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
Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs. CoRR abs/2402.17043 (2024) - [i8]Alberto Alfarano, François Charton, Amaury Hayat:
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers. CoRR abs/2410.08304 (2024) - 2023
- [j11]Georges Bastin, Jean-Michel Coron, Amaury Hayat
Diffusion and robustness of boundary feedback stabilization of hyperbolic systems. Math. Control. Signals Syst. 35(1): 159-185 (2023) - [j10]Amaury Hayat
Stability of multi-population traffic flows. Networks Heterog. Media 18(2): 877-905 (2023) - [j9]Amaury Hayat
Dissipation of Traffic Jams Using a Single Autonomous Vehicle on a Ring Road. SIAM J. Appl. Math. 83(3): 909-937 (2023) - [i7]Amaury Hayat
Traffic smoothing using explicit local controllers. CoRR abs/2310.18151 (2023) - 2022
- [j8]Saleh Albeaik, Alexandre M. Bayen, Maria Teresa Chiri, Xiaoqian Gong, Amaury Hayat
Limitations and Improvements of the Intelligent Driver Model (IDM). SIAM J. Appl. Dyn. Syst. 21(3): 1862-1892 (2022) - [c2]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 - [i6]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 abs/2205.06913 (2022) - [i5]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 abs/2205.11491 (2022) - 2021
- [j7]Amaury Hayat
Boundary stabilization of 1D hyperbolic systems. Annu. Rev. Control. 52: 222-242 (2021) - [j6]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: 41-53 (2021) - [j5]Amaury Hayat
Global exponential stability and Input-to-State Stability of semilinear hyperbolic systems for the L2 norm. Syst. Control. Lett. 148: 104848 (2021) - [c1]François Charton, Amaury Hayat, Guillaume Lample:
Learning advanced mathematical computations from examples. ICLR 2021 - [i4]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 abs/2104.02583 (2021) - [i3]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:
Integrated Framework of Vehicle Dynamics, Instabilities, Energy Models, and Sparse Flow Smoothing Controllers. CoRR abs/2104.11267 (2021) - [i2]François Charton, Amaury Hayat, Sean T. McQuade, Nathaniel J. Merrill, Benedetto Piccoli:
A deep language model to predict metabolic network equilibria. CoRR abs/2112.03588 (2021) - 2020
- [i1]François Charton
Deep Differential System Stability - Learning advanced computations from examples. CoRR abs/2006.06462 (2020)
2010 – 2019
- 2019
- [j4]Amaury Hayat
A quadratic Lyapunov function for Saint-Venant equations with arbitrary friction and space-varying slope. Autom. 100: 52-60 (2019) - [j3]Georges Bastin
Boundary feedback stabilization of hydraulic jumps. IFAC J. Syst. Control. 7: 100026 (2019) - [j2]Amaury Hayat
Boundary Stability of 1-D Nonlinear Inhomogeneous Hyperbolic Systems for the C1 Norm. SIAM J. Control. Optim. 57(6): 3603-3638 (2019) - [j1]Jean-Michel Coron
PI Controllers for 1-D Nonlinear Transport Equation. IEEE Trans. Autom. Control. 64(11): 4570-4582 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-19 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: