10 papers · ranked by Valyu relevance
Barak Or
We introduce a supervisory runtime stability framework that treats optimization as a controlled stochastic process. By isolating an innovation signal derived from secondary measurements, such as validation probes, the framework enables automatic detection and recovery from destabilizing updates without modifying the…
Mohd. Gayas Ansari, Pragya Shukla
The spectral behaviour of the synaptic matrix, representing the neuronal connection strengths, is an important tool to analyze the stability and transient dynamics of a typical brain as well as its learning process and memory capacity. The complexity of the brain due to large number of neurons as well as underlying…
Cipollina, Matteo, Karatarakis, Michail + 2 more
Neural networks are widely used, yet their analysis and verification remain challenging. In this work, we present a Lean 4 formalization of neural networks, covering both deterministic and stochastic models. We first formalize Hopfield networks, recurrent networks that store patterns as stable states. We prove…
Adel Bechihi, Aristotelis Kapnopoulos
— Estimating the Region of Attraction (RoA) for nonlinear dynamical systems is a fundamental problem in control theory, with direct implications for stability analysis and safe controller design. Traditional approaches rely on analytically derived Lyapunov functions, which are often conservative and challenging to…
David Lipshutz, Robert J. Lipshutz
Biological neural networks self-organize according to local synaptic modifications to produce stable computations. How modifications at the synaptic level give rise to such computations at the network level remains an open question. Pehlevan et al. [[1]] proposed a model of a selforganizing neural network with Hebbian…
Ruofeng Rao, Jialin Huang, Xiaodi Li
In this paper, Lyapunov-Razumikhin technique, design of state-dependent switching laws, a fixed point theorem and variational methods are employed to derive the existence and the unique existence results of globally exponentially stable (positive) stationary solution of delayed reaction–diffusion cell neural networks…
Facundo Emina, Emilio Kropff
Continuous Attractor Neural Networks (CANNs) traditionally rely on pre-wired recurrent connectivity to model spatial representations, path integration, and anticipatory dynamics. However, the biological mechanisms through which this structured connectivity emerges via learning remain relatively unexplored. This work…
Tommaso Trabocchi, Raffaella Burioni, Lucilla de Arcangelis, Duccio Fanelli
A generalized version of the Wilson-Cowan (WC) model is proposed which accounts for the evolution of the synaptic resources. Adiabatic elimination of the fast variables is performed to yield a simplified framework for the coupled interaction between active excitatory and inhibitory neurons. The latter model is shown to…
Shinnosuke Touda, Hirotsugu Okuno
— Spiking neural networks (SNNs) employing unsupervised learning methods inspired by neural plasticity are expected to be a new framework for artificial intelligence. In this study, we investigated the effect of multiple types of neural plasticity, such as spike-time-dependent plasticity (STDP) and synaptic scaling, on…
Korotkov, Alexander, Syundyukova, Ekaterina + 4 more
In this article the generalized Lotka–Volterra model of ensemble of four excitory or inhibitory coupled elements are studied. It is shown that in the phase space of the model there exist heteroclinic network: a connected union of two or more heteroclinic cycles. A partition of the plane of coupling's parameters into…