Adaptive Wireless Networks as an Example of Declarative Fractionated Systems

  • Jong-Seok Choi
  • Tim McCarthy
  • Minyoung Kim
  • Mark-Oliver Stehr
Conference paper
Part of the Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series (LNICST, volume 131)

Abstract

Adaptive wireless networks can morph their topology and support information gathering and delivery activities to follow high-level goals that capture user interests. Using a case study of an adaptive network consisting of smart phones, robots, and UAVs, this paper extends a declarative approach to networked cyber-physical systems to incorporate quantitative aspects. This is done by distinguishing two levels of control. The temporal evolution of the macroscopic system state is controlled using a logical framework developed in earlier work while the microscopic state is controlled by an optimization algorithm or heuristic. This two-level declarative approach is built on top of a partially-ordered knowledge sharing model for loosely coupled distributed computing and is an example of a so-called fractionated system that can operate with any number of wireless nodes and quickly adapt to changes. Feasibility of the approach is demonstrated simulation and in a hybrid cyber-physical testbed consisting of robots, quadcopters, and Android devices.

Keywords

Cyber-physical systems Distributed systems Declarative control Adaptive networks MANETs Swarms Robots UAVs 

Copyright information

© Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2014

Authors and Affiliations

  • Jong-Seok Choi
    • 2
  • Tim McCarthy
    • 1
  • Minyoung Kim
    • 1
  • Mark-Oliver Stehr
    • 1
  1. 1.SRI InternationalMenlo ParkUSA
  2. 2.Kyungpook National UniversityDaeguKorea

Personalised recommendations