Time Sensitive Control of Air Combat Operations.
Final rept. 15 Jan 95-14 Jan 98,
GEORGE MASON UNIV FAIRFAX VA CENTER OFEXCELLENCE IN COMMAND CONTROL COMMUNICATIONS/INTELLIGENCE
Pagination or Media Count:
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.
- Military Operations, Strategy and Tactics
- Operations Research