Skip to main content

Adaptive Wireless Networks as an Example of Declarative Fractionated Systems

Part of the Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series (LNICST,volume 131)


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.


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

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-11569-6_43
  • Chapter length: 15 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   39.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-11569-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   54.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.


  1. Differential GPS.

  2. Geodetic Datum.

  3. iRobot Create.

  4. Mason multiagent simulation lib.

  5. Ashley-Rollman, M.P., Goldstein, S.C., Lee, P., Mowry, T.C., Pillai, P.: Meld: a declarative approach to programming ensembles. In: IEEE International Conference on Intelligent Robots and Systems (2007)

    Google Scholar 

  6. Berman, S., Kumar, V., Nagpal, R.: Design of control policies for spatially inhomogeneous robot swarms with application to commercial pollination. In: ICRA, pp. 378–385. IEEE (2011)

    Google Scholar 

  7. Choi, J.-S., McCarthy, T., Yadav, M., Kim, M., Talcott, C., Gressier-Soudan, E.: Application patterns for cyber-physical systems. In: IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA’13 (2013)

    Google Scholar 

  8. Gerkey, B., Vaughan, R.T., Howard, A.: The player/stage project: tools for multi-robot and distributed sensor systems. In: 11th International Conference on Advanced Robotics (ICAR) (2003)

    Google Scholar 

  9. Gumstix. Overo Fire COM.

  10. Gumstix. Pinto-TH.

  11. Gumstix. TurtleCore.

  12. Gumstix Inc. Gumstix.

  13. Honeywell Inc. HMC6352.

  14. JavaDrone.

  15. Khatib, O.: Real-time obstacle avoidance for manipulators and mobile robots. Int. J. Rob. Res. 5, 90–98 (1986)

    CrossRef  Google Scholar 

  16. Kim, J., Kim, M., Stehr, M.-O., Oh, H., Ha, S.: A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing. J. Parallel Distrib. Comput. 72(4), 564–578 (2012)

    CrossRef  Google Scholar 

  17. Kim, M., Stehr, M.-O., Kim, J., Ha, S.: An application framework for loosely coupled networked cyber-physical systems. In: IEEE/IFIP International Conference Embedded and Ubiquitous Computing, EUC’10, pp. 144–153 (2010)

    Google Scholar 

  18. Kim, M., Stehr, M.-O., Talcott, C.: A distributed logic for networked cyber-physical systems. Sci. Comput. Program. 78, 2453–2467 (2013)

    CrossRef  Google Scholar 

  19. Kushleyev, A., Mellinger, D., Kumar, V.: Towards a swarm of agile micro quadrotors. In: Robotics: Science and Systems, July 2012

    Google Scholar 

  20. LOCOSYS Technology Inc. LS20031.

  21. Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking. Commun. ACM 52(11), 87–95 (2009)

    CrossRef  Google Scholar 

  22. Parrot SA. AR. Drone 2.0.

  23. Purohit, A., Sun, Z., Mokaya, F., Zhang, P.: Sensorfly: controlled-mobile sensing platform for indoor emergency response applications. In: International Conference on Information Processing in Sensor Networks (IPSN) (2011)

    Google Scholar 

  24. O’Grady, M.D.R., Christensen, A.L.: Swarmorph: multi-robot morphogenesis using directional self-assembly. IEEE Trans. Robot. 25(3), 738–743 (2009)

    CrossRef  Google Scholar 

  25. Reynolds, C.W.: Flocks, herds and schools: a distributed behavioral model. In: 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH ’87, pp. 25–34 (1987)

    Google Scholar 

  26. Sentis, L., Mintz, M., Ayyagari, A., Battles, C., Ying, S., Khatib, O.: Large scale multi-robot coordination under network and geographical constraints. In: Proceedings of the IEEE International Symposium on Industrial, Electronics (2009)

    Google Scholar 

  27. Spark Fun Electronics. Logic Level Converter.

  28. Spears, W.M., Heil, R., Zarzhitsky, D.: Artificial physics for mobile robot formations. In: IEEE Internatioanl Conference on Systems, pp. 2287–2292 (2005)

    Google Scholar 

  29. Stehr, M.-O., Talcott, C., Rushby, J., Lincoln, P., Kim, M., Cheung, S., Poggio, A.: Fractionated software for networked cyber-physical systems: research directions and long-term vision. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 110–143. Springer, Heidelberg (2011)

    Google Scholar 

  30. Swarmanoid Project.

  31. Tokoro, M.: Computational field model: toward a new computing model/methodology for open distributed environment. In: Proceedings of the 2nd IEEE Workshop on Future Trends in Distributed Computing Systems (1990)

    Google Scholar 

  32. Whitehouse, K., Zhao, F., Liu, J.: Semantic streams: a framework for composable semantic interpretation of sensor data. In: Römer, K., Karl, H., Mattern, F. (eds.) EWSN 2006. LNCS, vol. 3868, pp. 5–20. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

Download references


We thank Walter Alvarez, Kyle Leveque, and Bryan Klofas at SRI International for their contributions to building the testbed. Support from National Science Foundation Grant 0932397 (A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems) and Office of Naval Research Grant N00014-10-1-0365 (Principles and Foundations for Fractionated Networked Cyber-Physical Systems) is gratefully acknowledged. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of NSF or ONR.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Minyoung Kim .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

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

About this paper

Cite this paper

Choi, JS., McCarthy, T., Kim, M., Stehr, MO. (2014). Adaptive Wireless Networks as an Example of Declarative Fractionated Systems. In: Stojmenovic, I., Cheng, Z., Guo, S. (eds) Mobile and Ubiquitous Systems: Computing, Networking, and Services. MobiQuitous 2013. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 131. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11568-9

  • Online ISBN: 978-3-319-11569-6

  • eBook Packages: Computer ScienceComputer Science (R0)