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

Elisabetta De Maria 1, 2 Alexandre Muzy 1, 2 Daniel Gaffé 3 Annie Ressouche 4 Franck Grammont 5
1 I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
2 MDSC - Modèles Discrets pour les Systèmes Complexes
3 LEAT - Laboratoire d'Electronique, Antennes et Télécommunications
4 STARS - Spatio-Temporal Activity Recognition Systems
CRISAM - Inria Sophia Antipolis - Méditerranée
5 JAD - Laboratoire Jean Alexandre Dieudonné
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.
Type de document :
Communication dans un congrès
HSB 2016 - 5th International Workshop Hybrid Systems Biology, Oct 2016, Grenoble, France. pp.15, 2016, Lecture Notes in Bioinformatics series. 〈http://hsb2016.imag.fr/〉. 〈10.1007/978-3-319-47151-8_7〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01377288
Contributeur : Annie Ressouche <>
Soumis le : jeudi 6 octobre 2016 - 16:30:27
Dernière modification le : lundi 18 juin 2018 - 23:10:04
Document(s) archivé(s) le : vendredi 3 février 2017 - 17:38:40

Fichier

DMGRG16HSBfinal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

DIEUDONNE | UNICE | INRIA | I3S | UNIV-COTEDAZUR

Citation

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, 2016, Lecture Notes in Bioinformatics series. 〈http://hsb2016.imag.fr/〉. 〈10.1007/978-3-319-47151-8_7〉. 〈hal-01377288〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

314

Téléchargements de fichiers

81

Contact


archive-ouverte@inria.fr