{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T09:06:10Z","timestamp":1771923970947,"version":"3.50.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2023,10]]},"DOI":"10.1007\/s11424-023-2013-3","type":"journal-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T08:02:16Z","timestamp":1697702536000},"page":"1905-1926","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Finite-Time Observability of Probabilistic Logical Control Systems"],"prefix":"10.1007","volume":"36","author":[{"given":"Rongpei","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Yuqian","family":"Guo","sequence":"additional","affiliation":[]},{"given":"Xinzhi","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Weihua","family":"Gui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,10,19]]},"reference":[{"issue":"3","key":"2013_CR1","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S A Kauffman","year":"1969","unstructured":"Kauffman S A, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, 1969, 22(3): 437\u2013467.","journal-title":"Journal of Theoretical Biology"},{"issue":"2","key":"2013_CR2","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/bioinformatics\/18.2.261","volume":"18","author":"I Shmulevich","year":"2002","unstructured":"Shmulevich I, Dougherty E R, Kim S, et al., Probabilistic Boolean networks: A rule-based uncertainty model for gene regulatory networks, Bioinformatics, 2002, 18(2): 261\u2013274.","journal-title":"Bioinformatics"},{"issue":"3","key":"2013_CR3","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1142\/S0218127403006765","volume":"13","author":"J Heidel","year":"2003","unstructured":"Heidel J, Maloney J, Farrow C, et al., Finding cycles in synchronous Boolean networks with applications to biochemical systems, International Journal of Bifurcation and Chaos, 2003, 13(3): 535\u2013552.","journal-title":"International Journal of Bifurcation and Chaos"},{"issue":"24","key":"2013_CR4","doi-asserted-by":"publisher","first-page":"5660","DOI":"10.1103\/PhysRevLett.84.5660","volume":"84","author":"R Albert","year":"2000","unstructured":"Albert R and Barabasi A L, Dynamics of complex systems: Scaling laws for the period of Boolean networks, Physical Review Letters, 2000, 84(24): 5660\u20135663.","journal-title":"Physical Review Letters"},{"issue":"6","key":"2013_CR5","doi-asserted-by":"publisher","first-page":"1393","DOI":"10.1007\/s10845-015-1183-9","volume":"29","author":"P J Rivera-Torres","year":"2018","unstructured":"Rivera-Torres P J, Mercado E I S, and Rif\u00f3n L A, Probabilistic Boolean network modeling and model checking as an approach for dfmea for manufacturing systems, Journal of Intelligent Manufacturing, 2018, 29(6): 1393\u20131413.","journal-title":"Journal of Intelligent Manufacturing"},{"key":"2013_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-030-34409-2_10","volume":"872","author":"P J Rivera-Torres","year":"2020","unstructured":"Rivera-Torres P J and Santiago O L, Fault detection and isolation in smart grid devices using probabilistic Boolean networks, Computational Intelligence in Emerging Technologies for Engineering Applications, 2020, 872): 165\u2013185.","journal-title":"Computational Intelligence in Emerging Technologies for Engineering Applications"},{"issue":"1","key":"2013_CR7","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/MSP.2007.273057","volume":"24","author":"A Datta","year":"2007","unstructured":"Datta A, Pal R, Choudhary A, et al., Control approaches for probabilistic gene regulatory networks \u2014 What approaches have been developed for addreassinig the issue of intervention? IEEE Signal Processing Magazine, 2007, 24(1): 54\u201363.","journal-title":"IEEE Signal Processing Magazine"},{"issue":"10","key":"2013_CR8","doi-asserted-by":"publisher","first-page":"1319","DOI":"10.1093\/bioinformatics\/18.10.1319","volume":"18","author":"I Shmulevich","year":"2002","unstructured":"Shmulevich I, Dougherty E R, and Zhang W, Gene perturbation and intervention in probabilistic Boolean networks, Bioinformatics, 2002, 18(10): 1319\u20131331.","journal-title":"Bioinformatics"},{"issue":"7","key":"2013_CR9","doi-asserted-by":"publisher","first-page":"1211","DOI":"10.1093\/bioinformatics\/bti131","volume":"21","author":"R Pal","year":"2005","unstructured":"Pal R, Datta A, Bittner M L, et al., Intervention in context-sensitive probabilistic Boolean networks, Bioinformatics, 2005, 21(7): 1211\u20131218.","journal-title":"Bioinformatics"},{"issue":"16","key":"2013_CR10","doi-asserted-by":"publisher","first-page":"2042","DOI":"10.1093\/bioinformatics\/btp349","volume":"25","author":"R Layek","year":"2009","unstructured":"Layek R, Datta A, Pal R, et al., Adaptive intervention in probabilistic Boolean networks, Bioinformatics, 2009, 25(16): 2042\u20132048.","journal-title":"Bioinformatics"},{"issue":"6","key":"2013_CR11","doi-asserted-by":"publisher","first-page":"2375","DOI":"10.1109\/TSP.2006.873740","volume":"54","author":"R Pal","year":"2006","unstructured":"Pal R, Datta A, and Dougherty E R, Optimal infinite-horizon control for probabilistic Boolean networks, IEEE Transactions on Signal Processing, 2006, 54(6): 2375\u20132387.","journal-title":"IEEE Transactions on Signal Processing"},{"issue":"2","key":"2013_CR12","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1049\/iet-syb.2008.0120","volume":"3","author":"W K Ching","year":"2009","unstructured":"Ching W K, Zhang S, Jiao Y, et al., Optimal control policy for probabilistic Boolean networks with hard constraints, IET Systems Biology, 2009, 3(2): 90\u201399.","journal-title":"IET Systems Biology"},{"issue":"2","key":"2013_CR13","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/s11424-007-9027-0","volume":"20","author":"D Cheng","year":"2007","unstructured":"Cheng D, Qi H, and Xue A, A survey on semi-tensor product of matrices, Journal of Systems Science and Complexity, 2007, 20(2): 304\u2013322.","journal-title":"Journal of Systems Science and Complexity"},{"key":"2013_CR14","volume-title":"Analysis and Control of Boolean Networks \u2014 A Semi-Tensor Product Approach","author":"D Cheng","year":"2011","unstructured":"Cheng D, Qi H, and Li Z, Analysis and Control of Boolean Networks \u2014 A Semi-Tensor Product Approach, Springer, London, 2011."},{"key":"2013_CR15","doi-asserted-by":"publisher","first-page":"104986","DOI":"10.1016\/j.sysconle.2021.104986","volume":"154","author":"F Li","year":"2021","unstructured":"Li F and Sun J, Asymptotical feedback controllability of probabilistic logic control networks, Systems & Control Letters, 2021, 154): 104986.","journal-title":"Systems & Control Letters"},{"key":"2013_CR16","doi-asserted-by":"crossref","unstructured":"Zhao Y and Cheng D, Controllability and stabilizability of probabilistic logical control networks, Proceedings of 51st IEEE Conference on Decision and Control (CDC), 2012, 6729\u20136734.","DOI":"10.1109\/CDC.2012.6427395"},{"issue":"4","key":"2013_CR17","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1109\/TNNLS.2017.2647989","volume":"29","author":"H Chen","year":"2017","unstructured":"Chen H, Liang J, Lu J, et al., Synchronization for the realization-dependent probabilistic Boolean networks, IEEE Transactions on Neural Networks and Learning Systems, 2017, 29(4): 819\u2013831.","journal-title":"IEEE Transactions on Neural Networks and Learning Systems"},{"key":"2013_CR18","doi-asserted-by":"publisher","first-page":"13437","DOI":"10.1038\/srep13437","volume":"5","author":"J Lu","year":"2015","unstructured":"Lu J, Zhong J, Li L, et al., Synchronization analysis of master-slave probabilistic Boolean networks, Scientific Reports, 2015, 5): 13437.","journal-title":"Scientific Reports"},{"key":"2013_CR19","doi-asserted-by":"publisher","first-page":"110094","DOI":"10.1016\/j.automatica.2021.110094","volume":"136","author":"K Kobayashi","year":"2022","unstructured":"Kobayashi K and Wu Y, Optimal reconstruction of noisy dynamics and selection probabilities in Boolean networks, Automatica, 2022, 136): 110094.","journal-title":"Automatica"},{"key":"2013_CR20","doi-asserted-by":"publisher","unstructured":"Toyoda M and Wu Y, Maximum-likelihood state estimators in probabilistic Boolean control networks, IEEE Transactions on Cybernetics, 2022, DOI: https:\/\/doi.org\/10.1109\/TCYB.2021.3127880.","DOI":"10.1109\/TCYB.2021.3127880"},{"key":"2013_CR21","doi-asserted-by":"publisher","first-page":"012202:1","DOI":"10.1007\/s11432-013-4851-4","volume":"57","author":"Y Zhao","year":"2014","unstructured":"Zhao Y and Cheng D, On controllability and stabilizability of probabilistic Boolean control networks, Science China Information Sciences, 2014, 57): 012202:1\u2013012202:14.","journal-title":"Science China Information Sciences"},{"issue":"4","key":"2013_CR22","doi-asserted-by":"publisher","first-page":"1272","DOI":"10.1016\/j.automatica.2014.02.034","volume":"50","author":"R Li","year":"2014","unstructured":"Li R, Yang M, and Chu T, State feedback stabilization for probabilistic Boolean networks, Automatica, 2014, 50(4): 1272\u20131278.","journal-title":"Automatica"},{"issue":"8","key":"2013_CR23","doi-asserted-by":"publisher","first-page":"4358","DOI":"10.1016\/j.jfranklin.2018.12.027","volume":"356","author":"H Tian","year":"2019","unstructured":"Tian H and Hou Y, State feedback design for set stabilization of probabilistic Boolean control networks, Journal of the Franklin Institute, 2019, 356(8): 4358\u20134377.","journal-title":"Journal of the Franklin Institute"},{"key":"2013_CR24","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.amc.2018.03.043","volume":"332","author":"L Tong","year":"2018","unstructured":"Tong L, Liu Y, Lou J, et al., Static output feedback set stabilization for context-sensitive probabilistic Boolean control networks, Applied Mathematics and Computation, 2018, 332): 263\u2013275.","journal-title":"Applied Mathematics and Computation"},{"issue":"11","key":"2013_CR25","doi-asserted-by":"publisher","first-page":"4524","DOI":"10.1109\/TNNLS.2019.2955974","volume":"31","author":"R Zhou","year":"2020","unstructured":"Zhou R, Guo Y, Wu Y, et al., Asymptotical feedback set stabilization of probabilistic Boolean control networks, IEEE Transactions on Neural Networks and Learning Systems, 2020, 31(11): 4524\u20134537.","journal-title":"IEEE Transactions on Neural Networks and Learning Systems"},{"key":"2013_CR26","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.ins.2019.09.029","volume":"510","author":"C Huang","year":"2020","unstructured":"Huang C, Lu J, Ho D W C, et al., Stabilization of probabilistic Boolean networks via pinning control strategy, Information Sciences, 2020, 510): 205\u2013217.","journal-title":"Information Sciences"},{"issue":"8","key":"2013_CR27","doi-asserted-by":"publisher","first-page":"3816","DOI":"10.1109\/TCYB.2019.2940654","volume":"50","author":"M Xu","year":"2019","unstructured":"Xu M, Liu Y, Lou J, et al., Set stabilization of probabilistic Boolean control networks: A sampleddata control approach, IEEE Transactions on Cybernetics, 2019, 50(8): 3816\u20133823.","journal-title":"IEEE Transactions on Cybernetics"},{"key":"2013_CR28","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.sysconle.2018.12.012","volume":"124","author":"Y Liu","year":"2019","unstructured":"Liu Y, Wang L, Lu J, et al., Sampled-data stabilization of probabilistic Boolean control networks, Systems & Control Letters, 2019, 124): 106\u2013111.","journal-title":"Systems & Control Letters"},{"issue":"1","key":"2013_CR29","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TAC.2021.3063130","volume":"67","author":"Y Guo","year":"2021","unstructured":"Guo Y, Li Z, Liu Y, et al., Asymptotical stability and stabilization of continuous-time probabilistic logic networks, IEEE Transactions on Automatic Control, 2021, 67(1): 279\u2013291.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"6","key":"2013_CR30","doi-asserted-by":"publisher","first-page":"871","DOI":"10.1007\/s11424-013-2040-6","volume":"26","author":"X Xu","year":"2013","unstructured":"Xu X and Hong Y, Solvability and control design for synchronization of Boolean networks, Journal of Systems Science and Complexity, 2013, 26(6): 871\u2013885.","journal-title":"Journal of Systems Science and Complexity"},{"issue":"7","key":"2013_CR31","doi-asserted-by":"publisher","first-page":"1793","DOI":"10.1016\/j.automatica.2014.05.005","volume":"50","author":"D Cheng","year":"2014","unstructured":"Cheng D, On finite potential games, Automatica, 2014, 50(7): 1793\u20131801.","journal-title":"Automatica"},{"key":"2013_CR32","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.dsp.2016.07.003","volume":"58","author":"D Xie","year":"2016","unstructured":"Xie D, Peng H, Li L, et al., Semi-tensor compressed sensing, Digital Signal Processing, 2016, 58): 85\u201392.","journal-title":"Digital Signal Processing"},{"issue":"6","key":"2013_CR33","doi-asserted-by":"publisher","first-page":"169202","DOI":"10.1007\/s11432-018-9536-3","volume":"63","author":"S Wang","year":"2020","unstructured":"Wang S, Feng J, Yu Y, et al., Data set approach for solving logical equations, Science China Information Sciences, 2020, 63(6): 169202.","journal-title":"Science China Information Sciences"},{"key":"2013_CR34","doi-asserted-by":"publisher","unstructured":"Wu Y, Le S, Zhang K, et al., Ex-ante agent transformation of bayesian games, IEEE Transactions on Automatic Control, 2022, DOI: https:\/\/doi.org\/10.1109\/TAC.2021.3122372.","DOI":"10.1109\/TAC.2021.3122372"},{"issue":"5","key":"2013_CR35","doi-asserted-by":"publisher","first-page":"1666","DOI":"10.1007\/s11424-021-1232-8","volume":"34","author":"D Cheng","year":"2021","unstructured":"Cheng D, Wu Y, Zhao G, et al., A comprehensive survey on STP approach to finite games, Journal of Systems Science and Complexity, 2021, 34(5): 1666\u20131680.","journal-title":"Journal of Systems Science and Complexity"},{"key":"2013_CR36","unstructured":"Zhao J and Liu Z, Observability of probabilistic Boolean networks, Proceedings of the 34th Chinese Control Conference, Hangzhou, 2015."},{"key":"2013_CR37","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/j.automatica.2019.05.021","volume":"106","author":"R Zhou","year":"2019","unstructured":"Zhou R, Guo Y, and Gui W, Set reachability and observability of probabilistic Boolean networks, Automatica, 2019, 106): 230\u2013241.","journal-title":"Automatica"},{"issue":"2","key":"2013_CR38","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1109\/LCSYS.2019.2925870","volume":"4","author":"E Fornasini","year":"2020","unstructured":"Fornasini E and Valcher M E, Observability and reconstructibility of probabilistic Boolean networks, IEEE Control Systems Letters, 2020, 4(2): 319\u2013324.","journal-title":"IEEE Control Systems Letters"},{"key":"2013_CR39","doi-asserted-by":"publisher","first-page":"108621","DOI":"10.1016\/j.automatica.2019.108621","volume":"111","author":"Y Yu","year":"2020","unstructured":"Yu Y, Meng M, and Feng J, Observability of boolean networks via matrix equations, Automatica, 2020, 111): 108621.","journal-title":"Automatica"},{"key":"2013_CR40","doi-asserted-by":"publisher","first-page":"105001","DOI":"10.1016\/j.sysconle.2021.105001","volume":"156","author":"R Li","year":"2021","unstructured":"Li R, Zhang Q, Zhang J, et al., Distributional observability of probabilistic Boolean networks. Systems & Control Letters, 2021, 156: 105001.","journal-title":"Systems & Control Letters"},{"issue":"12","key":"2013_CR41","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/j.sysconle.2010.09.002","volume":"59","author":"Y Zhao","year":"2010","unstructured":"Zhao Y, Qi H, and Cheng D, Input-state incidence matrix of Boolean control networks and its applications, Systems & Control Letters, 2010, 59(12): 767\u2013774.","journal-title":"Systems & Control Letters"},{"issue":"4","key":"2013_CR42","doi-asserted-by":"publisher","first-page":"702","DOI":"10.1016\/j.automatica.2011.01.083","volume":"47","author":"D Cheng","year":"2011","unstructured":"Cheng D and Zhao Y, Identification of Boolean control networks, Automatica, 2011, 47(4): 702\u2013710.","journal-title":"Automatica"},{"issue":"6","key":"2013_CR43","doi-asserted-by":"publisher","first-page":"1390","DOI":"10.1109\/TAC.2012.2231592","volume":"58","author":"E Fornasini","year":"2012","unstructured":"Fornasini E and Valcher M E, Observability, reconstructibility and state observers of Boolean control networks, IEEE Transactions on Automatic Control, 2012, 58(6): 1390\u20131401.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"12","key":"2013_CR44","doi-asserted-by":"publisher","first-page":"6402","DOI":"10.1109\/TNNLS.2018.2826075","volume":"29","author":"Y Guo","year":"2018","unstructured":"Guo Y, Observability of Boolean control networks using parallel extension and set reachability, IEEE Transactions on Neural Networks and Learning Systems, 2018, 29(12): 6402\u20136408.","journal-title":"IEEE Transactions on Neural Networks and Learning Systems"},{"key":"2013_CR45","doi-asserted-by":"publisher","unstructured":"Pan Q, Zhong J, Lin L, et al., Observability of probabilistic Boolean control networks, Asian Journal of Control, 2022, DOI: https:\/\/doi.org\/10.1002\/asjc.2785.","DOI":"10.1002\/asjc.2785"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-023-2013-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11424-023-2013-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-023-2013-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T08:43:29Z","timestamp":1697705009000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11424-023-2013-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10]]},"references-count":45,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["2013"],"URL":"https:\/\/doi.org\/10.1007\/s11424-023-2013-3","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,10]]},"assertion":[{"value":"5 January 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 April 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 October 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no conflict of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}]}}