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.
CITATION STYLE
De Maria, E., Muzy, A., Gaffé, D., Ressouche, A., & Grammont, F. (2016). Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9957 LNBI, pp. 97–112). Springer Verlag. https://doi.org/10.1007/978-3-319-47151-8_7
Mendeley helps you to discover research relevant for your work.