Modelling and Formal Verification of Neuronal Archetypes Coupling

Abstract : In the literature, neuronal networks are often represented as graphs where each node symbolizes a neuron and each arc stands for a synaptic connection. Some specific neuronal graphs have biologically relevant structures and behaviors and we call them archetypes. Six of them have already been characterized and validated using formal methods. In this work, we tackle the next logical step and proceed to the study of the properties of their couplings. For this purpose, we rely on Leaky Integrate and Fire neuron modeling and we use the synchronous programming language Lustre to implement the neuronal archetypes and to formalize their expected properties. Then, we exploit an associated model checker called kind2 to automatically validate these behaviors. We show that, when the archetypes are coupled, either these behaviors are slightly modulated or they give way to a brand new behavior. We can also observe that different archetype couplings can give rise to strictly identical behaviors. Our results show that time coding modeling is more suited than rate coding modeling for this kind of studies.
Type de document :
Communication dans un congrès
CSBio 2017 - 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang, Vietnam. 17, 2017, 〈10.1145/3156346.3156348〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01643862
Contributeur : Annie Ressouche <>
Soumis le : jeudi 7 décembre 2017 - 11:17:58
Dernière modification le : jeudi 7 décembre 2017 - 13:35:44

Fichier

DLMG17CSBIO-sigconf-author-pap...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Elisabetta De Maria, Thibaud L 'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont. Modelling and Formal Verification of Neuronal Archetypes Coupling . CSBio 2017 - 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang, Vietnam. 17, 2017, 〈10.1145/3156346.3156348〉. 〈hal-01643862〉

Partager

Métriques

Consultations de la notice

63

Téléchargements de fichiers

4