nonlinear hybrid systems / transcendental solutions / sound verification algorithm / airport protocols / hybrid systems / Numerical simulation algorithms / verification algorithm / ground transportation / real-time properties / aircraft control applications / online trajectory prediction / verification tool / important and complex applications / /
Organization
National Aeronautics and Space Administration / Carnegie Mellon University / Pittsburgh / Berkman Faculty / Edmund M. Clarke Computer Science Department / National Science Foundation / /
Person
Platzer Clarke / Edmund M. Clarke / /
Position
model this communication / proof assistant / simplistic altitude controller / flight controller / controller / simplified flight controller / /
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study? Andr´e Platzer and Edmund M. Clarke Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Abstract Aircraft collision