Skip to main content
Book cover

International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services

MobiQuitous 2013: Mobile and Ubiquitous Systems: Computing, Networking, and Services pp 549–563Cite as

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)

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

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

Chapter
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
eBook
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)
Learn about institutional subscriptions
Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.

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)

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

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

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

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