Finite State Machines for Creating, Evaluating, and Refining Air-to-Air Combat Tactics

Abstract

State-Machine Autonomy System: *Developed for unmanned spacecraft, -APL internal and NASA funding. *Visual, building-block design environment. *Automated verification, -Prove that specification requirements are met, -Provide counter-examples if not met. *Upload to spacecraft and execute, -Input file only; not a new executable. *Real time visual feedback.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2008
Accession Number
ADA490111

Entities

People

  • Jay Moore
  • Michael Pekala
  • Russell T Turner

Organizations

  • Johns Hopkins University

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Energy and Power Technologies
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Air Power
  • Aircrafts
  • Electronic Warfare
  • Flight Training
  • Information Operations
  • Military Aviation
  • Military Operations
  • Operations Research
  • Physics Laboratories
  • Refining
  • Simulations
  • Spacecraft
  • Training
  • Unmanned
  • Unmanned Spacecraft
  • Warfare

Fields of Study

  • Engineering

Readers

  • Mathematical Modeling and Probability Theory.
  • Software Engineering
  • Unmanned Aerial System (UAS) Autonomous Capabilities and Mission Reconnaissance.

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control
  • Autonomy - UAVs
  • Space
  • Space - Spacecraft Maneuvers