Safety Verification of Flight Plans of Unmanned Aerial Vehicles Using Barrier Certificates

This paper demonstrate a novel methodology for safety verification of hybrid systems. The methodology uses functions of state termed barrier certificates that guarantee the safety requirement of hybrid systems, instead of computing reachable sets. The barrier certificates can be computed using the sum of squares decomposition and semidefinite programming. The unmanned aerial vehicles which used to perform a given mission and execute the flight plan are modeled by hybrid automata. Barrier certificates are constructed using the software SOSTOOLS for safety verification of flight plans of unmanned aircraft.