Formal methods for the analysis of modular gEnetic ReGulatOry network DynamiCs (ERGODiC )

Type: National Project Project

Duration: from 2016 Jul 01 to 2019 Jun 30

Financed by: FCT (PTDC/EEICTP/2914/2014)

Prime Contractor: R - INESC-ID Lisboa (Other) - Lisboa, Portugal

We aim to develop methods to assist modelers in the analysis of logical models of regulatory-signaling networks. In particular, we aim to assess the model's attractors and basins of attraction, including their reachability properties. To achieve this goal, we will rely on formal methods that have been successfully applied to the development and verification of software and hardware systems, such as Boolean Satisfiability (SAT) and model checking, for the analysis of discrete dynamical systems. Overall, our proposed developments are expected to provide means for a deeper and comprehensive understanding of how regulatory-signaling networks drive cellular processes. Additionally, even though the results to be achieved in the context of this project have a direct application in the field of Systems Biology, the formal methods supporting those results can benefit all applications based on discrete event systems.


  • F - Fundação Calouste Gulbenkian (Other) - Lisboa, Portugal
  • R - INESC-ID Lisboa (Other) - Lisboa, Portugal

Principal Investigators