Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization
One of the significant topics in systems biology is to develop control theory of gene regulatory networks (GRNs). In typical control 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 GR...
Saved in:
Main Authors: | Koichi Kobayashi, Kunihiko Hiraishi |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2014-01-01
|
Series: | The Scientific World Journal |
Online Access: | http://dx.doi.org/10.1155/2014/968341 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Optimal Intervention in Semi-Markov-Based Asynchronous Probabilistic Boolean Networks
by: Qiuli Liu, et al.
Published: (2018-01-01) -
Reinforcement Learning with Probabilistic Boolean Network Models of Smart Grid Devices
by: Pedro Juan Rivera Torres, et al.
Published: (2022-01-01) -
Phenotype control and elimination of variables in Boolean networks
by: Tonello, Elisa, et al.
Published: (2024-08-01) -
Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation
by: José A. Mateo, et al.
Published: (2015-05-01) -
A Note on the Observability of Temporal Boolean Control Network
by: Wenping Shi, et al.
Published: (2013-01-01)