首页> 外文OA文献 >Verification of an Autonomous Reliable Wingman using CCL
【2h】

Verification of an Autonomous Reliable Wingman using CCL

机译:使用CCL验证自主可靠Wingman

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

We present a system of two aircraft, one human-piloted and one autonomous, that must coordinate to achieve tasks. The vehicles communicate over two data channels, one high rate link for state data transfer and one low rate link for command messages. We analyze the operation of the system when the high rate link fails and the aircraft must use the low rate link to execute a safe "lost wingman" procedure to increase separation and re-acquire contact. In particular, the protocol is encoded in CCL, the Computation and Control Language, and analyzed using temporal logic. A portion of the verified code is then used to command the unmanned aircraft, while on the human-piloted craft the protocol takes the form of detailed flight procedures. An overview of the implementation for a June, 2004 flight test is also presented.
机译:我们提出了一种由两架飞机组成的系统,其中一架为人类驾驶,另一架为自动驾驶,必须协调才能完成任务。车辆通过两个数据通道进行通信,一个高速率链接用于状态数据传输,一个低速率链接用于命令消息。当高速率链路发生故障并且飞机必须使用低速率链路执行安全的“失落的机翼”程序以增加间隔并重新获得联系时,我们将分析系统的运行情况。特别是,该协议以CCL(计算和控制语言)进行编码,并使用时间逻辑进行分析。然后,一部分经过验证的代码用于指挥无人驾驶飞机,而在人类驾驶的飞船上,协议采用详细的飞行程序的形式。还介绍了2004年6月飞行测试的实施情况。

著录项

  • 作者

    Waydo Stephen; Klavins Eric;

  • 作者单位
  • 年度 2006
  • 总页数
  • 原文格式 PDF
  • 正文语种 {"code":"en","name":"English","id":9}
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号