activity
20172022
most citedDissipation of stop-and-go waves via control of autonomous vehicles: Field experiments

814 citations · 915 across the 6 of their papers we have counts for

collaborators
Showing cs.SCShow all

1 paper · 1 filter

cs.SC2018★ 2 cited

Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations

Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton +1

Reachability analysis is a fundamental problem for safety verification and falsification of Cyber-Physical Systems (CPS) whose dynamics follow physical laws usually represented as…