Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative...

25
Overcoming Unknown Kinetic Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon, dr. Miha Moškon, prof. Miha Mraz University of Ljubljana Faculty of Computer and Information Science BioPPN’14, Tunis, Tunisia

Transcript of Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative...

Page 1: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

Overcoming Unknown Kinetic Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets

June 23th2014

Jure Bordon, dr. Miha Moškon, prof. Miha Mraz

University of LjubljanaFaculty of Computer and Information Science

BioPPN’14, Tunis, Tunisia

Page 2: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

2June 23, 2014, Tunis, Tunisia

Desired behaviour

Measureddata

Verification

Synthetic biology

BioPPN’14 | Jure Bordon

New biological

system

in vivo implementation

Design and construction

Heiner et al, Petri nets for systems and synthetic biology, 2008

Page 3: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

3

Desired behaviour

Measureddata

Design and construction

Verification

New biological

system

Model

Synthetic biology

June 23, 2014, Tunis, Tunisia BioPPN’14 | Jure Bordon

Heiner et al, Petri nets for systems and synthetic biology, 2008

Page 4: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

4

Modelling approaches

Quantitative Qualitative

June 23, 2014, Tunis, Tunisia BioPPN’14 | Jure Bordon

Page 5: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

5

Modelling approaches

Quantitative Qualitative

June 23, 2014, Tunis, Tunisia BioPPN’14 | Jure Bordon

• Qualitative behavioral properties of the system

• Can be discrete or continuous

• No notion of time and quantity

Page 6: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

6

Modelling approaches

Quantitative Qualitative

Time

Co

nce

ntr

atio

n

[s]

[X]

Deterministic(ODEs)

Stochastic(CME)

Accuratekinetic rates?!?

June 23, 2014, Tunis, Tunisia BioPPN’14 | Jure Bordon

Page 7: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

7

Modelling approaches

Quantitative Qualitative

Deterministic(ODEs)

Stochastic(CME)

Accuratekinetic rates?!?

June 23, 2014, Tunis, Tunisia BioPPN’14 | Jure Bordon

• Parameter estimation only possible when experimental data is available

• Strict limitations in order to get biologically relevant and realistic parameters

• Changing the biological system requires new parameter estimation

• Inconvenient when we want to test multiple GRN topologies (e.g. GRN oscillators)

Page 8: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

8

Modelling approaches

Fuzzy logic as an alternativeQuantitative Qualitative

Deterministic(ODEs)

Stochastic(CME)

Accuratekinetic rates?!?

• Intuitive qualitative description of system dynamics by using linguistic description

• Can approximate quantitative approaches when kinetic data is known

• More forgiving when we lack accurate kinetic data

• Quantitatively significantly more relevant than qualitative approaches

June 23, 2014, Tunis, Tunisia BioPPN’14 | Jure Bordon

Page 9: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

9

Petri nets1

Qualitative PNs

Time-free

‐ Qualitative description‐ Behavioural properties

Timed,Quantitative

Stochastic PNs

‐ Molecules‐ Stochastic rates

Discrete State Space Continuous State Space

Fuzzy PNs

‐ Qualitative description

Continuous PNs‐ ODEs (concentrations,

deterministic rates)

‐ Fuzzy PNs (function approximation2; can be used for quantitative modelling even if kinetic data is unknown)

1Heiner et al, Petri nets for systems and synthetic biology, 20082Windhager, Modeling of Dynamic Systems with Petri nets and Fuzzy Logic, PhD thesis, 2013

June 23, 2014, Tunis, Tunisia BioPPN’14 | Jure Bordon

Page 10: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

10June 23, 2014, Tunis, Tunisia

Transcription-translation system1

BioPPN’14 | Jure Bordon

• Inputs: DNA, transcription resource (TsR), translation resource (TlR)

• Output: Protein concentration

• Processes: transcription, translation, degradation, consumption

DNA mRNA Protein

TsR TlR

ΔProtein

ΔTlR

ΔmRNA

ΔmRNA

ΔTsR

f0 f0

f0

decaydecay

transcription translation

1Windhager, Modeling of Dynamic Systems with Petri nets and Fuzzy Logic, PhD thesis, 2013

Page 11: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

11June 23, 2014, Tunis, Tunisia

Transcription-translation system

BioPPN’14 | Jure Bordon

• Fuzzy approach for modelling translation

• Other processes are modelled as a system of ODEs1

DNA mRNA Protein

TsR TlR

ΔProtein

ΔTlR

ΔmRNA

ΔmRNA

ΔTsR

f0 f0

f0

decaydecay

transcription translation

1Windhager, Modeling of Dynamic Systems with Petri nets and Fuzzy Logic, PhD thesis, 2013

𝑑[𝑃𝑟𝑜𝑡𝑒𝑖𝑛]

𝑑𝑡=𝑘𝑡𝑙 ⋅ 𝑇𝑙𝑅 ⋅ [𝑚𝑅𝑁𝐴]

𝑚𝑡𝑙 + [𝑚𝑅𝑁𝐴]

Page 12: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

12June 23, 2014, Tunis, Tunisia

Modelling translation using Fuzzy logic

BioPPN’14 | Jure Bordon

Concentration of mRNA and TlR

How concentration of protein changes depending on concentrations of mRNA and TlR?

Protein concentration change

Page 13: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

13June 23, 2014, Tunis, Tunisia

Modelling translation using Fuzzy logic

BioPPN’14 | Jure Bordon

Page 14: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

14June 23, 2014, Tunis, Tunisia

Modelling translation using Fuzzy logic

BioPPN’14 | Jure Bordon

• Fuzzification of mRNA and TlR concentration

(50% Med, 50% High)

950nM 0.45

(50% Low, 50% Med)

Page 15: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

15June 23, 2014, Tunis, Tunisia

Modelling translation using Fuzzy logic

BioPPN’14 | Jure Bordon

Page 16: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

16June 23, 2014, Tunis, Tunisia

Modelling translation using Fuzzy logic

BioPPN’14 | Jure Bordon

• Defining IF-THEN rules for protein concentration change

• Rules are very descriptive and intuitive

VS.

𝑑[𝑃𝑟𝑜𝑡𝑒𝑖𝑛]

𝑑𝑡=𝑘𝑡𝑙 ⋅ 𝑇𝑙𝑅 ⋅ [𝑚𝑅𝑁𝐴]

𝑚𝑡𝑙 + [𝑚𝑅𝑁𝐴]

IF (mRNA) is VeryLow AND (TlR) is Low THEN (ConcentrationChange) is VeryLow

Page 17: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

17June 23, 2014, Tunis, Tunisia

Modelling translation using Fuzzy logic

BioPPN’14 | Jure Bordon

Page 18: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

18June 23, 2014, Tunis, Tunisia

Modelling translation using Fuzzy logic

BioPPN’14 | Jure Bordon

• Defuzzification of protein concentration change (Center of gravity)

(80% High, 20% VeryHigh)

20nM

Page 19: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

19June 23, 2014, Tunis, Tunisia BioPPN’14 | Jure Bordon

DNA mRNA Protein

TsR TlR

ΔProtein

ΔTlR

ΔmRNA

ΔmRNA

ΔTsR

f0 f0

f0

decaydecay

transcription translation

• One transition is transformed into fuzzy logic Petri net with corresponding input and output

Modelling translation using Fuzzy logic & Petri nets

Page 20: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

20June 23, 2014, Tunis, Tunisia BioPPN’14 | Jure Bordon

mRNA concentration

Fuzzification IF-THEN rules Defuzzification

Protein (GFP) concentrationchange

0.72

970

0.28

0

VeryHigh

High

None

.

.

.

0.68

0.32

0.05

VeryHigh

High

None

23.9

314

Protein (GFP) concentration

TlR concentration

0.63

0.83

0.37

0

High

Low

.

.

.

Medium

0None

0

Medium

.

.

.

Modelling translation using Fuzzy logic & Petri Nets

Page 21: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

21June 23, 2014, Tunis, Tunisia

Simulation

BioPPN’14 | Jure Bordon

• Building the model• Matlab Simulink

• Fuzzy logic toolbox

• Simulation run• Matlab engine

• Regards fuzzy logic steps as one step

• Allows an easy way of building fuzzy system

• Simulation run with ODEs and fuzzy logic in the same model

Page 22: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

22June 23, 2014, Tunis, Tunisia

Simulation

BioPPN’14 | Jure Bordon

Page 23: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

23June 23, 2014, Tunis, Tunisia

Results

BioPPN’14 | Jure Bordon

Page 24: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

24June 23, 2014, Tunis, Tunisia

Conclusions

BioPPN’14 | Jure Bordon

• Fuzzy logic can be used to overcome missing kinetic data

• We lose some accuracy, but still get biologically relevant results

• With more knowledge we can reduce the error

• Can be used with existing methods

• Automatic generation of Petri net based on defined fuzzification/defuzzification/IF-THEN rules?

Page 25: Overcoming Unknown Kinetic Data for Quantitative Modelling ...€¦ · Data for Quantitative Modelling of Biological Systems Using Fuzzy Logic and Petri Nets June 23th 2014 Jure Bordon,

25June 23, 2014, Tunis, Tunisia

Computational Biology Group

BioPPN’14 | Jure Bordon

University of Ljubljana, Faculty of computer and information science

http://lrss.fri.uni-lj.si/bio/