首页>
外国专利>
AUTOMATED AIRCRAFT INTENT GENERATION PROCESS BASED ON SPECIFICATIONS EXPRESSED IN FORMAL LANGUAGES
AUTOMATED AIRCRAFT INTENT GENERATION PROCESS BASED ON SPECIFICATIONS EXPRESSED IN FORMAL LANGUAGES
展开▼
机译:基于形式化语言规范的自动飞机意图生成过程
展开▼
页面导航
摘要
著录项
相似文献
摘要
The process is based on specifications expressed in a first formal language, preferably LTL, and in a second formal language, used to describe automated aircraft intent generation, preferably AIDL. Motion primitives and position location of an aircraft are calculated and represented in the second formal language. Information based on inputs from the aircraft performance model, an environmental model, a flight dynamic model and the motion primitives is collected to initialize a maneuver automaton. Inputs from a flight plan instructions, a user preference indications and operational context indications are collected and represented the first formal language. The maneuver automaton instructions are combined with the inputs represented in the first formal language to form a product automaton expressed in the first formal language with the trajectory that best meets a predetermined trajectory specification, that will be evaluated and reiterated if it is out of the predetermined range of values.
展开▼