814 citations · 915 across the 6 of their papers we have counts for
6 papers
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton +1
Continuous deep learning models, referred to as Neural Ordinary Differential Equations (Neural ODEs), have received considerable attention over the last several years. Despite thei…
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Nathaniel Hamilton, Kyle Dunlap, Taylor T Johnson +1
Reinforcement Learning (RL) has become an increasingly important research area as the success of machine learning algorithms and methods grows. To combat the safety concerns surrou…
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez +2
Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near…
Verification for Machine Learning, Autonomy, and Neural Networks Survey
Weiming Xiang, Patrick Musau, Ayana A. Wild +5
This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereo…
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…
Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments
Raphael E. Stern, Shumo Cui, Maria Laura Delle Monache +11
Traffic waves are phenomena that emerge when the vehicular density exceeds a critical threshold. Considering the presence of increasingly automated vehicles in the traffic stream,…