Time Sensitive Control of Air Combat Operations.

Abstract

Research on the replanning problem in Air Combat operations is reported. The approach is based on an extension of temporal logic in which both intervals and time points are considered. The Point-interval Temporal Logic (PITL) axiomatic formulation leads to algorithms that unify the temporal statements to form a Point Graph with an underlying Petri Net. Petri Net based algorithms are then used to analyze the graph to determine its properties. An inference engine is then used to determine whether replanning solutions exist. Two versions of the approach have been Implemented. TEMPER 1 is used for a qualitative analysis of the temporal statements (sequencing of events) while TEMPER 2 accommodates time stamps and interval durations for a quantitative analysis. Both algorithms deal with the Single Time Line, Single Future case. Two examples are presented to illustrate the approach.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1998
Accession Number
ADA346210

Entities

People

  • Alexander H. Lewis

Organizations

  • George Mason University

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Artificial Intelligence
  • Artificial Satellites
  • Black Holes
  • Combat Operations
  • Computer Science
  • Databases
  • Ground Control Stations
  • Inference Engines
  • Intervals
  • Language
  • Petri Nets
  • Satellite Imaging
  • Time Intervals
  • Trajectories
  • Warfare

Readers

  • Artificial Intelligence
  • Computational Modeling and Simulation

Technology Areas

  • AI & ML
  • AI & ML - Bayesian Inference