A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain

Un Modèle Formel Probabiliste du Circuit du Contrôle Inhibiteur dans le Cerveau

Résumé

The decline of inhibitory control efficiency in aging subjects with neurodegenerative diseases is due to anatomical and functional changes in (pre)frontal regions of the brain. Among these regions, the basal ganglia play a central role in the inhibitory control loop. We propose a probabilistic formal model of the biological neural network governing the inhibitory control function and we study some of its relevant dynamic properties. We also explore how parameter variations influence the probability for the model to display some key behaviors. We model the different structures of the inhibitory control loop thanks to discrete Markov chains representing Leaky Integrate and Fire neurons. The model is implemented and verified using the PRISM framework. The final aim is to detect sources of pathological behaviors in the neural network responsible for inhibitory control.
Fichier principal
Vignette du fichier
Article8.pdf (446.7 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03999574 , version 1 (21-02-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-03999574 , version 1

Citer

Elisabetta de Maria, Benjamin Lapijover, Thibaud l'Yvonnet, Sabine Moisan, Jean-Paul Rigault. A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain. BIOINFORMATICS 2023 - 14th International Conference on Bioinformatics Models, Methods and Algorithms, Feb 2023, Lisbonne, Portugal. ⟨hal-03999574⟩
30 Consultations
41 Téléchargements

Partager

Gmail Facebook X LinkedIn More