Time Sensitive Control of Air Combat Operations
Abstract
The objective of this project is to create new ways of using Temporal Logic to support Dynamic Replanning of Air Tasking Plans. The formal axiomatic system for temporal logic that accommodates both points and intervals, Point-Interval Temporal Logic (PITL), has been implemented in the algorithm called TEMPER-2 (TEMPoral programmER). TEMPER 2 considers quantitative measures of time, namely time stamps and interval lengths. A new software architecture was developed to accommodate the new algorithm. CAESAR II/COA, a software system that transforms automatically influence nets into executable colored Petri nets, has been developed and tested. This integrated model of intelligence and planning tools is capable of generating effects-based courses of action. In addition, the use of occurrence graphs (reachability trees) permits the analysis and evaluation of alternative time phased sequences of actions. An approach for integrating command and control models with communications models has been developed. The objective is the development of an effective method for estimating the connection delays between tasks so that the performance of a C3 system which performs multiple tasks in a real-time distributed computer environment can be predicted. The approach taken is that of two state machines communicating with each other where each machine and their interactions are modeled using colored Petri nets.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 14, 1998
- Accession Number
- ADA388098
Entities
People
- Alexander H. Levis
Organizations
- George Mason University