We design the attack of the Blue force of unmanned air combat vehicles (UAV), against Red's ground force of SAM sites and radars. The design is structured in a twolevel hierarchy of planning and execution. The plan, based on prior information, determines which targets are to be attacked and groups them into sub-tasks; allocates a UAV team to each sub-task; and selects a risk-minimizing path for each team. Execution is organized in a hierarchy of real-time controllers, which determine the actual flight path, weapons release, and space-time coordination of the actions of a UAV team. Plan development uses an algorithm that determines the sequence in which targets are to be attacked. Execution design is specified in Shift, a programming language for dynamic networks of hybrid automata.The authors are with the
The rich and exciting research over the past decade concerning the description, analysis, controller design, simulation, and implementation of distributed systems is reviewed. From control engineering, this research has inherited the concepts and theories of optimality, stability, controlled differential equation models, and the motivation to improve the performance of increasingly complex physical processes. From computer science, the research has incorporated the theories of logical specification and verification, event-driven state machine models, concurrent processes and object-oriented approaches. The review is organized in the framework of dynamic networks of hybrid automata (DNHA). The case study of an automated highway system (AHS) is used to illustrate the challenges posed by a complex distributed system, and the research contributions that address different challenges. There is an equal emphasis on the conceptual and theoretical contributions and on tools and techniques that yield more immediately practical benefits.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.