Formal Intent-Based Trajectory Description Languages for Quadrotor Aircraft

This paper describes a formal language for describing intent of quadrotor aircraft. The aim of this language is to support the prediction of quadrotor trajectories modeling guidance instructions in a compact and univocal manner, enabling to efficiently share trajectory information by several actors. A trajectory computation engine, translating from sentences of this language into a common trajectory is also described. Its use is demonstrated for a complex flight and in real-flight operations.