Asset Details
Do you wish to reserve the book?
Systematic Verification and Validation of the LANA Agent-Based Spiking Neural Network Model
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
Systematic Verification and Validation of the LANA Agent-Based Spiking Neural Network Model
Do you wish to request the book?
Systematic Verification and Validation of the LANA Agent-Based Spiking Neural Network Model
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Journal Article
Systematic Verification and Validation of the LANA Agent-Based Spiking Neural Network Model
2026
Overview
Spiking neural networks can exhibit complex emergent dynamics, but the credibility of spatially explicit agent-based implementations depends on systematic verification and validation (V&V). This study introduces LANA (Local Adaptive Neural Agents), an agent-based spiking neural network in which neurons, propagating signals, directed synapses, and a diffusive environmental field are represented as distinct interacting components. We present a five-level V&V framework spanning operator-level tests, single-neuron mechanisms, propagation behavior, network-level dynamics, and sensitivity/robustness analysis. Across 13 predefined tests and approximately 2000 simulation runs, the model satisfied all prespecified pass criteria: synaptic delays reproduced the expected propagation law exactly, environmental decay and diffusion matched analytical expectations, threshold and refractory mechanisms behaved as predicted, inhibition suppressed firing monotonically, and environmental coupling induced a transition toward higher variability and oscillatory-like activity. Matched-seed comparisons further showed that explicit signal transport and environmental feedback substantially amplify activity relative to a neuron-only baseline while leaving synaptic delay propagation unchanged. Additional regime and lesion experiments demonstrated distinct resting, hyperexcitable, and focal-lesion states, with the lesion condition producing an acute decline followed by only partial recovery. Together, these results provide a transparent V&V baseline for LANA and illustrate how agent-based spiking models can be tested and interpreted across multiple scales.
Publisher
MDPI AG
