Abstract
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.
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-Physcial Systems) is gratefully acknowledged. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of NSF or ONR.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Basu, P., Krishnan, R., Brown, D.W.: Persistent delivery with deferred binding to descriptively named destinations. In: Proc. of IEEE Military Communications Conference (2008)
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)
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)
Dressler, F.: Self-Organization in Sensor and Actor Networks. Wiley, Chichester (2008)
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)
Farrell, S., Cahill, V.: Delay- and Disruption-Tolerant Networking. Artech House, Inc., Norwood (2006)
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)
Troxel, G.D., et al.: Enabling open-source cognitively-controlled collaboration among software-defined radio nodes. Comput. Netw. 52(4), 898–911 (2008)
Grisetti, G., Stachniss, C., Burgard, W.: Nonlinear constraint network optimization for efficient map learning. Trans. Intell. Transport. Sys. 10(3), 428–439 (2009)
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)
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)
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)
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)
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)
Stehr, M.-O., Talcott, C.: Planning and learning algorithms for routing in disruption-tolerant networks. In: Proc. of IEEE Military Communications Conference (2008)
Toorian, S., Diaz, K., Lee, S.: The CubeSet approach to space access. In: IEEE Aerospace Conference (2008)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stehr, MO., Kim, M., Talcott, C. (2010). Toward Distributed Declarative Control of Networked Cyber-Physical Systems . In: Yu, Z., Liscano, R., Chen, G., Zhang, D., Zhou, X. (eds) Ubiquitous Intelligence and Computing. UIC 2010. Lecture Notes in Computer Science, vol 6406. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16355-5_32
Download citation
DOI: https://doi.org/10.1007/978-3-642-16355-5_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16354-8
Online ISBN: 978-3-642-16355-5
eBook Packages: Computer ScienceComputer Science (R0)