Multiscale System Modeling of Biochemical Pathways

Krishnendu Ghosh

8th International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)

Research Article

Multiscale System Modeling of Biochemical Pathways

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/icst.bict.2014.258008,
    author={Krishnendu Ghosh},
    title={Multiscale System Modeling of Biochemical Pathways},
    proceedings={8th International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)},
    publisher={ICST},
    proceedings_a={BICT},
    year={2015},
    month={2},
    keywords={formal modeling systems biology model checking algorithms},
    doi={10.4108/icst.bict.2014.258008}
}

Krishnendu Ghosh
Year: 2015
Multiscale System Modeling of Biochemical Pathways
BICT
ACM
DOI: 10.4108/icst.bict.2014.258008

Krishnendu Ghosh^,*

*Contact email: ghoshk@miamioh.edu

Abstract

Querying by temporal logic as a reasoning mechanism on a system representing multiscale processes is important in understanding the details of multiscale processes, in particular in models of biochemical pathways. A novel formalism representing a system of multiscale biochemical pathways is described. The definitions of multiscale model in discrete domains are represented in the form of a labeled transition system. A polynomial time algorithm is constructed for
identification of systems representing multiscale pathways

Keywords: formal modeling systems biology model checking algorithms

Published: 2015-02-02
Publisher: ICST
Appears in: ACM Digital Library

: http://dx.doi.org/10.4108/icst.bict.2014.258008