arXiv subjects

Alexandre Muzy

Publications and source records attributed to Alexandre Muzy.

8 recordsLinked to original sources

arXiv2026

From Brain Models to Executable Digital Twins: Execution Semantics and Neuro-Neuromorphic Systems

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.

cs.CE↗

arXiv2026

Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems

Cyber-Physical Systems (CPS) produce behavior through execution on substrates coupling computation with physical processes. However, usual engineering approaches do not treat execution semantics as first-class engineering entities. Formal verification reasons about model behaviors under fixed semantic assumptions that are not revisable and do not account for physical execution constraints. Simulation-based validation explores scenarios under execution semantics that are implicitly determined by the simulation engine. In both cases, physical constraints of the execution substrate are addressed as implementation details rather than as semantic boundary conditions. In this article, it is hypothesized that making execution semantics explicit as first-class engineering entities is necessary and sufficient to bridge the gap between verified model behaviors and validated executed behaviors in CPS. To test this hypothesis, Modeling and Simulation Based Engineering (MSBE) is proposed: a methodology grounded in the Theory of Modeling and Simulation. MSBE formalizes execution conditions as four components: execution semantics, activity (behaviorally meaningful changes), admissibility constraints (physical bounds), and specified properties (behavioral guarantees). MSBE organizes engineering around an iterative cycle alternating formal execution, experimental execution, verification, and activity-mediated validation. Executability is defined as stabilization of execution conditions and the induced admissible model space. The cycle is applied to four CPS classes (human-centric, biophysical, technological, and digital twins). These applications show that the framework generalizes beyond CPS to any system whose behavior depends on explicitly defined execution conditions. Modeling and Simulation-Based Engineering

cs.SE↗

arXiv2025

Delay Neural Networks (DeNN) for exploiting temporal information in event-based datasets

In Deep Neural Networks (DNN) and Spiking Neural Networks (SNN), the information of a neuron is computed based on the sum of the amplitudes (weights) of the electrical potentials received in input from other neurons. We propose here a new class of neural networks, namely Delay Neural Networks (DeNN), where the information of a neuron is computed based on the sum of its input synaptic delays and on the spike times of the electrical potentials received from other neurons. This way, DeNN are designed to explicitly use exact continuous temporal information of spikes in both forward and backward passes, without approximation. (Deep) DeNN are applied here to images and event-based (audio and visual) data sets. Good performances are obtained, especially for datasets where temporal information is important, with much less parameters and less energy than other models.

cs.NE↗

arXiv2023

Provable local learning rule by expert aggregation for a Hawkes network

We propose a simple network of Hawkes processes as a cognitive model capable of learning to classify objects. Our learning algorithm, named HAN for Hawkes Aggregation of Neurons, is based on a local synaptic learning rule based on spiking probabilities at each output node. We were able to use local regret bounds to prove mathematically that the network is able to learn on average and even asymptotically under more restrictive assumptions.

math.ST↗

arXiv2020

Efficient Simulation of Sparse Graphs of Point Processes

We derive new discrete event simulation algorithms for marked time point processes. The main idea is to couple a special structure, namely the associated local independence graph, as defined by Didelez arXiv:0710.5874, with the activity tracking algorithm [muzy, 2019] for achieving high performance asynchronous simulations. With respect to classical algorithm, this allows reducing drastically the computational complexity, especially when the graph is sparse. [muzy, 2019] A. Muzy. 2019. Exploiting activity for the modeling and simulation of dynamics and learning processes in hierarchical (neurocognitive) systems. (Submitted to) Magazine of Computing in Science & Engineering (2019)

stat.CO↗

arXiv2019

Event-scheduling algorithms with Kalikow decomposition for simulating potentially infinite neuronal networks

Event-scheduling algorithms can compute in continuous time the next occurrence of points (as events) of a counting process based on their current conditional intensity. In particular event-scheduling algorithms can be adapted to perform the simulation of finite neuronal networks activity. These algorithms are based on Ogata's thinning strategy \cite{Oga81}, which always needs to simulate the whole network to access the behaviour of one particular neuron of the network. On the other hand, for discrete time models, theoretical algorithms based on Kalikow decomposition can pick at random influencing neurons and perform a perfect simulation (meaning without approximations) of the behaviour of one given neuron embedded in an infinite network, at every time step. These algorithms are currently not computationally tractable in continuous time. To solve this problem, an event-scheduling algorithm with Kalikow decomposition is proposed here for the sequential simulation of point processes neuronal models satisfying this decomposition. This new algorithm is applied to infinite neuronal networks whose finite time simulation is a prerequisite to realistic brain modeling.

stat.CO↗

arXiv2012

Optimal phenotypic plasticity in a stochastic environment minimizes the cost/benefit ratio

This paper addresses the question of optimal phenotypic plasticity as a response to environmental fluctuations while optimizing the cost/benefit ratio, where the cost is energetic expense of plasticity, and benefit is fitness. The dispersion matrix \Sigma of the genes' response (H = ln|\Sigma|) is used: (i) in a numerical model as a metric of the phenotypic variance reduction in the course of fitness optimization, then (ii) in an analytical model, in order to optimize parameters under the constraint of limited energy availability. Results lead to speculate that such optimized organisms should maximize their exergy and thus the direct/indirect work they exert on the habitat. It is shown that the optimal cost/benefit ratio belongs to an interval in which differences between individuals should not substantially modify their fitness. Consequently, even in the case of an ideal population, close to the optimal plasticity, a certain level of genetic diversity should be long conserved, and a part, still to be determined, of intra-populations genetic diversity probably stem from environment fluctuations. Species confronted to monotonous factors should be less plastic than vicariant species experiencing heterogeneous environments. Analogies with the MaxEnt algorithm of E.T. Jaynes (1957) are discussed, leading to the conjecture that this method may be applied even in case of multivariate but non multinormal distributions of the responses.

q-bio.PE↗

arXiv2009

Activatability for simulation tractability of NP problems: Application to Ecology

Dynamics of biological-ecological systems is strongly depending on spatial dimensions. Most of powerful simulators in ecology take into account for system spatiality thus embedding stochastic processes. Due to the difficulty of researching particular trajectories, biologists and computer scientists aim at predicting the most probable trajectories of systems under study. Doing that, they considerably reduce computation times. However, because of the largeness of space, the execution time remains usually polynomial in time. In order to reduce execution times we propose an activatability-based search cycle through the process space. This cycle eliminates the redundant processes on a statistical basis (Generalized Linear Model), and converges to the minimal number of processes required to match simulation objectives.

q-bio.QM↗