Assured Collision Avoidance for Learned Controllers: A Case Study of ACAS Xu

Keyphrases

• Neural Network 100%
• Controller 100%
• Collision Avoidance 100%
• ACAS X 100%
• System Behavior 66%
• Nonlinearity 33%
• Autonomous Systems 33%
• Comprehensive Simulation 33%
• System State 33%
• Intruder 33%
• Complex Dynamical Systems 33%
• Verification Process 33%
• Safety Verification 33%
• Unmanned Aircraft 33%
• Reachable Set 33%
• Operational Safety 33%
• Neural Network Verification 33%
• Varying Working Conditions 33%
• Airborne Collision Avoidance System 33%
• Neural Network Control Systems 33%
• System Dynamics Analysis 33%
• Operational Interaction 33%

Engineering

• System Behavior 100%
• Collision Avoidance 100%
• Applicability 50%
• Systems Dynamics 50%
• Adaptability 50%
• Nonlinearity 50%
• Operational Condition 50%
• Autonomous System 50%
• System State 50%
• Unmanned Aircraft 50%
• Unmanned Aircraft System 50%
• Safety Verification 50%