Skip to main content

Table 4 The set of Boolean functions for a mutated cell cycle [46]

From: An experimental design framework for Markovian gene regulatory networks under stationary control policy

Gene

Node

Boolean function

CycD

X 1

Extracellular signal

Rb

X 2

\((\overline {X_{1}}\wedge \overline {X_{4}}\wedge \overline {X_{9}}\wedge \overline {X_{8}})\)

E2F

X 3

\((\overline {X_{2}}\wedge \overline {X_{9}}\wedge \overline {X_{8}})\)

CycE

X 4

\((X_{3}\wedge \overline {X_{2}})\)

Cdc20

X 5

X 8

Cdh1

X 6

\((\overline {X_{9}}\wedge \overline {X_{8}})\vee X_{5}\)

UbcH10

X 7

\(\overline {X_{6}}\vee (X_{6}\wedge X_{7} \wedge (X_{5}\vee X_{9}\vee X_{8}))\)

CycB

X 8

\((\overline {X_{5}}\wedge \overline {X_{6}})\)

CycA

X 9

\((X_{3}\wedge \overline {X_{2}}\wedge \overline {X_{5}}\wedge (\overline {X_{6}}\wedge \overline {X_{7}}))\)

  

\(\vee (X_{9}\wedge \overline {X_{2}}\wedge \overline {X_{5}}\wedge (\overline {X_{6}\wedge X_{7}}))\)