- Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions
2019/03/02 by Kyle D. Julian, Julian, Kyle D., Shivam Sharma +5 · 2 citations
Computer Science · Engineering · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial intelligence #Artificial neural network #Autonomous Vehicle Technology and Safety #Collision #Collision avoidance #Collision avoidance system #Computer network #Computer science #Computer security #Data mining #FOS: Computer and information sciences #FOS: Electrical engineering #Frame (networking) #Logic in Computer Science (cs.LO) #Lookup table #Markov decision process #Markov process #Process (computing) #Real-time computing #Systems and Control (eess.SY) #Table (database) #electronic engineering #information engineering
- Human Performance Models and Rear-End Collision Avoidance Algorithms
2001/09/01 by Timothy L. Brown, John D. Lee, Daniel V. McGehee · 5 citations
Engineering · Psychology · #Algorithm #Collision #Collision avoidance #Collision avoidance system #Complement (music) #Computer science #Computer security #Engineering #Human-Automation Interaction and Safety #Kinematics #Nonlinear system #Range (aeronautics) #Safety Warnings and Signage #Simple (philosophy) #Simulation #Traffic and Road Safety #Warning system
- A cloud-supported proactive safety decision-making and control system for rear-end collision avoidance in occluded emergency scenarios: Design and joint validation across OEMs
2026/07/25 by Keke Wan, Wei Zhong, Shuyan Li +8
Engineering · #Autonomous Vehicle Technology and Safety #Collision #Collision avoidance #Collision avoidance system #Crash #Hazard #Key (lock) #Original equipment manufacturer #Poison control #Scalability #System safety #Traffic control and management #Vehicle Dynamics and Control Systems