Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2016

Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models

Vérification de propriétés temporelles d'archéypes de neurones à l'aide de modèles synchrones

Résumé

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.
Fichier principal
Vignette du fichier
RR-8937.pdf (1.08 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01349019 , version 1 (26-07-2016)

Identifiants

  • HAL Id : hal-01349019 , version 1

Citer

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⟩
280 Consultations
278 Téléchargements

Partager

Gmail Facebook X LinkedIn More