Verification of an Autonomous Reliable Wingman Using CCL

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2004
Accession Number
ADA464849

Entities

People

  • Eric Klavins
  • Stephen Waydo

Organizations

  • California Institute of Technology

Tags

Communities of Interest

  • Air Platforms
  • Autonomy

DTIC Thesaurus Topics

  • Abstracts
  • Aircrafts
  • Command And Control
  • Computer Science
  • Control Systems
  • Coordinate Systems
  • Data Links
  • Electrical Engineering
  • Fighter Aircraft
  • Flight
  • Formation Flight
  • Jet Training Aircraft
  • Language
  • Orientation (Direction)
  • Specifications
  • Standards
  • Verification

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Radio communications and signal processing.
  • Unmanned Aerial System (UAS) Autonomous Capabilities and Mission Reconnaissance.

Technology Areas

  • Autonomy