Skip to main content
SpringerLink
Log in

Adaptive Wireless Networks as an Example of Declarative Fractionated Systems

  • Conference paper
  • First Online:
Mobile and Ubiquitous Systems: Computing, Networking, and Services (MobiQuitous 2013)

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Differential GPS. http://en.wikipedia.org/wiki/Differential_GPS

  2. Geodetic Datum. http://en.wikipedia.org/wiki/Geodetic_system

  3. iRobot Create. http://store.irobot.com/shop/index.jsp?categoryId=3311368

  4. Mason multiagent simulation lib. http://cs.gmu.edu/eclab/projects/mason/

  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. https://www.gumstix.com/store/product_info.php?products_id=227

  10. Gumstix. Pinto-TH. https://www.gumstix.com/store/product_info.php?products_id=239

  11. Gumstix. TurtleCore. https://www.gumstix.com/store/product_info.php?products_id=280

  12. Gumstix Inc. Gumstix. https://www.gumstix.com/

  13. Honeywell Inc. HMC6352. http://magneticsensors.com/magnetometers-compasses.php

  14. JavaDrone. http://code.google.com/p/javadrone/

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

    Article  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)

    Article  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)

    Article  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. http://www.locosystech.com/product.php?zln=en&id=20

  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)

    Article  Google Scholar 

  22. Parrot SA. AR. Drone 2.0. http://ardrone2.parrot.com/

  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)

    Article  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. https://www.sparkfun.com/products/8745

  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. http://www.swarmanoid.org

  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)

    Chapter  Google Scholar 

Download references

Acknowledgments

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

  1. SRI International, Menlo Park, CA, 94025, USA

    Tim McCarthy, Minyoung Kim & Mark-Oliver Stehr

  2. Kyungpook National University, Daegu, Korea

    Jong-Seok Choi

Authors
  1. Jong-Seok Choi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tim McCarthy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Minyoung Kim
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mark-Oliver Stehr
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Minyoung Kim .

Editor information

Editors and Affiliations

  1. University of Ottawa, Ottawa, Ontario, Canada

    Ivan Stojmenovic

  2. School of Computer Science and Engineering,The University of Aizu Tsuruga, Fukushima, Japan

    Zixue Cheng

  3. School of Computer Science and Engineering, The University of Aizu Tsuruga, Fukushima, Japan

    Song Guo

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. https://doi.org/10.1007/978-3-319-11569-6_43

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-11569-6_43

  • 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)

Publish with us

Policies and ethics

Search

Navigation