From Brain Models to Executable Digital Twins: Execution Semantics and Neuro-Neuromorphic Systems
TLDR
This survey introduces physically constrained executability to unify approaches for brain digital twins, focusing on execution semantics across diverse systems.
Key contributions
- Introduces "physically constrained executability" to unify brain digital twin approaches.
- Proposes a taxonomy of execution regimes from isolated offline models to neuro-neuromorphic systems.
- Emphasizes execution semantics for comparing heterogeneous brain modeling approaches.
- Motivates an agenda for semantic interoperability, hybrid-time correctness, and validation.
Why it matters
Current brain digital twin approaches are fragmented. This survey introduces a unifying perspective based on "physically constrained executability" and execution semantics. It provides a crucial framework for comparing and advancing these complex systems, essential for future mechanistic understanding and clinical interventions.
Original Abstract
Brain digital twins aim to provide faithful, individualized computational representations of brains as dynamical systems, enabling mechanistic understanding and supporting prediction of clinical interventions. Yet current approaches remain fragmented across data pipelines, model classes, temporal scales, and computing platforms, which prevents the preservation of execution semantics across the end-toend workflow. This survey introduces physically constrained executability as a unifying perspective for comparing approaches at the level of execution: whether an execution state is persistent, which events are permitted to update it (simulation, measurement, actuation), and how strongly execution is temporally and causally coupled to neurobiological dynamics. Building on modeling and simulation theory, I propose a taxonomy of execution regimes ranging from isolated offline models to coordinated co-simulation, to continuously executing digital twins sustained by online data assimilation, and ultimately to neuro-neuromorphic physical systems in which biological and computational dynamics are co-executed under shared physical constraints. The executability concept clarifies why accuracy alone is insufficient, and motivates an agenda centered on semantic interoperability, hybrid-time correctness, evaluation protocols, scalable reproducible workflows, and safe closed-loop validation. This survey adopts a systems and runtime-oriented perspective, enabling comparison of heterogeneous approaches based on their execution semantics rather than on model form or application domain alone.
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.