Further Resources

This website introduces the basic tools and mathematics of Bigraphical Models for swarm systems.

Some resources are available for learning more about this approach.

Here are some of them:

• J. Beal, S. Dulman, K. Usbeck, M. Viroli, and N. Correll, “Organizing the Aggregate: Languages for Spatial Computing.” arXiv, Apr. 03, 2012.
• Prokopenko, M. (Hrsg.): Guided Self-Organization: Inception, Emergence, Complexity and Computation. Bd. 9. Berlin, Heidelberg: Springer, 2014 — ISBN 978-3-642-53733-2
• J. L. Fernandez-Marquez, G. Di Marzo Serugendo, S. Montagna, M. Viroli, and J. L. Arcos, “Description and composition of bio-inspired design patterns: a complete overview,” Nat Comput, vol. 12, no. 1, pp. 43–67, Mar. 2013, doi: 10.1007/s11047-012-9324-y
• Pereira, Eloi; Krainer, Clemens; da Silva, Pedro Marques; Kirsch, Christoph M.; Sengupta, Raja: A runtime system for logical-space programming. In: Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud, SWEC ’15. New York, NY, USA : Association for Computing Machinery, 2015 — ISBN 978-1-4503-3595-9, S. 28–33
• Pereira, Eloi: Mobile Reactive Systems over Bigraphical Machines - A Programming Model and its Implementation. Berkeley, University of California, Dissertation, 2015
• Pereira, Eloi; da Silva, Pedro Marques; Krainer, Clemens; Sengupta, Raja; Kirsch, Christoph M.: Computation over Worlds with Dynamic Structure. In: 3rd International Workshop on Bigraphs, 2013
• Cybulski, Piotr; Zieliński, Zbigniew: UAV Swarms Behavior Modeling Using Tracking Bigraphical Reactive Systems. In: Sensors Bd. 21, Multidisciplinary Digital Publishing Institute (2021), Nr. 2, S. 622
• Grzelak, Dominik: "Programming Drone Collectives: Towards Safe Plug-And-Play Modularity," in Proceedings of the 1st German Robotics Conference (GRC), Nürnberg, Germany: Robotics Institute Germany, Mar. 2025. Available: https://ras.papercept.net/conferences/conferences/GRC25/program/GRC25_ContentListWeb_1.html#thga_58. — Standalone video contribution (demo video, abstract, and poster)
• Initial Documentation and Theory of Bi-Spatial Structure, i.e., Topology-aware Bigraphs (Preprint) A Bigraphical Framework for Modeling and Simulation of UAV-based Inspection Scenarios
• Tools and Code (UniAgent Platform): https://github.com/UniAgent-Platform, https://github.com/orgs/UniAgent-CyberPhysicalAssets/