{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T22:10:07Z","timestamp":1746396607463,"version":"3.40.4"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115689"},{"type":"electronic","value":"9783319115696"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11569-6_43","type":"book-chapter","created":{"date-parts":[[2014,9,27]],"date-time":"2014-09-27T05:00:33Z","timestamp":1411794033000},"page":"549-563","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Adaptive Wireless Networks as an Example of Declarative Fractionated Systems"],"prefix":"10.1007","author":[{"given":"Jong-Seok","family":"Choi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"McCarthy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minyoung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark-Oliver","family":"Stehr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,9,28]]},"reference":[{"key":"43_CR1","unstructured":"Differential GPS. http:\/\/en.wikipedia.org\/wiki\/Differential_GPS"},{"key":"43_CR2","unstructured":"Geodetic Datum. http:\/\/en.wikipedia.org\/wiki\/Geodetic_system"},{"key":"43_CR3","unstructured":"iRobot Create. http:\/\/store.irobot.com\/shop\/index.jsp?categoryId=3311368"},{"key":"43_CR4","unstructured":"Mason multiagent simulation lib. http:\/\/cs.gmu.edu\/eclab\/projects\/mason\/"},{"key":"43_CR5","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: IEEE International Conference on Intelligent Robots and Systems (2007)","DOI":"10.1109\/IROS.2007.4399480"},{"key":"43_CR6","doi-asserted-by":"crossref","unstructured":"Berman, S., Kumar, V., Nagpal, R.: Design of control policies for spatially inhomogeneous robot swarms with application to commercial pollination. In: ICRA, pp. 378\u2013385. IEEE (2011)","DOI":"10.1109\/ICRA.2011.5980440"},{"key":"43_CR7","doi-asserted-by":"crossref","unstructured":"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\u201913 (2013)","DOI":"10.1109\/CPSNA.2013.6614246"},{"key":"43_CR8","unstructured":"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)"},{"key":"43_CR9","unstructured":"Gumstix. Overo Fire COM. https:\/\/www.gumstix.com\/store\/product_info.php?products_id=227"},{"key":"43_CR10","unstructured":"Gumstix. Pinto-TH. https:\/\/www.gumstix.com\/store\/product_info.php?products_id=239"},{"key":"43_CR11","unstructured":"Gumstix. TurtleCore. https:\/\/www.gumstix.com\/store\/product_info.php?products_id=280"},{"key":"43_CR12","unstructured":"Gumstix Inc. Gumstix. https:\/\/www.gumstix.com\/"},{"key":"43_CR13","unstructured":"Honeywell Inc. HMC6352. http:\/\/magneticsensors.com\/magnetometers-compasses.php"},{"key":"43_CR14","unstructured":"JavaDrone. http:\/\/code.google.com\/p\/javadrone\/"},{"key":"43_CR15","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1177\/027836498600500106","volume":"5","author":"O Khatib","year":"1986","unstructured":"Khatib, O.: Real-time obstacle avoidance for manipulators and mobile robots. Int. J. Rob. Res. 5, 90\u201398 (1986)","journal-title":"Int. J. Rob. Res."},{"issue":"4","key":"43_CR16","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1016\/j.jpdc.2012.01.007","volume":"72","author":"J Kim","year":"2012","unstructured":"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\u2013578 (2012)","journal-title":"J. Parallel Distrib. Comput."},{"key":"43_CR17","doi-asserted-by":"crossref","unstructured":"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\u201910, pp. 144\u2013153 (2010)","DOI":"10.1109\/EUC.2010.30"},{"key":"43_CR18","doi-asserted-by":"publisher","first-page":"2453","DOI":"10.1016\/j.scico.2013.01.011","volume":"78","author":"M Kim","year":"2013","unstructured":"Kim, M., Stehr, M.-O., Talcott, C.: A distributed logic for networked cyber-physical systems. Sci. Comput. Program. 78, 2453\u20132467 (2013)","journal-title":"Sci. Comput. Program."},{"key":"43_CR19","doi-asserted-by":"crossref","unstructured":"Kushleyev, A., Mellinger, D., Kumar, V.: Towards a swarm of agile micro quadrotors. In: Robotics: Science and Systems, July 2012","DOI":"10.15607\/RSS.2012.VIII.028"},{"key":"43_CR20","unstructured":"LOCOSYS Technology Inc. LS20031. http:\/\/www.locosystech.com\/product.php?zln=en&id=20"},{"issue":"11","key":"43_CR21","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1592761.1592785","volume":"52","author":"BT 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. Commun. ACM 52(11), 87\u201395 (2009)","journal-title":"Commun. ACM"},{"key":"43_CR22","unstructured":"Parrot SA. AR. Drone 2.0. http:\/\/ardrone2.parrot.com\/"},{"key":"43_CR23","unstructured":"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)"},{"issue":"3","key":"43_CR24","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1109\/TRO.2008.2012341","volume":"25","author":"MDR O\u2019Grady","year":"2009","unstructured":"O\u2019Grady, M.D.R., Christensen, A.L.: Swarmorph: multi-robot morphogenesis using directional self-assembly. IEEE Trans. Robot. 25(3), 738\u2013743 (2009)","journal-title":"IEEE Trans. Robot."},{"key":"43_CR25","doi-asserted-by":"crossref","unstructured":"Reynolds, C.W.: Flocks, herds and schools: a distributed behavioral model. In: 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH \u201987, pp. 25\u201334 (1987)","DOI":"10.1145\/37401.37406"},{"key":"43_CR26","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ISIE.2009.5218898"},{"key":"43_CR27","unstructured":"Spark Fun Electronics. Logic Level Converter. https:\/\/www.sparkfun.com\/products\/8745"},{"key":"43_CR28","doi-asserted-by":"crossref","unstructured":"Spears, W.M., Heil, R., Zarzhitsky, D.: Artificial physics for mobile robot formations. In: IEEE Internatioanl Conference on Systems, pp. 2287\u20132292 (2005)","DOI":"10.1109\/ICSMC.2005.1571489"},{"key":"43_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/978-3-642-24933-4_7","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M-O Stehr","year":"2011","unstructured":"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\u2013143. Springer, Heidelberg (2011)"},{"key":"43_CR30","unstructured":"Swarmanoid Project. http:\/\/www.swarmanoid.org"},{"key":"43_CR31","unstructured":"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)"},{"key":"43_CR32","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. 3868, pp. 5\u201320. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Mobile and Ubiquitous Systems: Computing, Networking, and Services"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11569-6_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T21:52:43Z","timestamp":1746395563000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11569-6_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115689","9783319115696"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11569-6_43","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"28 September 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}