activity
20212026
most citedHyperTree Proof Search for Neural Theorem Proving

25 citations · 47 across the 19 of their papers we have counts for

collaborators
Showing eess.SYShow all

5 papers · 1 filter

eess.SY2024★ 7 cited

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

Jonathan W. Lee, Han Wang, Kathy Jang +61

The CIRCLES project aims to reduce instabilities in traffic flow, which are naturally occurring phenomena due to human driving behavior. These "phantom jams" or "stop-and-go waves,…

eess.SY2023★ 3 cited

Traffic smoothing using explicit local controllers

Amaury Hayat, Arwa Alanqary, Rahul Bhadani +16

The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automat…

eess.SY2022★ 8 cited

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 +7

In this paper, a multi-lane multi-population microscopic model, which presents stop and go waves, is proposed to simulate traffic on a ring-road. Vehicles are divided between human…

eess.SY2021

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

Jonathan W. Lee, George Gunter, Rabie Ramadan +25

This work presents an integrated framework of: vehicle dynamics models, with a particular attention to instabilities and traffic waves; vehicle energy models, with particular atten…

eess.SY2021★ 2 cited

Limitations and Improvements of the Intelligent Driver Model (IDM)

Saleh Albeaik, Alexandre Bayen, Maria Teresa Chiri +7

This contribution analyzes the widely used and well-known "intelligent driver model (briefly IDM), which is a second order car-following model governed by a system of ordinary diff…