{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T20:04:24Z","timestamp":1767902664280,"version":"3.49.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031751066","type":"print"},{"value":"9783031751073","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75107-3_16","type":"book-chapter","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:01:50Z","timestamp":1729926110000},"page":"263-280","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An Approach for\u00a0Extended Swarm Formation Flight with\u00a0Drones: $$\\texttt {PROTEASE}^{2.0}$$"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0563-9797","authenticated-orcid":false,"given":"Oliver","family":"Kosak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1342-5437","authenticated-orcid":false,"given":"Philipp","family":"Kastenm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8982-4740","authenticated-orcid":false,"given":"Constantin","family":"Wanninger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4086-0043","authenticated-orcid":false,"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","unstructured":"Aguzzi, G., Casadei, R., Viroli, M.: Macroswarm: A field-based compositional framework for swarm programming. In: Coordination Models and Languages: 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, pp. 31\u201351. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-35361-1_2","DOI":"10.1007\/978-3-031-35361-1_2"},{"key":"16_CR2","doi-asserted-by":"publisher","unstructured":"Ashley-Rollman, M.P., Goldstein, S.C., Lee, P., Mowry, T.C., Pillai, P.: Meld: a declarative approach to programming ensembles. In: 2007 IEEE\/RSJ International Conference on Intelligent Robots and Systems. pp. 2794\u20132800 (200). https:\/\/doi.org\/10.1109\/IROS.2007.4399480","DOI":"10.1109\/IROS.2007.4399480"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1007\/3-540-45712-7_85","volume-title":"Parallel Problem Solving from Nature \u2014 PPSN VII","author":"L Bianchi","year":"2002","unstructured":"Bianchi, L., Gambardella, L.M., Dorigo, M.: An ant colony optimization approach to the probabilistic traveling salesman problem. In: Guerv\u00f3s, J.J.M., Adamidis, P., Beyer, H.-G., Schwefel, H.-P., Fern\u00e1ndez-Villaca\u00f1as, J.-L. (eds.) PPSN 2002. LNCS, vol. 2439, pp. 883\u2013892. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45712-7_85"},{"key":"16_CR4","unstructured":"Braubach, L., Pokahr, A.: Developing distributed systems with active components and jadex. In: Scalable Computing: Practice and Experience, pp. 100\u2013120 (2012)"},{"key":"16_CR5","doi-asserted-by":"publisher","unstructured":"Carbone, C., Garibaldi, O., Kurt, Z.: Swarm robotics as a solution to crops inspection for precision agriculture. KnE Eng. 3(2), 552\u2013562 (2018). https:\/\/doi.org\/10.18502\/keg.v3i1.1459. https:\/\/knepublishing.com\/index.php\/KnE-Engineering\/article\/view\/1459","DOI":"10.18502\/keg.v3i1.1459"},{"key":"16_CR6","unstructured":"CCL: Netlogo - northwestern\u2019s center for connected learning and computer-based modeling (ccl). https:\/\/ccl.northwestern.edu\/netlogo\/. Accessed 28 Aug 2020, August 2020"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Dedousis, D., Kalogeraki, V.: A framework for programming a swarm of uavs. In: Proceedings of the 11th PErvasive Technologies Related to Assistive Environments Conference, pp. 5\u201312 (2018)","DOI":"10.1145\/3197768.3197772"},{"issue":"4","key":"16_CR8","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MRA.2013.2252996","volume":"20","author":"M Dorigo","year":"2013","unstructured":"Dorigo, M., et al.: Swarmanoid: a novel concept for the study of heterogeneous robotic swarms. IEEE RAM 20(4), 60\u201371 (2013). https:\/\/doi.org\/10.1109\/MRA.2013.2252996","journal-title":"IEEE RAM"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1146\/annurev.arplant.59.032607.092835","volume":"59","author":"RA Van der Hoorn","year":"2008","unstructured":"Van der Hoorn, R.A.: Plant proteases: from phenotypes to molecular mechanisms. Annu. Rev. Plant Biol. 59, 191\u2013223 (2008)","journal-title":"Annu. Rev. Plant Biol."},{"key":"16_CR10","unstructured":"Intel: Aerial Technology Light Show. https:\/\/www.intel.de\/content\/www\/de\/de\/technology-innovation\/aerial-technology-light-show.html. Accessed 01 Feb 2021, February 2021. https:\/\/www.intel.de\/content\/www\/de\/de\/technology-innovation\/aerial-technology-light-show.html"},{"key":"16_CR11","doi-asserted-by":"publisher","unstructured":"Koenig, N., Howard, A.: Design and use paradigms for gazebo, an open-source multi-robot simulator. In: 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), vol.\u00a03, pp. 2149\u20132154 (2004). https:\/\/doi.org\/10.1109\/IROS.2004.1389727","DOI":"10.1109\/IROS.2004.1389727"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Kosak, O., Bohn, F., Eing, L., Rall, D., Wanninger, C., Hoffmann, A., Reif, W.: Swarm and Collective Capabilities for Multipotent Robot Ensembles, currently under review. In: 9th Int. Symp. on Leveraging Appl. of Formal Methods, Verification and Validation (Oct 2020)","DOI":"10.1007\/978-3-030-61470-6_31"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Kosak, O., Huhn, L., Bohn, F., Wanninger, C., Hoffmann, A., Reif, W.: Maple-swarm: programming collective behavior for ensembles by extending HTN-Planning. In: 9th Int. Symp. on Leveraging Appl. of Formal Methods, Verification and Validation (Oct 2020)","DOI":"10.1007\/978-3-030-61470-6_30"},{"key":"16_CR14","unstructured":"Kosak, O.: Mission programming for flying ensembles: combining planning with self-organization. doctoral thesis, Universit\u00e4t Augsburg (2021)"},{"issue":"7","key":"16_CR15","doi-asserted-by":"publisher","first-page":"1169","DOI":"10.3390\/app8071169","volume":"8","author":"KB Lee","year":"2018","unstructured":"Lee, K.B., Kim, Y.J., Hong, Y.D.: Real-time swarm search method for real-world quadcopter drones. Appl. Sci. 8(7), 1169 (2018)","journal-title":"Appl. Sci."},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1007\/978-3-642-02454-2_70","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2009","author":"X Li","year":"2009","unstructured":"Li, X., Ercan, M.F., Fung, Y.F.: A triangular formation strategy for collective behaviors of robot swarm. In: Gervasi, O., Taniar, D., Murgante, B., Lagan\u00e0, A., Mun, Y., Gavrilova, M.L. (eds.) ICCSA 2009. LNCS, vol. 5592, pp. 897\u2013911. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02454-2_70"},{"key":"16_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2019.105671","volume":"98","author":"Y Liu","year":"2020","unstructured":"Liu, Y., Liu, H., Tian, Y., Sun, C.: Reinforcement learning based two-level control framework of uav swarm for cooperative persistent surveillance in an unknown urban area. Aerosp. Sci. Technol. 98, 105671 (2020)","journal-title":"Aerosp. Sci. Technol."},{"issue":"7","key":"16_CR18","doi-asserted-by":"publisher","first-page":"946","DOI":"10.1109\/TC.2007.1054","volume":"56","author":"M Ma","year":"2007","unstructured":"Ma, M., Yang, Y.: Adaptive triangular deployment algorithm for unattended mobile sensor networks. IEEE Trans. Comput. 56(7), 946\u2013847 (2007)","journal-title":"IEEE Trans. Comput."},{"key":"16_CR19","doi-asserted-by":"publisher","unstructured":"Na, H.J., Yoo, S.: Pso-based dynamic uav positioning algorithm for sensing information acquisition in wireless sensor networks. IEEE Access 7, 77499\u201377513 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2922203","DOI":"10.1109\/ACCESS.2019.2922203"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"P\u00e9rez, I.F., Boumaza, A., Charpillet, F.: Learning collaborative foraging in a swarm of robots using embodied evolution. In: Artificial Life Conference Proceedings 14, pp. 162\u2013161. MIT Press (2017)","DOI":"10.7551\/ecal_a_028"},{"key":"16_CR21","doi-asserted-by":"publisher","unstructured":"Pianini, D., Viroli, M., Beal, J.: Protelis: Practical aggregate programming. In: Proc. of the 30th Annual ACM Symposium on Applied Computing, pp. 1846\u20131853, SAC \u201915. ACM (2015). https:\/\/doi.org\/10.1145\/2695664.2695913. http:\/\/doi.acm.org\/10.1145\/2695664.2695913","DOI":"10.1145\/2695664.2695913"},{"key":"16_CR22","doi-asserted-by":"publisher","unstructured":"Pinciroli, C., Beltrame, G.: Buzz: an extensible programming language for heterogeneous swarm robotics. In: 2016 IEEE\/RSJ Int. Conf. on Intel. Robots and Systems (IROS), pp. 3794\u20133800, October 2016.https:\/\/doi.org\/10.1109\/IROS.2016.7759558","DOI":"10.1109\/IROS.2016.7759558"},{"key":"16_CR23","unstructured":"Quigley, M., et al.: Ros: an open-source robot operating system. In: ICRA Workshop on Open Source Software, vol.\u00a03, p.\u00a05. Kobe (2009)"},{"issue":"4","key":"16_CR24","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/37402.37406","volume":"21","author":"CW Reynolds","year":"1987","unstructured":"Reynolds, C.W.: Flocks, herds and schools: a distributed behavioral model. ACM SIGGRAPH computer graphics 21(4), 25\u201334 (1987)","journal-title":"ACM SIGGRAPH computer graphics"},{"key":"16_CR25","unstructured":"Roberts, R.J.: Nucleic acid. Encyclopedia Britannica. https:\/\/www.britannica.com\/science\/nucleic-acid. Accessed 14 June 2020, Feb 2020. https:\/\/www.britannica.com\/science\/nucleic-acid"},{"issue":"6198","key":"16_CR26","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1126\/science.1254295","volume":"345","author":"M Rubenstein","year":"2014","unstructured":"Rubenstein, M., Cornejo, A., Nagpal, R.: Programmable self-assembly in a thousand-robot swarm. Science 345(6198), 795\u2013799 (2014)","journal-title":"Science"},{"key":"16_CR27","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-030-43890-6_2","volume-title":"Modelling and Simulation for Autonomous Systems","author":"S Skrzypecki","year":"2020","unstructured":"Skrzypecki, S., Tarapata, Z., Pierzcha\u0142a, D.: Combined pso methods for uavs swarm modelling and simulation. In: Mazal, J., Fagiolini, A., Vasik, P. (eds.) Modelling and Simulation for Autonomous Systems, pp. 11\u201325. Springer, Cham (2020)"},{"key":"16_CR28","doi-asserted-by":"publisher","unstructured":"S\u00e1nchez-Garc\u00eda, J., Reina, D., Toral, S.: A distributed pso-based exploration algorithm for a uav network assisting a disaster scenario. Futur. Gener. Comput. Syst. 90, 129\u2013148 (2019). https:\/\/doi.org\/10.1016\/j.future.2018.07.048. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167739X18303649","DOI":"10.1016\/j.future.2018.07.048"},{"key":"16_CR29","doi-asserted-by":"publisher","unstructured":"Trianni, V.: Coordinated Motion, pp. 73\u201395. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-77612-3_6. https:\/\/doi.org\/10.1007\/978-3-540-77612-3_6","DOI":"10.1007\/978-3-540-77612-3_6"},{"issue":"3","key":"16_CR30","doi-asserted-by":"publisher","DOI":"10.1088\/1748-3190\/ab6ed9","volume":"15","author":"JC Varughese","year":"2020","unstructured":"Varughese, J.C., Hornischer, H., Zahadat, P., Thenius, R., Wotawa, F., Schmickl, T.: A swarm design paradigm unifying swarm behaviors using minimalistic communication. Bioinspiration Biomimetics 15(3), 036005 (2020)","journal-title":"Bioinspiration Biomimetics"},{"key":"16_CR31","doi-asserted-by":"publisher","unstructured":"V\u00e1s\u00e1rhelyi, G., et al.: Outdoor flocking and formation flight with autonomous aerial robots. In: 2014 IEEE\/RSJ Int. Conf. on Intell. Robots and Systems, pp. 3866\u20133873 (201). https:\/\/doi.org\/10.1109\/IROS.2014.6943105","DOI":"10.1109\/IROS.2014.6943105"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Wanninger, C., Eym\u00fcller, C., Hoffmann, A., Kosak, O., Reif, W.: Synthesising capabilities for collective adaptive systems from self-descriptive hardware devices - bridging the reality gap. In: 8th Int. Symp. On Leveraging Appl. of Formal Methods, Verification and Validation, September 2018","DOI":"10.1007\/978-3-030-03424-5_7"},{"key":"16_CR33","doi-asserted-by":"publisher","unstructured":"Wanninger, C., Badem, T., Sch\u00f6rner, M., Eymueller, C., Poeppel, A., Reif, W.: Golive a modular mixed reality simulation for semantic plug and play. In: 2023 23rd International Conference on Control, Automation and Systems (ICCAS), pp. 1521\u20131525 (2023). https:\/\/doi.org\/10.23919\/ICCAS59377.2023.10316758","DOI":"10.23919\/ICCAS59377.2023.10316758"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Wang, S., Ji, G.: A comprehensive survey on particle swarm optimization algorithm and its applications. Math. Probl. Eng. 2015 (2015)","DOI":"10.1155\/2015\/931256"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75107-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:13:11Z","timestamp":1729926791000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75107-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"ISBN":["9783031751066","9783031751073"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75107-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"27 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}