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

  • Elisabetta De Maria
  • Alexandre Muzy
  • Daniel Gaffé
  • Annie Ressouche
  • Franck Grammont
Conference paper

DOI: 10.1007/978-3-319-47151-8_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9957)
Cite this paper as:
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: Cinquemani E., Donzé A. (eds) Hybrid Systems Biology. HSB 2016. Lecture Notes in Computer Science, vol 9957. Springer, Cham

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.

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Elisabetta De Maria
    • 1
  • Alexandre Muzy
    • 1
  • Daniel Gaffé
    • 2
  • Annie Ressouche
    • 3
  • Franck Grammont
    • 4
  1. 1.Université Côte d’Azur, CNRS, I3SSophia AntipolisFrance
  2. 2.Université Côte d’Azur, CNRS, LEATSophia AntipolisFrance
  3. 3.Université Côte d’Azur, InriaSophia AntipolisFrance
  4. 4.Université Côte d’Azur, CNRS, LJADNiceFrance

Personalised recommendations