Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models

Abstract : There exists many ways to connect two, three or more neurons together to form different graphs. We call archetypes only the graphs whose properties can be associated with specific classes of biologically relevant structures and behaviors. These archetypes are supposed to be the basis of typical instances of neuronal information processing. To model different representative archetypes and express their temporal properties, we use a synchronous programming language dedicated to reactive systems (Lustre). The properties are then automatically validated thanks to several model checkers supporting data types. The respective results are compared and depend on their underlying abstraction methods.
Type de document :
Rapport
[Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21
Liste complète des métadonnées

https://hal.inria.fr/hal-01349019
Contributeur : Annie Ressouche <>
Soumis le : mardi 26 juillet 2016 - 15:37:13
Dernière modification le : vendredi 16 septembre 2016 - 15:19:46

Fichier

RR-8937.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01349019, version 1

Collections

Citation

Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21. <hal-01349019>

Partager

Métriques

Consultations de
la notice

128

Téléchargements du document

56