where is the set of environmental stimuli and is the set of cellular responses

1
where is the set of environmental stimuli and is the set of cellular responses. We consider then the following basal metabolism for normal operation: A System-Theoretic Modeling Framework for Cellular Processes A System-Theoretic Modeling Framework for Cellular Processes Aims & Objectives: We introduce an abstract and general compact mathematical framework of intracellular dynamics, regulation and regime switching inspired by (M,R)-theory and based on hybrid automata. The theory of hybrid systems allows us to complement continuous dynamics, which form the basis for many pathway model, with other regulatory or response levels that include changes to the elementary structure of dynamics. The hybrid automaton may accept several executions and thus can represent the uncertainty of the cellular dynamics. (M,R)-Theory for Biological Cellular Processes Following Casti’s presentation (Casti, 1988), we consider first metabolic act ivity, represented by the mapping : h * * * ( ). h For deviations to the normal function, including external and internal disturbances to the cell’s chemical activity, we introduce a repair map: * : (,) h H with the boundary condition . Since the repair component itself can be subject to disturbances, we require a further regulatory element, referred to as a replication map: * * * ( ) h h * : (,) (, (,)) h H G H with the boundary condition , where denotes the family of all repair maps. We can summarize the abstract mode l structure for cellular processes in terms of the following morphisms: * * * () h h h (, (,)) G H * * * (,) (, (,)) h h h H G H with boundary conditions * * * ( ) h h and * * * () h h h If the dynamics encoded by , and its regulatory or supervisory components are not sufficient to cope with external disturbances or fluctuations, the next level of response is a transition to an alternative dynamic regime, for which we here introduce the discrete transition map . The conceptual framework developed here is outlined in the following diagram. h * (), h * () h h (,) H (,(,)) G H * h * h N orm alphase Repairphase Replication phase M utation phase Dynamical Models and (M,R)-Systems We regard cellular processes as a dynamical system and focus on the inputs and the outputs and states The dynamics of the cellular system is governed by (): m t (): , r t (): , p t (): . n xt X (,,) () x fx x where the environment variable is a function of a time-varying external disturbance and a constant internal control . Here is the set of possible environment variables, which are depending on the cellular status and is the set of admissible internal controls. This dynamical model describes the cellular system in the normal operational phase. As indicated by the repair map of the (M,R)-model, the cell may transit into other phases which require repair and replication. This can be covered by a state-space model, introducing the partitioning of into two disjoint subsets, and which represent ‘desirable’ and ‘undesirable’ operating modes, respectively. Similarly, we define the corresponding output partitions: and. The deviation from basal metabolism in normal operating phase is assumed to occur due to external disturbances and which affect the environment variable The proposed dynamical model of the cellular processes is illustrated in the following figure. (), t e () t e E X d X ud X d d X ud ud X . 1 () t 2 () t () m t () t () x () t 1 () t 2 () t () p t (,,) x x f ... ... e Hybrid Automaton Model of the Cellular Processes A hybrid automaton is a collection where is a discrete state space, is a continuous state space, is a vector field, is a set of initial states, is a domain, is a set of arcs, is a guard condition, and is a reset map. We refer to as the state of Roughly speaking, hybrid automata define possible evolutions for the state. Starting from an initial value the continuous state flows as described by the vector field while the discrete state remains constant. Continuous evolution can go on as long as remains in If at some point reaches a guard for some the discrete state may change to At the same time the continuous state is reset to some value in After this discrete transition, continuous evolution resumes and the whole process is repeated. It is convenient to visualize hybrid automata as directed graphs with vertices and arc With each vertex we associate a set of initial states a vector field and domain With each arc we associate a guard Z (,,, ,,,,), Z QX f Init D A C R Q X : f Q X X Init Q X : DQ P X A Q Q : C A P X : R A A P X , qx Q X . Z , qx Q X x 0 ( ,), fq q x 0 ( ). Dq x 0 1 (,) Gq q 0 1 (,) , q q E 1 . q 0 1 (,,) Rq qx (,) QA Q . A q Q { (,) }, q Init x X qx Init ( ,), fq (). Dq a A () Ga ( ,). Ra In the context of intracellular signaling, an example for hybrid modeling is gi ven by the switching phenomena of ERK activities associated with the Raf-1/MEK/ ERK pathway. Intra-cellular signaling pathways enable cells to perceive changes from their extra-cellular environments and produce appropriate responses. Pathw ays are networks of biochemical reactions but they are also an abstraction biol ogists use to organize the functioning of the cell; they are the biologist’s eq uivalent of the control engineer’s block diagram. The Raf-1/MEK/ERK signaling p athway is a mitogen-activated protein kinase (MAPK) pathway, which exists ubiqu itously in most of the eukaryotic cells and is involved in various biological r esponses. The following figure, adapted from (O’Neill and Kolch, 2004) illustra tes the hybrid system dynamics of the Raf-1/MEK/ERK pathway of PC12 cells. The different ERK dynamics are achieved through the combinatorial integration and a ctivation of different Raf isoforms and crosstalk with the cAMP signaling syste m, which results in discrete state transitions to different cellular dynamics. PC12 cells differentiate in response to nerve growth factor (NGF), but prolifer ate in response to epidermal growth factor (EGF). Both growth factors utilize t he Raf-1/MEK/ERK pathway. The sustained ERK activity caused by the B-raf isofor m results in neuronal differentiation while the transient ERK activity caused b y the activation of cAMP signaling and the inhibition of Raf-1 results in cell proliferation. R af-1/M EK /ER K signaling pathway Differentbiologicalresponses Cellm em brane Cytosol Nucleus EGF NGF cAM P Rap Ras B-raf Raf-1 M EK ERK Transient ERK activity Cellproliferation ERK t Sustained ERK activity Celldifferentiation ERK t Inspired by Rosen’s and Casti’s model, and based on the aforementioned dynamic al model, we can build a hybrid automaton of the hybrid dynamics denoted It i s a minor extension of the model presented above and defined by (,,,,, ,,,,), M QX f Init D A C R where { , , } normal repaired replicated Q q q q is an open connected set with and ; n X d ud X X X d ud X X m m with and in which is a time-varying external disturbance and is a constant internal control. Here is a family of controls parameterized in and is a family of environment map parameterized in Moreover, is an output map; 1 ,, h x (), l l t e () , xt X () , t () t k e E k k K K N { } l l L . K N x in which is the interior of ; { (,) } q Init x X qx Init 0 d X d X for ; () d Dq X q Q ; {( , ),( , ),( , ),( , ),( , )}; normal repaired repaired repaired repaired replicated replicated replicated replicated normal A q q q q q q q q q q for ; () ud Ca X a A is a reset map. Here we extend the reset map of the hybrid automaton by including two index sets . The corresponding variables, are simply updated according to at each discrete transition, similar to the update of the continuous state .So, we have : () R A X K L PX K L , KL N , k Kl L R x (repair), (repair), (replication), (repair or replication) and (mutation). ( , , , ,) {( , ,) } normal repaired Rq q xkl xkl x X ( , , , ,) {( , ,) } repaired repaired Rq q xkl xkl x X ( , ,,,) {( , ,) , } repaired replicated Rq q xkl xkl x Xk K ( , ,,,) {( , ,) , } replicated replicated Rq q xkl xkl x Xk K ( , ,,,) {( , , ) , , } replicated normal Rq q xkl xkl x Xk Kl L repaired q replicated q (,,) () l x x x f normal q : l l : k k k e k e k e : k k R epair Replication Mutation R epair R epair Replication (,,) () l x x x f (,,) () l x x x f Concluding Remarks We here presented an abstract but general, compact mathematical framework that extends (M,R)-theory to take into consideration dynamic aspects of cell signaling and gene expression and to allow for models of reversible, switching and permanent changes occurring. The proposed mathematical model of cellular processes could form a basis for further discussions and extensions. One direction of such an extension is the inclusion of the diverse signaling used in cellular communication. Various alternative or complementary concepts could be investigated including temporal logic, concurrency theory, stochastic automata, etc. Any text on modern molecular or cell biology suggests a range of problems for which established system theoretic concepts need to be extended as the complexity of these systems appear to go beyond anything that we have been familiar with in the engineering sciences. A major challenge is the generation of quantitative stimulus-response time series to enable the application of system identification techniques. However, despite of the uncertainty one faces in modeling intra-cellular dynamics, the encouraging experience is that even drastically simplified models can provide useful practical guidance for the design of experiments, helping the experimentalist to decide what to measure and why. Further information: Kwang-Hyun Cho College of Medicine and Korea Bio-MAX Institute, Seoul National University, Seoul, Korea. Olaf Wolkenhauer Systems Biology & Bioinformatics Group, Department of Computer Science, University of Rostock, Rostock, Germany. Corresponding Author: Professor Kwang-Hyun Cho Postal Address: Korea Bio-MAX Institute (Seoul National University), 3rd Floor, Internation al Vaccine Institute (IVI), Seoul National University Research Park, San 4-8, Bongcheon 7-dong, Gwanak-gu, Seoul, 151-8 18, Korea E-mail: [email protected] Tel.: +82-2-887-2650, Fax: +82-2-887-2692 Karl Henrik Johansson Department of Signals, Sensors and Systems, Royal Institute of Technology, Stockholm, Sweden.

Upload: llewellyn-timothy

Post on 31-Dec-2015

13 views

Category:

Documents


1 download

DESCRIPTION

and. A System-Theoretic Modeling Framework for Cellular Processes. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: where      is the set of environmental stimuli and      is the set of cellular responses

where is the set of environmental stimuli and is the set of cellular responses. We consider then the following basal metabolism for normal operation:

A System-Theoretic Modeling Framework for Cellular ProcessesA System-Theoretic Modeling Framework for Cellular Processes

Aims & Objectives:

We introduce an abstract and general compact mathematical framework of intracellular dynamics, regulation and regime switching inspired by (M,R)-theory and based on hybrid automata.

The theory of hybrid systems allows us to complement continuous dynamics, which form the basis for many pathway model, with other regulatory or response levels that include changes to the elementary structure of dynamics.

The hybrid automaton may accept several executions and thus can represent the uncertainty of the cellular dynamics.

(M,R)-Theory for Biological Cellular Processes

Following Casti’s presentation (Casti, 1988), we consider first metabolic activity, represented by the mapping

:h

* * *( ).h

For deviations to the normal function, including external and internal disturbances to the cell’s chemical activity, we introduce a repair map:

* : ( , )h

H

with the boundary condition . Since the repair component itself can be subject to disturbances, we require a further regulatory element, referred to as a replication map:

*

* *( )h

h

* : ( , ) ( , ( , ))hH G H

with the boundary condition , where denotes the family of all repair maps. We can summarize the abstract model structure for cellular processes in terms of the following morphisms:

* *

*( )h hh ( , ( , ))G H

* * *( , ) ( , ( , ))h hh H G H

with boundary conditions *

* *( )h

h and * *

*( )h hh

If the dynamics encoded by , and its regulatory or supervisory components are not sufficient to cope with external disturbances or fluctuations, the next level of response is a transition to an alternative dynamic regime, for which we here introduce the discrete transition map . The conceptual framework developed here is outlined in the following diagram.

h * ( ),h

* ( )h

h

( , )H ( , ( , ))G H

*h

*h

Normal phase

Repair phase

Replication phase

Mutation phase

Dynamical Models and (M,R)-Systems

We regard cellular processes as a dynamical system and focus on the inputsand the outputs and states The dynamics of the cellular system is governed by

( ) : mt ( ) : ,rt ( ) : ,pt ( ) : .nx t X

( , , )

( )

x f x

x

where the environment variable is a function of a time-varying external disturbance and a constant internal control . Here is the set of possible environment variables, which are depending on the cellular status and is the set of admissible internal controls. This dynamical model describes the cellular system in the normal operational phase. As indicated by the repair map of the (M,R)-model, the cell may transit into other phases which require repair and replication. This can be covered by a state-space model, introducing the partitioning of into two disjoint subsets, and which represent ‘desirable’ and ‘undesirable’ operating modes, respectively. Similarly, we define the corresponding output partitions: and. The deviation from basal metabolism in normal operating phase is assumed to occur due to external disturbances and which affect the environment variable The proposed dynamical model of the cellular processes is illustrated in the following figure.

( ),t e ( )t e E

X dX udX

d dX ud udX .

1( )t 2( )t ( )m t

( )t

( )x

( )t

1( )t 2( )t ( )p t

( , , )x xf

...

...

e

Hybrid Automaton Model of the Cellular Processes

A hybrid automaton is a collection where is a discrete state space, is a continuous state space, is a vector field, is a set of initial states, is a domain, is a set of arcs, is a guard condition, and is a reset map. We refer to as the state of Roughly speaking, hybrid automata define possible evolutions for the state. Starting from an initial value the continuous state flows as described by the vector field while the discrete state remains constant. Continuous evolution can go on as long as remains in If at some point reaches a guard for some the discrete state may change to At the same time the continuous state is reset to some value in After this discrete transition, continuous evolution resumes and the whole process is repeated. It is convenient to visualize hybrid automata as directed graphs with vertices and arc With each vertex we associate a set of initial states a vector field and domain With each arc we associate a guard and a reset map

Z ( , , , , , , , ),Z Q X f Init D A C R Q X:f Q X X Init Q X :D Q P X

A Q Q :C A P X :R A A P X ,q x Q X .Z

,q x Q X x

0( , ),f q qx

0( ).D q x0 1( , )G q q 0 1( , ) ,q q E

1.q 0 1( , , )R q q x

( , )Q A Q .Aq Q { ( , ) },qInit x X q x Init ( , ),f q

( ).D q a A ( )G a ( , ).R a

In the context of intracellular signaling, an example for hybrid modeling is given by the switching phenomena of ERK activities associated with the Raf-1/MEK/ERK pathway. Intra-cellular signaling pathways enable cells to perceive changes from their extra-cellular environments and produce appropriate responses. Pathways are networks of biochemical reactions but they are also an abstraction biologists use to organize the functioning of the cell; they are the biologist’s equivalent of the control engineer’s block diagram. The Raf-1/MEK/ERK signaling pathway is a mitogen-activated protein kinase (MAPK) pathway, which exists ubiquitously in most of the eukaryotic cells and is involved in various biological responses. The following figure, adapted from (O’Neill and Kolch, 2004) illustrates the hybrid system dynamics of the Raf-1/MEK/ERK pathway of PC12 cells. The different ERK dynamics are achieved through the combinatorial integration and activation of different Raf isoforms and crosstalk with the cAMP signaling system, which results in discrete state transitions to different cellular dynamics. PC12 cells differentiate in response to nerve growth factor (NGF), but proliferate in response to epidermal growth factor (EGF). Both growth factors utilize the Raf-1/MEK/ERK pathway. The sustained ERK activity caused by the B-raf isoform results in neuronal differentiation while the transient ERK activity caused by the activation of cAMP signaling and the inhibition of Raf-1 results in cell proliferation.

Raf-1/MEK/ERK signaling pathway Different biological responses

Cell membrane

Cytosol

Nucleus

EGF

NGF

cAMPRap

Ras

B-raf

Raf-1

MEK

ERK

TransientERK

activity

Cell proliferation

ERK

t

SustainedERK activity

Cell differentiation

ERK

t

Inspired by Rosen’s and Casti’s model, and based on the aforementioned dynamical model, we can build a hybrid automaton of the hybrid dynamics denoted It is a minor extension of the model presented above and defined by ( , , , , , , , , , ),M Q X f Init D A C R where

{ , , }normal repaired replicatedQ q q q is an open connected set with and ;nX d udX X X d udX X m m with and in which is a time-varying external disturbance and is a constant internal control. Here is a family of controls parameterized in and is a family of environment map parameterized in Moreover, is an output map;

1, ,hf f x ( ),l l t e ( ) ,x t X ( ) ,t ( )t ke E k

k K

K N { }l l L .K N x

in which is the interior of ;{ ( , ) }qInit x X q x Init 0dX dX

for ;( ) dD q X q Q; {( , ), ( , ), ( , ), ( , ), ( , )};normal repaired repaired repaired repaired replicated replicated replicated replicated normalA q q q q q q q q q q for ;( ) udC a X a A is a reset map. Here we extend the reset map of the hybrid automaton by including two index sets . The corresponding variables, are simply updated according to at each discrete transition, similar to the update of the continuous state .So, we have

: ( )R A X K L P X K L ,K L N

,k K l L Rx

(repair), (repair), (replication), (repair or replication) and (mutation).

( , , , , ) {( , , ) }normal repairedR q q x k l x k l x X ( , , , , ) {( , , ) }repaired repairedR q q x k l x k l x X ( , , , , ) {( , , ) , }repaired replicatedR q q x k l x k l x X k K ( , , , , ) {( , , ) , }replicated replicatedR q q x k l x k l x X k K ( , , , , ) {( , , ) , , }replicated normalR q q x k l x k l x X k K l L

repairedqreplicatedq

( , , )( )

lx xx

f

normalq

:l l

:k k

keke ke :k k

Repair

Replication

Mutation

Repair

Repair

Replication

( , , )( )

lx xx

f

( , , )( )

lx xx

f

Concluding RemarksWe here presented an abstract but general, compact mathematical framework that extends (M,R)-theory

to take into consideration dynamic aspects of cell signaling and gene expression and to allow for models of reversible, switching and permanent changes occurring.

The proposed mathematical model of cellular processes could form a basis for further discussions and extensions. One direction of such an extension is the inclusion of the diverse signaling used in cellular communication.

Various alternative or complementary concepts could be investigated including temporal logic, concurrency theory, stochastic automata, etc.

Any text on modern molecular or cell biology suggests a range of problems for which established system theoretic concepts need to be extended as the complexity of these systems appear to go beyond anything that we have been familiar with in the engineering sciences.

A major challenge is the generation of quantitative stimulus-response time series to enable the application of system identification techniques. However, despite of the uncertainty one faces in modeling intra-cellular dynamics, the encouraging experience is that even drastically simplified models can provide useful practical guidance for the design of experiments, helping the experimentalist to decide what to measure and why.

Further information:

Kwang-Hyun ChoCollege of Medicine and Korea Bio-MAX Institute, Seoul National University, Seoul, Korea.

Olaf WolkenhauerSystems Biology & Bioinformatics Group, Department of Computer Science, University of Rostock, Rostock, Germany.

Corresponding Author: Professor Kwang-Hyun ChoPostal Address: Korea Bio-MAX Institute (Seoul National University), 3rd Floor, International Vaccine Institute (IVI), Seoul National University Research Park, San 4-8, Bongcheon 7-dong, Gwanak-gu, Seoul, 151-818, KoreaE-mail: [email protected].: +82-2-887-2650, Fax: +82-2-887-2692

Karl Henrik JohanssonDepartment of Signals, Sensors and Systems, Royal Institute of Technology, Stockholm, Sweden.