Systems biology aims to facilitate the understanding of complex interactions between components in biological systems. Petri nets (PN), and in particular Coloured Petri Nets (CPN) have been demonstrated to be a suitable formalism for modelling biological systems and building computational models over multiple spatial and temporal scales. To explore the complex and high-dimensional solution space over the behaviours generated by such models, we propose a clustering methodology which combines principal component analysis (PCA), distance similarity and density factors through the application of DBScan. To facilitate the interpretation of clustering results and enable further analysis using model checking we apply a pattern mining approach aimed at generating high-level classificatory descriptions of the clusters' behaviour in temporal logic. We illustrate the power of our approach through the analysis of two case studies: multiple knockdown of the Mitogen-activated protein-kinase (MAPK) pathway, and selective knockout of Planar Cell Polarity (PCP) signalling in Drosophila wing.

Gilbert, D., Gao, Q., Messina, V., Maccagnola, D. (2012). A machine learning approach for generating temporal logic classifications of complex model behaviours. In Winter Simulation Conference. Proceedings 2012 (pp.1-12). Institute of Electrical and Electronics Engineers [10.1109/WSC.2012.6465202].

A machine learning approach for generating temporal logic classifications of complex model behaviours

MESSINA, VINCENZINA;MACCAGNOLA, DANIELE
2012

Abstract

Systems biology aims to facilitate the understanding of complex interactions between components in biological systems. Petri nets (PN), and in particular Coloured Petri Nets (CPN) have been demonstrated to be a suitable formalism for modelling biological systems and building computational models over multiple spatial and temporal scales. To explore the complex and high-dimensional solution space over the behaviours generated by such models, we propose a clustering methodology which combines principal component analysis (PCA), distance similarity and density factors through the application of DBScan. To facilitate the interpretation of clustering results and enable further analysis using model checking we apply a pattern mining approach aimed at generating high-level classificatory descriptions of the clusters' behaviour in temporal logic. We illustrate the power of our approach through the analysis of two case studies: multiple knockdown of the Mitogen-activated protein-kinase (MAPK) pathway, and selective knockout of Planar Cell Polarity (PCP) signalling in Drosophila wing.
No
paper
Machine Learning; temporal logic
English
Winter Simulation conference
978-146734779-2
http://informs-sim.org/wsc12papers/includes/files/inv125.pdf
Gilbert, D., Gao, Q., Messina, V., Maccagnola, D. (2012). A machine learning approach for generating temporal logic classifications of complex model behaviours. In Winter Simulation Conference. Proceedings 2012 (pp.1-12). Institute of Electrical and Electronics Engineers [10.1109/WSC.2012.6465202].
Gilbert, D; Gao, Q; Messina, V; Maccagnola, D
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/43215
Citazioni
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 0
Social impact