{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T12:07:48Z","timestamp":1791202068162,"version":"4.2.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642163548","type":"print"},{"value":"9783642163555","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16355-5_32","type":"book-chapter","created":{"date-parts":[[2010,10,4]],"date-time":"2010-10-04T12:00:06Z","timestamp":1286193606000},"page":"397-413","source":"Crossref","is-referenced-by-count":15,"title":["Toward Distributed Declarative Control of Networked Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Mark-Oliver","family":"Stehr","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Minyoung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/IROS.2007.4399480"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Basu, P., Krishnan, R., Brown, D.W.: Persistent delivery with deferred binding to descriptively named destinations. In: Proc. of IEEE Military Communications Conference (2008)","DOI":"10.1109\/MILCOM.2008.4753335"},{"issue":"1","key":"32_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/70.928558","volume":"17","author":"H. Choset","year":"2001","unstructured":"Choset, H., Nagatani, K.: Topological simultaneous localization and mapping (SLAM): Toward exact localization without explicit localization. IEEE Trans. on Robotics and Automation\u00a017(1), 125\u2013137 (2001)","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"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\u2013188 (2007)","DOI":"10.1145\/1322263.1322281"},{"key":"32_CR5","volume-title":"Self-Organization in Sensor and Actor Networks","author":"F. Dressler","year":"2008","unstructured":"Dressler, F.: Self-Organization in Sensor and Actor Networks. Wiley, Chichester (2008)"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-540-88737-9_11","volume-title":"Web Reasoning and Rule Systems","author":"D. Elenius","year":"2008","unstructured":"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.\u00a05341, pp. 135\u2013149. Springer, Heidelberg (2008)"},{"key":"32_CR7","volume-title":"Delay- and Disruption-Tolerant Networking","author":"S. Farrell","year":"2006","unstructured":"Farrell, S., Cahill, V.: Delay- and Disruption-Tolerant Networking. Artech House, Inc., Norwood (2006)"},{"key":"32_CR8","unstructured":"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\u201357 (2006)"},{"issue":"4","key":"32_CR9","doi-asserted-by":"publisher","first-page":"898","DOI":"10.1016\/j.comnet.2007.11.010","volume":"52","author":"G.D. Troxel","year":"2008","unstructured":"Troxel, G.D., et al.: Enabling open-source cognitively-controlled collaboration among software-defined radio nodes. Comput. Netw.\u00a052(4), 898\u2013911 (2008)","journal-title":"Comput. Netw."},{"issue":"3","key":"32_CR10","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/TITS.2009.2026444","volume":"10","author":"G. Grisetti","year":"2009","unstructured":"Grisetti, G., Stachniss, C., Burgard, W.: Nonlinear constraint network optimization for efficient map learning. Trans. Intell. Transport. Sys.\u00a010(3), 428\u2013439 (2009)","journal-title":"Trans. Intell. Transport. Sys."},{"key":"32_CR11","unstructured":"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)"},{"issue":"11","key":"32_CR12","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1592761.1592785","volume":"52","author":"B.T. Loo","year":"2009","unstructured":"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.\u00a052(11), 87\u201395 (2009)","journal-title":"ACM Commun."},{"key":"32_CR13","first-page":"489","volume-title":"IPSN 2007: Proc. of the 6th International Conference on Information Processing in Sensor Networks","author":"R. Newton","year":"2007","unstructured":"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\u2013498. ACM, New York (2007)"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"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\u2013867 (2005)","DOI":"10.1145\/1082473.1082604"},{"key":"32_CR15","unstructured":"Rusu, R.B., Maldonado, A., Beetz, M., Gerkey, B.: Extending Player\/Stage\/Gazebo towards cognitive robots acting in ubiquitous sensor-equipped environments. In: ICRA \u201907: Proc. of the IEEE International Conference on Robotics and Automation Workshop for Network Robot Systems (2007)"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"Stehr, M.-O., Talcott, C.: Planning and learning algorithms for routing in disruption-tolerant networks. In: Proc. of IEEE Military Communications Conference (2008)","DOI":"10.1109\/MILCOM.2008.4753336"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Toorian, S., Diaz, K., Lee, S.: The CubeSet approach to space access. In: IEEE Aerospace Conference (2008)","DOI":"10.1109\/AERO.2008.4526293"},{"key":"32_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11669463_4","volume-title":"Wireless Sensor Networks","author":"K. Whitehouse","year":"2006","unstructured":"Whitehouse, K., Zhao, F., Liu, J.: Semantic streams: A framework for composable semantic interpretation of sensor data. In: R\u00f6mer, K., Karl, H., Mattern, F. (eds.) EWSN 2006. LNCS, vol.\u00a03868, pp. 5\u201320. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Ubiquitous Intelligence and Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16355-5_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T02:07:57Z","timestamp":1559700477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16355-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642163548","9783642163555"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16355-5_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}