Research Article
Adaptive Wireless Networks as an Example of Declarative Fractionated Systems
@INPROCEEDINGS{10.1007/978-3-319-11569-6_43, author={Jong-Seok Choi and Tim McCarthy and Minyoung Kim and Mark-Oliver Stehr}, title={Adaptive Wireless Networks as an Example of Declarative Fractionated Systems}, proceedings={Mobile and Ubiquitous Systems: Computing, Networking, and Services. 10th International Conference, MOBIQUITOUS 2013, Tokyo, Japan, December 2-4, 2013, Revised Selected Papers}, proceedings_a={MOBIQUITOUS}, year={2014}, month={12}, keywords={Cyber-physical systems Distributed systems Declarative control Adaptive networks MANETs Swarms Robots UAVs}, doi={10.1007/978-3-319-11569-6_43} }- Jong-Seok Choi
Tim McCarthy
Minyoung Kim
Mark-Oliver Stehr
Year: 2014
Adaptive Wireless Networks as an Example of Declarative Fractionated Systems
MOBIQUITOUS
Springer
DOI: 10.1007/978-3-319-11569-6_43
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.