Computer Science ›› 2018, Vol. 45 ›› Issue (10): 313-319.doi: 10.11896/j.issn.1002-137X.2018.10.058

• Interdiscipline & Frontier • Previous Articles    

Infinite-horizon Optimal Control of Genetic Regulatory Networks Based on Probabilistic Model Checking and Genetic Algorithm

LIU Shuang, WEI Ou, GUO Zong-hao   

  1. College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China
  • Received:2017-09-21 Online:2018-11-05 Published:2018-11-05

Abstract: Genetic regulatory networks (GRNs) are the fundamental and significant biological networks,and the biologi-cal system function can be regulated by controlling them.In the field of biological system,one of the significant research topics is to construct the control theory of genetic regulatory networks by applying external intervention control.Currently,as an important network model,the context-sensitive probabilistic Boolean network with perturbation (CS-PBNp) has been widely used for the research of optimal control problem of GRNs.With respect to the infinite-horizon optimal control problem,this paper proposed an approach of approximate optimal control strategy based on probabilistic model checking and genetic algorithm.Firstly,the total expected cost defined in infinite-horizon control is reduced to the steady-state reward in a discrete-time Markov chain.Then,the model of CS-PBNp containing stationary control policy should be constructed,the cost of the fixed control strategy is represented by the temporal logic with reward property,and the automatic calculation is carried out by using probabilistic model checker PRISM.Next,stationary control policy is encoded as an individual in the solution space of genetic algorithm.The fitness of the individual can be computed by PRISM,and the optimal solution can be obtained by making use of the genetic algorithm to execute genetic operations iteratively.The experimental results generated by utilizing the proposed approach into the WNT5A network illustrate the correctness and effectiveness of this approach.

Key words: Genetic regulatory networks, Optimal control, Probabilistic model checking, Genetic algorithm

CLC Number: 

  • TP311
[1]ARENDT D.The regulatory genome-gene regulatory networks in development and evolution[J].Science,2006,443(7111):508-509.
[2]SHMULEVICH I,DOUGHERTY E R,ZHANG W.From Boolean to probabilistic Boolean networks as models of genetic regulatory networks[J].Proceedings of the IEEE,2002,90(11):1778-1792.
[3]SHMULEVICH I,DOUGHERTY E R,KIM S,et al.Probabilistic Boolean Networks: a rule-based uncertainty model for gene regulatory networks[J].Bioinformatics,2002,18(2):261-274.
[4]LI P,ZHANG C,PERKINS E J,et al.Comparison of probabilistic Boolean network and dynamic Bayesian network approaches for inferring gene regulatory networks[J].Bmc Bioinformatics,2007,8(Suppl 7):1-8.
[5]FARYABI B,VAHEDI G,CHAMBERLAND J F,et al.Intervention in Context-Sensitive Probabilistic Boolean Networks Revisited[J].Eurasip Journal on Bioinformatics & Systems Biology,2009,2009(1):1-13. [6]PAL R,DATTA A,DOUGHERTY E R.Optimal infinite-horizon control for probabilistic Boolean networks[J].IEEE Tran-sactions on Signal Processing,2006,54(6):2375-2387.
[7]ABUL O,ALHAJJ R,POLAT F.Markov Decision Processes Based Optimal Control Policies for Probabilistic Boolean Networks[C]∥IEEE Symposium on Bioinformatics and Bioengineering.IEEE Computer Society,2004:337.
[8]FOREJT V,KWIATKOWSKA M,NORMAN G,et al.Auto- mated Verification Techniques for Probabilistic Systems[OL].
[9]KUMAR M,HUSIAN M,UPRETI N,et al.Genetic algorithm: Review and application[J].International Journal of Information Technology and Knowledge Management,2010,2(2):451-454.
[10]DATTA A,CHOUDHARY A,BITTNER M L,et al.External Control in Markovian Genetic Regulatory Networks[J].Machine Learning,2003,52(1/2):169-191 .
[11]KWIATKOWSKA M,NORMAN G,PARKER D.Stochastic Model Checking[C]∥International Conference on Formal Methods for Performance Evaluation.Springer-Verlag,2007:220-270.
[12] KWIATKOWSKA M,NORMAN G,PARKER D.PRISM: Probabilistic Symbolic Model Checker[C]∥International Conference on Computer PERFORMANCE Evaluation,Modelling Techniques and TOOLS.Springer-Verlag,2002:200-204.
[13]BITTNER M,MELTZER P,CHEN Y,et al.Molecular classification of cutaneous malignant melanoma by gene expression profiling[J].Nature,2000,406(6795):536-540.
[14]KOBAYASHI K,HIRAISHI K.Verification and optimal con- trol of context-sensitive probabilistic Boolean networks using model checking and polynomialoptimization[J].Scientific World Journal,2013,2014(3):968341.
[15]PARKER D A.Implementation of symbolic model checking for probabilistic systems[D].Birmingham: University of Birmingham,2003.
[16]SHMULEVICH I,DOUGHERTY E R,ZHANG W.Gene perturbation and intervention in probabilistic Boolean networks[J].Bioinformatics,2002,18(10):1319-1331.
[17]YANG C,WAIKI C,NAMKIU T,et al.On finite-horizon control of genetic regulatory networks with multiple hard-constraints[J].Bmc Systems Biology,2010,4(S2):1-7.
[18]CHING W K,LEUNG H Y,ZHANG S,et al.A genetic algorithm for optimal control of probabilistic Boolean networks[C]∥Optimization and Systems Biology-The Second International Symposium.2008:29-35.
[19]GUO Z H,WEI O.Optimal Control of Probabilistic Boolean Networks Using Model Checking[J].Computer Science,2017,44(5):193-198.(in Chinese). 郭宗豪,魏欧.使用模型检测解决概率布尔网络优化控制[J].计算机科学,2017,44(5):193-198.
[1] ZHANG Bin-bin, WANG Juan, YUE Kun, WU Hao, HAO Jia. Performance Prediction and Configuration Optimization of Virtual Machines Based on Random Forest [J]. Computer Science, 2019, 46(9): 85-92.
[2] XIA Nu-nu, YANG Jin-ji, ZHAO Gan-sen, MO Xiao-shan. Formal Verification of Cloud-aided Lightweight Certificateless Authentication Protocol Based on Probabilistic Model [J]. Computer Science, 2019, 46(8): 206-211.
[3] XIANG Ying-zhuo, WEI Qiang, YOU Ling, SHI Hao. Improved Genetic Algorithm for Subgraph Isomorphism Problem [J]. Computer Science, 2019, 46(6A): 98-101.
[4] ZHENG Fei-feng, JIANG Juan, MEI Qi-huang. Study on Stowage Optimization in Minimum Container Transportation Cost [J]. Computer Science, 2019, 46(6): 239-245.
[5] LU Cheng-hua, KOU Ji-song. Multi-attribute Decision Making and Adaptive Genetic Algorithm for Solving QoS Optimization of Web Service Composition [J]. Computer Science, 2019, 46(2): 187-195.
[6] ZHOU Ming-quan, JIANG Guo-hua. New Spectrum-based Fault Localization Method Combining HittingSet and Genetic Algorithm [J]. Computer Science, 2018, 45(9): 207-212.
[7] BAO Xiao-an, XIONG Zi-jian, ZHANG Wei, WU Biao, ZHANG Na. Approach for Path-oriented Test Cases Generation Based on Improved Genetic Algorithm [J]. Computer Science, 2018, 45(8): 174-178,190.
[8] XU Jian-rui, ZHU Hui-juan. Coevolutionary Genetic Algorithm of Cloud Workflow Scheduling Based on Adaptive Penalty Function [J]. Computer Science, 2018, 45(8): 105-112.
[9] ZHOU Nv-qi, ZHOU Yu. Multi-objective Verification of Web Service Composition Based on Probabilistic Model Checking [J]. Computer Science, 2018, 45(8): 288-294.
[10] SHI Wei-wen, WANG Xue-qi, FAN Kai-yin, WANG Ming-jun. Measuring Point Selection Method of Board-level Circuit Based on Multi-signal Model and Genetic Algorithm [J]. Computer Science, 2018, 45(8): 295-299.
[11] SUN Min CHEN, Zhong-xiong, LU Wei-rong. Task Scheduling Algorithm Based on DO-GAPSO under Cloud Environment [J]. Computer Science, 2018, 45(6A): 300-303.
[12] FU Xiao. Task Scheduling Scheme Based on Sharing Mechanism and Swarm Intelligence
Optimization Algorithm in Cloud Computing
[J]. Computer Science, 2018, 45(6A): 290-294.
[13] LEI Xue-mei, XIE Yi-tong. Improved XGBoostModel Based on Genetic Algorithm for Hypertension Recipe Recognition [J]. Computer Science, 2018, 45(6A): 476-481.
[14] WANG Guo-hao, LI Qing-hua and LIU An-feng. Evoluation Genetic Algorithm of Multi-objective Optimization Scheduling on Cloud Workflow [J]. Computer Science, 2018, 45(5): 31-37.
[15] XIAO Chang-shi, MAO Yi-han, YUAN Hai-wen and WEN Yuan-qiao. Design and Simulation of Intelligent Control Algorithm for Quad-rotors under Wind Disturbance [J]. Computer Science, 2018, 45(5): 310-316.
Full text



[1] . [J]. Computer Science, 2018, 1(1): 1 .
[2] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[3] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[4] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[5] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[6] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[7] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[8] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[9] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[10] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .