Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems

(1, 2) , (1, 2) , (3) , (4) , (5)
1
2
3
4
5

Abstract

There exists many ways to connect two, three or more neu-rons 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
DMGRG16HSBfinal.pdf (598.57 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01377288 , version 1 (06-10-2016)

Identifiers

Cite

Elisabetta de Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. HSB 2016 - 5th International Workshop Hybrid Systems Biology, Oct 2016, Grenoble, France. pp.15, ⟨10.1007/978-3-319-47151-8_7⟩. ⟨hal-01377288⟩
278 View
162 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More