Thesis Details

Novel Methods for Semi-Quantitative Analysis of Biochemical Systems

Bachelor's Thesis Student: Bíl Jan Academic Year: 2020/2021 Supervisor: Češka Milan, doc. RNDr., Ph.D.
Czech title
Nové metody pro semikvantitativní analýzu biochemických systémů
Language
English
Abstract

This thesis aims on providing novel methods for analysis of stochastic bio-chemical systems. It introduces a new population abstraction based on dirac semi-Markov processes. It turned out, that this abstraction is more precise than Continuous time Markov chain abstraction. On this abstraction, analysis methods are provided. Algorithm for transient analysis over this abstraction is described and also novel timed temporal logic formulas, that allow to express interesting biological properties are presented. Further, model-checking algorithm for these formulas is proposed and implemented. Preliminary experiments showing potential of this approach are also described.

Keywords

Bio-chemical models, Continuous time Markov chains, Chemical reaction networks, Model-checking

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
15 June 2021
Reviewer
Andriushchenko Roman, Ing.
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Citation
BÍL, Jan. Novel Methods for Semi-Quantitative Analysis of Biochemical Systems. Brno, 2021. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2021-06-15. Supervised by Češka Milan. Available from: https://www.fit.vut.cz/study/thesis/24079/
BibTeX 
@bachelorsthesis{FITBT24079,
    author = "Jan B\'{i}l",
    type = "Bachelor's thesis",
    title = "Novel Methods for Semi-Quantitative Analysis of Biochemical Systems",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2021,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/thesis/24079/"
}

Theses

Back to top