Toward Distributed Declarative Control of Networked Cyber-Physical Systems

  • Mark-Oliver Stehr
  • Minyoung Kim
  • Carolyn Talcott
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6406)


Networked Cyber-Physical Systems (NCPS) present many challenges that are not suitably addressed by existing distributed computing paradigms. They must be reactive and maintain an overall situation awareness that emerges from partial distributed knowledge. They must achieve system goals through local, asynchronous actions, using (distributed) control loops through which the environment provides essential feedback. Typical NCPS are open, dynamic, and heterogeneous in many dimensions, and often need to be rapidly instantiated and deployed for a given mission. To address these challenges, we pursue a declarative approach to provide an abstraction from the high complexity of NCPS and avoid error-prone and time-consuming low-level programming. A longer-term goal is to develop a distributed computational and logical foundation that supports a wide spectrum of system operation between autonomy and cooperation to adapt to resource constraints, in particular to limitations of computational, energy, and networking resources. Here, we present first steps toward a logical framework for NCPS that combines distributed reasoning and asynchronous control in space and time. The logical framework is based on partially ordered knowledge sharing, a distributed computing paradigm for loosely coupled systems that does not require continuous network connectivity. We illustrate our approach with a simulation prototype of our logical framework in the context of networked mobile robot teams that operate in an abstract instrumented cyber-physical space with sensors.


Mobile Robot Logical Framework Proof Rule Strict Partial Order Knowledge Unit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ashley-Rollman, M.P., Goldstein, S.C., Lee, P., Mowry, T.C., Pillai, P.: Meld: A declarative approach to programming ensembles. In: Proc. of the IEEE International Conference on Intelligent Robots and Systems (IROS 2007) (October 2007)Google Scholar
  2. 2.
    Basu, P., Krishnan, R., Brown, D.W.: Persistent delivery with deferred binding to descriptively named destinations. In: Proc. of IEEE Military Communications Conference (2008)Google Scholar
  3. 3.
    Choset, H., Nagatani, K.: Topological simultaneous localization and mapping (SLAM): Toward exact localization without explicit localization. IEEE Trans. on Robotics and Automation 17(1), 125–137 (2001)CrossRefGoogle Scholar
  4. 4.
    Chu, D., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The design and implementation of a declarative sensor network system. In: SenSys 2007: Proc. of the 5th International Conference on Embedded Networked Sensor Systems, pp. 175–188 (2007)Google Scholar
  5. 5.
    Dressler, F.: Self-Organization in Sensor and Actor Networks. Wiley, Chichester (2008)Google Scholar
  6. 6.
    Elenius, D., Denker, G., Stehr, M.-O.: A semantic web reasoner for rules, equations and constraints. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 135–149. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Farrell, S., Cahill, V.: Delay- and Disruption-Tolerant Networking. Artech House, Inc., Norwood (2006)Google Scholar
  8. 8.
    Gerkey, B.P., Mailler, R., Morisset, B.: Commbots: Distributed control of mobile communication relays. In: Proc. of the AAAI Workshop on Auction Mechanisms for Robot Coordination (AuctionBots), pp. 51–57 (2006)Google Scholar
  9. 9.
    Troxel, G.D., et al.: Enabling open-source cognitively-controlled collaboration among software-defined radio nodes. Comput. Netw. 52(4), 898–911 (2008)CrossRefzbMATHGoogle Scholar
  10. 10.
    Grisetti, G., Stachniss, C., Burgard, W.: Nonlinear constraint network optimization for efficient map learning. Trans. Intell. Transport. Sys. 10(3), 428–439 (2009)CrossRefGoogle Scholar
  11. 11.
    Kim, M., Massaguer, D., Dutt, N., Mehrotra, S., Ren, S., Stehr, M.-O., Talcott, C., Venkatasubramanian, N.: A semantic framework for reconfiguration of instrumented cyber physical spaces. In: Workshop on Event-based Semantics, CPS Week (2008)Google Scholar
  12. 12.
    Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking. ACM Commun. 52(11), 87–95 (2009)CrossRefGoogle Scholar
  13. 13.
    Newton, R., Morrisett, G., Welsh, M.: The regiment macroprogramming system. In: IPSN 2007: Proc. of the 6th International Conference on Information Processing in Sensor Networks, pp. 489–498. ACM, New York (2007)Google Scholar
  14. 14.
    Ortiz, C.L., Vincent, R., Morisset, B.: Task inference and distributed task management in the Centibots robotic system. In: AAMAS 2005: Proc. of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 860–867 (2005)Google Scholar
  15. 15.
    Rusu, R.B., Maldonado, A., Beetz, M., Gerkey, B.: Extending Player/Stage/Gazebo towards cognitive robots acting in ubiquitous sensor-equipped environments. In: ICRA ’07: Proc. of the IEEE International Conference on Robotics and Automation Workshop for Network Robot Systems (2007)Google Scholar
  16. 16.
    Stehr, M.-O., Talcott, C.: Planning and learning algorithms for routing in disruption-tolerant networks. In: Proc. of IEEE Military Communications Conference (2008)Google Scholar
  17. 17.
    Toorian, S., Diaz, K., Lee, S.: The CubeSet approach to space access. In: IEEE Aerospace Conference (2008)Google Scholar
  18. 18.
    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

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Mark-Oliver Stehr
    • 1
  • Minyoung Kim
    • 1
  • Carolyn Talcott
    • 1
  1. 1.SRI InternationalUSA

Personalised recommendations