{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T20:26:34Z","timestamp":1775075194540,"version":"3.50.1"},"reference-count":40,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2021,1,17]],"date-time":"2021-01-17T00:00:00Z","timestamp":1610841600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>Recently, there has been a fairly rapid increase in interest in the use of UAV swarms both in civilian and military operations. This is mainly due to relatively low cost, greater flexibility, and increasing efficiency of swarms themselves. However, in order to efficiently operate a swarm of UAVs, it is necessary to address the various autonomous behaviors of its constituent elements, to achieve cooperation and suitability to complex scenarios. In order to do so, a novel method for modeling UAV swarm missions and determining behavior for the swarm elements was developed. The proposed method is based on bigraphs with tracking for modeling different tasks and agents activities related to the UAV swarm mission. The key finding of the study is the algorithm for determining all possible behavior policies for swarm elements achieving the objective of the mission within certain assumptions. The design method is scalable, highly automated, and problem-agnostic, which allows to incorporate it in solving different kinds of swarm tasks. Additionally, it separates the mission modeling stage from behavior determining thus allowing new algorithms to be used in the future. Two simulation case studies are presented to demonstrate how the design process deals with typical aspects of a UAV swarm mission.<\/jats:p>","DOI":"10.3390\/s21020622","type":"journal-article","created":{"date-parts":[[2021,1,20]],"date-time":"2021-01-20T03:34:25Z","timestamp":1611113665000},"page":"622","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["UAV Swarms Behavior Modeling Using Tracking Bigraphical Reactive Systems"],"prefix":"10.3390","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9465-2373","authenticated-orcid":false,"given":"Piotr","family":"Cybulski","sequence":"first","affiliation":[{"name":"Faculty of Cybernetics, Military University of Technology, ul. gen. S. Kaliskiego 2, 00-908 Warsaw, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5129-0448","authenticated-orcid":false,"given":"Zbigniew","family":"Zieli\u0144ski","sequence":"additional","affiliation":[{"name":"Faculty of Cybernetics, Military University of Technology, ul. gen. S. Kaliskiego 2, 00-908 Warsaw, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2021,1,17]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Wang, J., Tang, Y., Kavalen, J., Abdelzaher, A.F., and Pandit, S.P. (2018, January 12\u201315). Autonomous UAV Swarm: Behavior Generation and Simulation. Proceedings of the 2018 International Conference on Unmanned Aircraft Systems (ICUAS), Pearl Street Dallas, TX, USA.","DOI":"10.1109\/ICUAS.2018.8453464"},{"key":"ref_2","first-page":"1","article-title":"Human Interaction with Robot Swarms: A Survey","volume":"46","author":"Kolling","year":"2015","journal-title":"IEEE Trans. Hum. Mach. Syst."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Hamann, H. (2018). Swarm Robotics: A Formal Approach, Springer International Publishing AG.","DOI":"10.1007\/978-3-319-74528-2"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/978-3-540-30552-1_2","article-title":"Swarm Robotics: From Sources of Inspiration to Domains of Application","volume":"3342","author":"Sahin","year":"2005","journal-title":"Swarm Robot."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"100565","DOI":"10.1016\/j.swevo.2019.100565","article-title":"Review of methodologies and tasks in swarm robotics towards standardization","volume":"50","author":"Nedjah","year":"2019","journal-title":"Swarm Evol. Comput."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/jtbi.2002.3065","article-title":"Collective Memory and Spatial Sorting in Animal Groups","volume":"218","author":"Couzin","year":"2002","journal-title":"J. Theor. Biol."},{"key":"ref_7","unstructured":"Floreano, D., and Mattiussi, C. (2008). Bio-Inspired Artificial Intelligence: Theories, Methods, and Technologies, The MIT Press."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Byrski, A., and Kisiel-Dorohinicki, M. (2017). Evolutionary Multi-Agent Systems From Inspirations to Applications, Springer.","DOI":"10.1007\/978-3-319-51388-1"},{"key":"ref_9","unstructured":"Bullo, F., Cort\u00e9s, J., and Mart\u00ednez, S. Distributed Control of Robotic Networks, Available online: http:\/\/coordinationbook.info."},{"key":"ref_10","unstructured":"Schweitzer, F. (2002, January 18\u201320). Brownian Agent Models for Swarm and Chemotactic Interaction Brownian Agents. Proceedings of the Fifth German Workshop on Artificial Life, L\u00fcbeck, Germany."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Abelson, H., Allen, D., Coore, D., Hanson, C., Homsy, G., Knight, T.F.T., Nagpal, R., Rauch, E., Sussman, G., and Weiss, R. (2001). Amorphous Computing. Commun. ACM, 43.","DOI":"10.1145\/332833.332842"},{"key":"ref_12","first-page":"1175","article-title":"Protoswarm: A Language for Programming Multi-Robot Systems Using the Amorphous Medium Abstraction","volume":"Volume 3","author":"Bachrach","year":"2008","journal-title":"Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201908"},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Beal, J., and Viroli, M. (2016). Aggregate Programming: From Foundations to Applications. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Proceedings of the 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, 20\u201324 June 2016, Springer International Publishing.","DOI":"10.1007\/978-3-319-34096-8_8"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Graf, S., and Viswanathan, M. (2015). Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. Formal Techniques for Distributed Objects, Components, and Systems, Springer International Publishing.","DOI":"10.1007\/978-3-319-19195-9"},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Pianini, D., Viroli, M., and Beal, J. (2015, January 13\u201317). Protelis: Practical aggregate programming. Proceedings of the ACM Symposium on Applied Computing, Salamanca, Spain.","DOI":"10.1145\/2695664.2695913"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1007\/s00521-010-0355-y","article-title":"Steering self-organized robot flocks through externally guided individuals","volume":"19","author":"Sahin","year":"2010","journal-title":"Neural Comput. Appl."},{"key":"ref_17","unstructured":"Dudek, G., Jenkin, M., Milios, E., and Wilkes, D. (1993, January 26\u201330). A taxonomy for swarm robots. Proceedings of the 1993 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS \u201993), Yokohama, Japan."},{"key":"ref_18","first-page":"115","article-title":"A review of studies in swarm robotics","volume":"15","author":"Bayindir","year":"2007","journal-title":"Turk. J. Electr. Eng. Comput. Sci."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11721-012-0075-2","article-title":"Swarm Robotics: A Review from the Swarm Engineering Perspective","volume":"7","author":"Brambilla","year":"2013","journal-title":"Swarm Intell."},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Mermoud, G., Upadhyay, U., Evans, W.C., and Martinoli, A. (2014). Top-Down vs. Bottom-Up Model-Based Methodologies for Distributed Control: A Comparative Experimental Study. Experimental Robotics: The 12th International Symposium on Experimental Robotics, Springer.","DOI":"10.1007\/978-3-642-28572-1_42"},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"\u015eahin, E., and Spears, W.M. (2005). The SWARM-BOTS Project. Swarm Robotics, Springer.","DOI":"10.1007\/b105069"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Dorigo, M. (2009, January 15\u201318). Swarm-Bots and Swarmanoid: Two Experiments in Embodied Swarm Intelligence. Proceedings of the 2009 IEEE\/WIC\/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, Milan, Italy.","DOI":"10.1109\/WI-IAT.2009.377"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"966","DOI":"10.1016\/j.robot.2013.08.006","article-title":"Kilobot: A low cost robot with scalable operations designed for collective behaviors","volume":"62","author":"Rubenstein","year":"2014","journal-title":"Robot. Auton. Syst."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s11721-012-0072-5","article-title":"ARGoS: A Modular, Parallel, Multi-Engine Simulator for Multi-Robot Systems","volume":"6","author":"Pinciroli","year":"2012","journal-title":"Swarm Intell."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Rohmer, E., Singh, S.P.N., and Freese, M. (2013, January 3\u20137). CoppeliaSim (formerly V-REP): A Versatile and Scalable Robot Simulation Framework. Proceedings of the International Conference on Intelligent Robots and Systems (IROS), Tokyo, Japan.","DOI":"10.1109\/IROS.2013.6696520"},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Milner, R. (2009). The Space and Motion of Communicating Agents, Cambridge University Press.","DOI":"10.1017\/CBO9780511626661"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.entcs.2008.10.006","article-title":"Stochastic Bigraphs","volume":"218","author":"Krivine","year":"2008","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.tcs.2015.02.011","article-title":"Bigraphs with sharing","volume":"577","author":"Sevegnani","year":"2015","journal-title":"Theor. Comput. Sci."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Benford, S., Calder, M., Rodden, T., and Sevegnani, M. (2016). On Lions, Impala, and Bigraphs: Modelling Interactions in Physical\/Virtual Spaces. ACM Trans. Comput. Hum. Interact., 23.","DOI":"10.1145\/2882784"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Magoutis, K., and Pietzuch, P. (2014). Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. Distributed Applications and Interoperable Systems, Springer.","DOI":"10.1007\/978-3-662-43352-2"},{"key":"ref_31","unstructured":"Taki, A., Dib, E., and Sahnoun, Z. (2014, January 2\u20134). Formal Specification of Multi-Agent System Architecture. Proceedings of the ICAASE 2014 International Conference on Advanced Aspects of Software Engineering, Constantine, Algeria."},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Pereira, E., Potiron, C., Kirsch, C.M., and Sengupta, R. (2013, January 15\u201318). Modeling and controlling the structure of heterogeneous mobile robotic systems: A bigactor approach. Proceedings of the 2013 IEEE International Systems Conference (SysCon), Orlando, FL, USA.","DOI":"10.1109\/SysCon.2013.6549920"},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Agha, G. (1986). Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.dam.2018.07.006","article-title":"Executing bigraphical reactive systems","volume":"253","author":"Gassara","year":"2019","journal-title":"Discret. Appl. Math."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S., and Farzan, A. (2016). BigraphER: Rewriting and Analysis Engine for Bigraphs. Computer Aided Verification, Springer International Publishing.","DOI":"10.1007\/978-3-319-41528-4"},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Perrone, G., Debois, S., and Hildebrandt, T. (2012, January 26\u201330). A model checker for Bigraphs. Proceedings of the ACM Symposium on Applied Computing, Riva, Trento, Italy.","DOI":"10.1145\/2245276.2231985"},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Brutschy, A., Dorigo, M., and Birattari, M. (2014). Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking. ACM Trans. Auton. Adapt. Syst., 9.","DOI":"10.1145\/2700318"},{"key":"ref_38","unstructured":"Cybulski, P. (2021, January 15). Tracking_Bigraph Library. Available online: https:\/\/github.com\/zajer\/trs."},{"key":"ref_39","unstructured":"Cybulski, P. (2021, January 05). Exemplary Implementation of A Software to Transform TBRS into State Space. Available online: https:\/\/github.com\/zajer\/trs-ssp-bridge."},{"key":"ref_40","unstructured":"Cybulski, P. (2021, January 15). A Library for Calculating State Space Policies. Available online: https:\/\/github.com\/zajer\/state_space_policy."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/21\/2\/622\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T05:12:10Z","timestamp":1760159530000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/21\/2\/622"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,17]]},"references-count":40,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2021,1]]}},"alternative-id":["s21020622"],"URL":"https:\/\/doi.org\/10.3390\/s21020622","relation":{},"ISSN":["1424-8220"],"issn-type":[{"value":"1424-8220","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,17]]}}}