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 

Notes

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.

References

  1. 1.
  2. 2.
  3. 3.
  4. 4.
    Mason multiagent simulation lib. http://cs.gmu.edu/eclab/projects/mason/
  5. 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. 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. 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. 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. 9.
  10. 10.
  11. 11.
  12. 12.
    Gumstix Inc. Gumstix. https://www.gumstix.com/
  13. 13.
  14. 14.
  15. 15.
    Khatib, O.: Real-time obstacle avoidance for manipulators and mobile robots. Int. J. Rob. Res. 5, 90–98 (1986)CrossRefGoogle Scholar
  16. 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)CrossRefGoogle Scholar
  17. 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. 18.
    Kim, M., Stehr, M.-O., Talcott, C.: A distributed logic for networked cyber-physical systems. Sci. Comput. Program. 78, 2453–2467 (2013)CrossRefGoogle Scholar
  19. 19.
    Kushleyev, A., Mellinger, D., Kumar, V.: Towards a swarm of agile micro quadrotors. In: Robotics: Science and Systems, July 2012Google Scholar
  20. 20.
    LOCOSYS Technology Inc. LS20031. http://www.locosystech.com/product.php?zln=en&id=20
  21. 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)CrossRefGoogle Scholar
  22. 22.
    Parrot SA. AR. Drone 2.0. http://ardrone2.parrot.com/
  23. 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. 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)CrossRefGoogle Scholar
  25. 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. 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. 27.
    Spark Fun Electronics. Logic Level Converter. https://www.sparkfun.com/products/8745
  28. 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. 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. 30.
    Swarmanoid Project. http://www.swarmanoid.org
  31. 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. 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) CrossRefGoogle Scholar

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