Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization
Joint Authors
Hiraishi, Kunihiko
Kobayashi, Koichi
Source
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-8, 8 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-01-23
Country of Publication
Egypt
No. of Pages
8
Main Subjects
Medicine
Information Technology and Computer Science
Abstract EN
One of the significant topics in systems biology is to develop control theory of gene regulatory networks (GRNs).
In typicalcontrol of GRNs, expression of some genes is inhibited (activated) by manipulating external stimuli and expression of other genes.
It is expected to apply control theory of GRNs to gene therapy technologies in the future.
In this paper, a control method using a Boolean network (BN) is studied.
A BN is widely used as a model of GRNs, and gene expression is expressed by a binary value (ON or OFF).
In particular, a context-sensitive probabilistic Boolean network (CS-PBN), which is one of the extended models of BNs, is used.
For CS-PBNs, the verification problem and the optimal control problem are considered.
For the verification problem, a solution method using the probabilistic model checker PRISM is proposed.
For the optimal control problem, a solution method using polynomial optimization is proposed.
Finally, a numerical example on the WNT5A network, which is related to melanoma, is presented.
The proposed methods provide us useful tools in control theory of GRNs.
American Psychological Association (APA)
Kobayashi, Koichi& Hiraishi, Kunihiko. 2014. Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization. The Scientific World Journal،Vol. 2014, no. 2014, pp.1-8.
https://search.emarefa.net/detail/BIM-1051795
Modern Language Association (MLA)
Kobayashi, Koichi& Hiraishi, Kunihiko. Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization. The Scientific World Journal No. 2014 (2014), pp.1-8.
https://search.emarefa.net/detail/BIM-1051795
American Medical Association (AMA)
Kobayashi, Koichi& Hiraishi, Kunihiko. Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization. The Scientific World Journal. 2014. Vol. 2014, no. 2014, pp.1-8.
https://search.emarefa.net/detail/BIM-1051795
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1051795