Literature & References

A curated, yet open-ended, collection of works that have shaped the ongoing draft of "cyber-physics" as presented on this website. It reflects the integration of theory and practice in computer science, grounded in well-established and widely understood foundations.

Computation and Information

General

• S. Wolfram, A New Kind of Science. Wolfram Media, Inc., 2016. wolframscience.com/nks
• T. Toffoli and N. Margolus, Cellular Automata Machines: A New Environment for Modeling. The MIT Press, 1987.   doi:10.7551/mitpress/1763.001.0001
• F. E. Rosas et al., “Software in the natural world: A computational approach to hierarchical emergence.” arXiv, June 05, 2024.   doi: 10.48550/arXiv.2402.09090
• M. Prokopenko, Ed., Guided Self-Organization: Inception, vol. 9. in Emergence, Complexity and Computation, vol. 9. Berlin, Heidelberg: Springer, 2014. doi: 10.1007/978-3-642-53734-9

Spatial Computing

• J. Beal, S. Dulman, K. Usbeck, M. Viroli, and N. Correll, “Organizing the Aggregate: Languages for Spatial Computing.” arXiv, Apr. 03, 2012. Available: http://arxiv.org/abs/1202.5509.
• J.-L. Giavitto and A. Spicher, “Topological rewriting and the geometrization of programming,” Physica D: Nonlinear Phenomena, vol. 237, no. 9, pp. 1302–1314, July 2008, doi: 10.1016/j.physd.2008.03.039.

Engineering of Cyber-Physical Software Systems

General

• S. Braun et al., “Engineering Digital Twins and Digital Shadows as Key Enablers for Industry 4.0,” in Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective, B. Vogel-Heuser and M. Wimmer, Eds., Berlin, Heidelberg: Springer, 2023, pp. 3–31. doi:10.1007/978-3-662-65004-2_1
• E. Evans, Domain-Driven Design: Tackling Complexity in the Heart of Software. Boston: Pearson International, 2003. PDF (Final Manuscript, April 15, 2003)
• R. Heckel and G. Taentzer, Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering. Cham: Springer International Publishing, 2020. doi:10.1007/978-3-030-43916-3
• E. A. Lee, R. Akella, S. Bateni, S. Lin, M. Lohstroh, and C. Menard, “Consistency vs. Availability in Distributed Cyber-Physical Systems,” ACM Trans. Embed. Comput. Syst., vol. 22, no. 5s, p. 138:1-138:24, Sept. 2023, doi: 10.1145/3609119
• J. Pfeiffer et al., “Towards a Unifying Reference Model for Digital Twins of Cyber-Physical Systems.” arXiv, July 07, 2025. 10.48550/arXiv.2507.04871

Robotics

• M. Askarpour, D. Mandrioli, M. Rossi, and F. Vicentini, “Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications,” in Computer Safety, Reliability, and Security, S. Tonetta, E. Schoitsch, and F. Bitsch, Eds., Cham: Springer International Publishing, 2017, pp. 89–104. doi:10.1007/978-3-319-66266-4_6
• M. Askarpour, D. Mandrioli, M. Rossi, and F. Vicentini, “A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications,” in Perspectives of System Informatics, A. K. Petrenko and A. Voronkov, Eds., Cham: Springer International Publishing, 2018, pp. 12–27. doi:10.1007/978-3-319-74313-4_2
• D. Porfirio, A. Sauppé, A. Albarghouthi, and B. Mutlu, “Authoring and Verifying Human-Robot Interactions,” in Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology, in UIST ’18. New York, NY, USA: ACM, 2018, pp. 75–86. doi: 10.1145/3242587.3242634
• M. Colledanchise and P. Ögren, Behavior Trees in Robotics and AI: An Introduction. 2018. doi: 10.1201/9780429489105. 10.1201/9780429489105
• G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas, “Temporal Logic Motion Planning for Mobile Robots,” in Proceedings of the 2005 IEEE International Conference on Robotics and Automation, Apr. 2005, pp. 2020–2025. doi: 10.1109/ROBOT.2005.1570410

AI

• J. Schmidhuber, “On Learning to Think: Algorithmic Information Theory for Novel Combinations of Reinforcement Learning Controllers and Recurrent Neural World Models.” arXiv, Nov. 30, 2015. doi: 10.48550/arXiv.1511.09249
• J. Schmidhuber, “One Big Net For Everything.” arXiv, Feb. 24, 2018. doi: 10.48550/arXiv.1802.08864. Available: http://arxiv.org/abs/1802.08864.
• E. Meijer, “Virtual Machinations: Using Large Language Models as Neural Computers: LLMs can function not only as databases, but also as dynamic, end-user programmable neural computers.,” Queue, vol. 22, no. 3, p. Pages 70:25-Pages 70:52, July 2024, doi: 10.1145/3676287

Foundational Mathematics

Category Theory

• S. Mac Lane, Categories for the Working Mathematician, vol. 5 in Graduate Texts in Mathematics. New York, NY: Springer, 1978. doi:10.1007/978-1-4757-4721-8
• F. W. Lawvere and S. H. Schanuel, Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, 1997.

Graph Transformation Systems / Process Algebra

• H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamentals of Algebraic Graph Transformation. in Monographs in Theoretical Computer Science. An EATCS Series. Berlin Heidelberg: Springer-Verlag, 2006. doi:10.1007/3-540-31188-2
• R. Milner, The Space and Motion of Communicating Agents, 1st ed. New York, NY, USA: Cambridge University Press, 2009. doi: 10.1017/CBO9780511626661

Quantum Causal Graph Dynamics

• P. Arrighi and S. Martiel, “Quantum Causal Graph Dynamics,” Phys. Rev. D, vol. 96, no. 2, p. 8, July 2017, doi: 10.1103/PhysRevD.96.024026
• S. Martiel, “Algorithmical and mathematical approaches of causal graph dynamics,” PhD thesis, Université Nice Sophia Antipolis, 2015. Available: https://theses.hal.science/tel-01188690