A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs

2015 ◽  
Vol 45 (3) ◽  
pp. 350-361 ◽  
Author(s):  
Amrith Dhananjayan ◽  
Kiam Tian Seow
Keyword(s):  
Real Time ◽  
Discrete Event ◽  
Discrete Event Control ◽  
Transition Graphs

A framework for real-time discrete event control

1990 ◽  
Vol 35 (4) ◽  
pp. 386-397 ◽  
Author(s):  
J.S. Ostroff ◽  
W.M. Wonham
Keyword(s):  
Real Time ◽  
Discrete Event ◽  
Discrete Event Control

Command and Control for Large-Scale Hybrid Warfare Systems

2015 ◽  
Vol 03 (01) ◽  
pp. 1-15 ◽  
Author(s):  
Chee Khiang Pang ◽  
Gregory R. Hudas ◽  
Dariusz G. Mikulski ◽  
Cao Vinh Le ◽  
Frank L. Lewis
Keyword(s):  
Real Time ◽  
Large Scale ◽  
Discrete Event ◽  
Command And Control ◽  
Armed Forces ◽  
Networked Computing ◽  
Discrete Event Control ◽  
Team Decision ◽  
And Control ◽  
Multiple Missions

Emerging hybrid threats in large-scale warfare systems require networked teams to perform in a reliable manner under changing mission tactics and reconfiguration of mission tasks and force resources. In this paper, a formal Command and Control (C2) structure is presented that allows for computer-aided execution of the networked team decision-making process, real-time tactic selection, and reliable mission reconfiguration. A mathematically justified networked computing environment is provided called the Augmented Discrete Event Control (ADEC) framework. ADEC is portable and has the ability to provide logical connectivity among all team participants including mission commander, field commanders, war-fighters, and robotic platforms. The proposed C2 structure is developed and demonstrated on a simulation study involving Singapore Armed Forces team with three realistic symmetrical, asymmetrical, and hybrid attack missions. Extensive simulation results show that the tasks and resources of multiple missions are fairly sequenced, mission tactics are correctly selected, and missions and resources are reliably reconfigured in real time.

Sign in / Sign up

Export Citation Format

Share Document