{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T10:59:23Z","timestamp":1771930763319,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T00:00:00Z","timestamp":1701043200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T00:00:00Z","timestamp":1701043200000},"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":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1007\/s11432-023-3787-y","type":"journal-article","created":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T03:01:37Z","timestamp":1701658897000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Fault detectability of Boolean control networks via nonaugmented methods"],"prefix":"10.1007","volume":"66","author":[{"given":"Rong","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Caixia","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Yongyuan","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Jun-E.","family":"Feng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,27]]},"reference":[{"key":"3787_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. J Theor Biol, 1969, 22: 437\u2013467","journal-title":"J Theor Biol"},{"key":"3787_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L Glass","year":"1973","unstructured":"Glass L, Kauffman S A. The logical analysis of continuous, non-linear biochemical control networks. J Theor Biol, 1973, 39: 103\u2013129","journal-title":"J Theor Biol"},{"key":"3787_CR3","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1146\/annurev.genom.2.1.343","volume":"2","author":"T Ideker","year":"2001","unstructured":"Ideker T, Galitski T, Hood L. A new approach to decoding life: systems biology. Annu Rev Genom Hum Genet, 2001, 2: 343\u2013372","journal-title":"Annu Rev Genom Hum Genet"},{"key":"3787_CR4","doi-asserted-by":"publisher","first-page":"14796","DOI":"10.1073\/pnas.2036429100","volume":"100","author":"S Kauffman","year":"2003","unstructured":"Kauffman S, Peterson C, Samuelsson B, et al. Random Boolean network models and the yeast transcriptional network. Proc Natl Acad Sci USA, 2003, 100: 14796\u201314799","journal-title":"Proc Natl Acad Sci USA"},{"key":"3787_CR5","doi-asserted-by":"publisher","first-page":"e163","DOI":"10.1371\/journal.pcbi.0030163","volume":"3","author":"J Saez-Rodriguez","year":"2007","unstructured":"Saez-Rodriguez J, Simeoni L, Lindquist J A, et al. A logical model provides insights into T cell receptor signaling. Plos Comput Biol, 2007, 3: e163","journal-title":"Plos Comput Biol"},{"key":"3787_CR6","doi-asserted-by":"publisher","first-page":"2945","DOI":"10.1007\/s11538-014-0040-x","volume":"76","author":"A Veliz-Cuba","year":"2014","unstructured":"Veliz-Cuba A, Kumar A, Josi\u0107 K. Piecewise linear and Boolean models of chemical reaction networks. Bull Math Biol, 2014, 76: 2945\u20132984","journal-title":"Bull Math Biol"},{"key":"3787_CR7","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/BF02714570","volume":"44","author":"D Z Cheng","year":"2001","unstructured":"Cheng D Z. Semi-tensor product of matrices and its application to Morgen\u2019s problem. Sci China Ser F-Inf Sci, 2001, 44: 195\u2013212","journal-title":"Sci China Ser F-Inf Sci"},{"key":"3787_CR8","doi-asserted-by":"publisher","first-page":"010202","DOI":"10.1007\/s11432-017-9238-1","volume":"61","author":"H T Li","year":"2018","unstructured":"Li H T, Zhao G D, Meng M, et al. A survey on applications of semi-tensor product method in engineering. Sci China Inf Sci, 2018, 61: 010202","journal-title":"Sci China Inf Sci"},{"key":"3787_CR9","doi-asserted-by":"publisher","first-page":"111201","DOI":"10.1007\/s11432-022-3538-4","volume":"66","author":"Y Y Yan","year":"2023","unstructured":"Yan Y Y, Cheng D Z, Feng J-E, et al. Survey on applications of algebraic state space theory of logical systems to finite state machines. Sci China Inf Sci, 2023, 66: 111201","journal-title":"Sci China Inf Sci"},{"key":"3787_CR10","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.automatica.2018.02.014","volume":"92","author":"E Weiss","year":"2018","unstructured":"Weiss E, Margaliot M, Even G. Minimal controllability of conjunctive Boolean networks is NP-complete. Automatica, 2018, 92: 56\u201362","journal-title":"Automatica"},{"key":"3787_CR11","doi-asserted-by":"publisher","first-page":"132202","DOI":"10.1007\/s11432-020-3136-3","volume":"65","author":"R P Zhou","year":"2022","unstructured":"Zhou R P, Guo Y Q, Liu X Z, et al. Stabilization of Boolean control networks with state-triggered impulses. Sci China Inf Sci, 2022, 65: 132202","journal-title":"Sci China Inf Sci"},{"key":"3787_CR12","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1109\/TCNS.2021.3106453","volume":"9","author":"J Zhong","year":"2021","unstructured":"Zhong J, Ho D W C, Lu J. A new approach to pinning control of Boolean networks. IEEE Trans Control Netw Syst, 2021, 9: 415\u2013426","journal-title":"IEEE Trans Control Netw Syst"},{"key":"3787_CR13","doi-asserted-by":"publisher","first-page":"3040","DOI":"10.1137\/140991285","volume":"54","author":"K Zhang","year":"2016","unstructured":"Zhang K, Zhang L, Su R. A weighted pair graph representation for reconstructibility of Boolean control networks. SIAM J Control Optim, 2016, 54: 3040\u20133060","journal-title":"SIAM J Control Optim"},{"key":"3787_CR14","doi-asserted-by":"publisher","first-page":"6248","DOI":"10.1109\/TAC.2021.3131436","volume":"67","author":"Y Yu","year":"2021","unstructured":"Yu Y, Meng M, Feng J, et al. Observability criteria for Boolean networks. IEEE Trans Automat Contr, 2021, 67: 6248\u20136254","journal-title":"IEEE Trans Automat Contr"},{"key":"3787_CR15","doi-asserted-by":"publisher","first-page":"152203","DOI":"10.1007\/s11432-021-3365-2","volume":"65","author":"Y Liu","year":"2022","unstructured":"Liu Y, Zhong J, Ho D W C, et al. Minimal observability of Boolean networks. Sci China Inf Sci, 2022, 65: 152203","journal-title":"Sci China Inf Sci"},{"key":"3787_CR16","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1016\/j.automatica.2018.11.036","volume":"100","author":"Y Wu","year":"2019","unstructured":"Wu Y, Sun X M, Zhao X, et al. Optimal control of Boolean control networks with average cost: a policy iteration approach. Automatica, 2019, 100: 378\u2013387","journal-title":"Automatica"},{"key":"3787_CR17","doi-asserted-by":"publisher","first-page":"105007","DOI":"10.1016\/j.sysconle.2021.105007","volume":"156","author":"Y Yao","year":"2021","unstructured":"Yao Y, Sun J. Optimal control of multi-task Boolean control networks via temporal logic. Syst Control Lett, 2021, 156: 105007","journal-title":"Syst Control Lett"},{"key":"3787_CR18","doi-asserted-by":"publisher","first-page":"212203","DOI":"10.1007\/s11432-021-3446-8","volume":"65","author":"Y H Wu","year":"2022","unstructured":"Wu Y H, Zhang J Y, Shen T L. A logical network approximation to optimal control on a continuous domain and its application to HEV control. Sci China Inf Sci, 2022, 65: 212203","journal-title":"Sci China Inf Sci"},{"key":"3787_CR19","doi-asserted-by":"publisher","first-page":"1483","DOI":"10.1126\/science.aab4082","volume":"349","author":"I Martincorena","year":"2015","unstructured":"Martincorena I, Campbell P J. Somatic mutation in cancer and normal cells. Science, 2015, 349: 1483\u20131489","journal-title":"Science"},{"key":"3787_CR20","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1142\/S0218339012400062","volume":"20","author":"R Layek","year":"2012","unstructured":"Layek R, Datta A. Fault detection and intervention in biological feedback networks. J Biol Syst, 2012, 20: 441\u2013453","journal-title":"J Biol Syst"},{"key":"3787_CR21","doi-asserted-by":"publisher","first-page":"S4","DOI":"10.1186\/1471-2164-13-S6-S4","volume":"13","author":"S Sridharan","year":"2012","unstructured":"Sridharan S, Layek R, Datta A, et al. Boolean modeling and fault diagnosis in oxidative stress response. BMC Genomics, 2012, 13: S4","journal-title":"BMC Genomics"},{"key":"3787_CR22","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.biosystems.2019.02.013","volume":"179","author":"A Deshpande","year":"2019","unstructured":"Deshpande A, Layek R K. Fault detection and therapeutic intervention in gene regulatory networks using SAT solvers. Biosystems, 2019, 179: 55\u201362","journal-title":"Biosystems"},{"key":"3787_CR23","doi-asserted-by":"crossref","unstructured":"Fornasini E, Valcher M E. Fault detection of Boolean control networks. In: Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, 2014. 6542\u20136547","DOI":"10.1109\/CDC.2014.7040415"},{"key":"3787_CR24","doi-asserted-by":"publisher","first-page":"2734","DOI":"10.1109\/TAC.2015.2396646","volume":"60","author":"E Fornasini","year":"2015","unstructured":"Fornasini E, Valcher M E. Fault detection analysis of Boolean control networks. IEEE Trans Automat Contr, 2015, 60: 2734\u20132739","journal-title":"IEEE Trans Automat Contr"},{"key":"3787_CR25","doi-asserted-by":"crossref","unstructured":"Leifeld T, Zhang Z, Zhang P. Fault detection for probabilistic Boolean networks. In: Proceedings of European Control Conference (ECC), Aalborg, 2016. 740\u2013745","DOI":"10.1109\/ECC.2016.7810377"},{"key":"3787_CR26","doi-asserted-by":"crossref","unstructured":"Fornasini E, Valcher M E. Fault detection problems for Boolean networks and Boolean control networks. In: Proceedings of the 34th Chinese Control Conference (CCC), Hangzhou, 2015. 1\u20138","DOI":"10.1109\/ChiCC.2015.7259603"},{"key":"3787_CR27","doi-asserted-by":"crossref","unstructured":"Zhang Z, Leifeld T, Zhang P. Active fault detection of Boolean control networks. In: Proceedings of Annual American Control Conference (ACC), Milwaukee, 2018. 5001\u20135006","DOI":"10.23919\/ACC.2018.8431676"},{"key":"3787_CR28","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1080\/00207721.2021.1961914","volume":"53","author":"W Dou","year":"2022","unstructured":"Dou W, Zhao G, Li H, et al. Off-line fault detection of logical control networks. Int J Syst Sci, 2022, 53: 478\u2013487","journal-title":"Int J Syst Sci"},{"key":"3787_CR29","doi-asserted-by":"publisher","first-page":"7196","DOI":"10.1016\/j.jfranklin.2022.07.023","volume":"359","author":"R Zhao","year":"2022","unstructured":"Zhao R, Feng J, Wang B. Passive-active fault detection of Boolean control networks. J Franklin Institute, 2022, 359: 7196\u20137218","journal-title":"J Franklin Institute"},{"key":"3787_CR30","first-page":"3098","volume":"67","author":"Z Chen","year":"2020","unstructured":"Chen Z, Zhou Y, Zhang Z, et al. Semi-tensor product of matrices approach to the problem of fault detection for discrete event systems (DESs). IEEE Trans Circuits Syst II, 2020, 67: 3098\u20133102","journal-title":"IEEE Trans Circuits Syst II"},{"key":"3787_CR31","doi-asserted-by":"publisher","first-page":"2125","DOI":"10.3390\/en10122125","volume":"10","author":"Z Dong","year":"2017","unstructured":"Dong Z. Boolean network-based sensor selection with application to the fault diagnosis of a nuclear plant. Energies, 2017, 10: 2125","journal-title":"Energies"},{"key":"3787_CR32","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1016\/j.net.2018.03.015","volume":"50","author":"Z Dong","year":"2018","unstructured":"Dong Z, Pan Y, Huang X. Parameter identifiability of Boolean networks with application to fault diagnosis of nuclear plants. Nucl Eng Tech, 2018, 50: 599\u2013605","journal-title":"Nucl Eng Tech"},{"key":"3787_CR33","doi-asserted-by":"publisher","first-page":"688","DOI":"10.1016\/j.automatica.2012.01.021","volume":"48","author":"H Li","year":"2012","unstructured":"Li H, Wang Y. Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method. Automatica, 2012, 48: 688\u2013693","journal-title":"Automatica"},{"key":"3787_CR34","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1049\/iet-cta.2013.0104","volume":"8","author":"Z Liu","year":"2014","unstructured":"Liu Z, Wang Y, Li H. New approach to derivative calculation of multi-valued logical functions with application to fault detection of digital circuits. IET Control Theor Appl, 2014, 8: 554\u2013560","journal-title":"IET Control Theor Appl"},{"key":"3787_CR35","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.sysconle.2015.11.004","volume":"87","author":"D Cheng","year":"2016","unstructured":"Cheng D, Qi H, Liu T, et al. A note on observability of Boolean control networks. Syst Control Lett, 2016, 87: 76\u201382","journal-title":"Syst Control Lett"},{"key":"3787_CR36","doi-asserted-by":"publisher","first-page":"1659","DOI":"10.1016\/j.automatica.2009.03.006","volume":"45","author":"D Cheng","year":"2009","unstructured":"Cheng D, Qi H. Controllability and observability of Boolean control networks. Automatica, 2009, 45: 1659\u20131667","journal-title":"Automatica"},{"key":"3787_CR37","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.automatica.2009.10.036","volume":"46","author":"D Cheng","year":"2010","unstructured":"Cheng D, Li Z, Qi H. Realization of Boolean control networks. Automatica, 2010, 46: 62\u201369","journal-title":"Automatica"},{"key":"3787_CR38","first-page":"129","volume":"34","author":"E F Moore","year":"1956","unstructured":"Moore E F. Gedanken-experiments on sequential machines. Autom Studies, 1956, 34: 129\u2013153","journal-title":"Autom Studies"},{"key":"3787_CR39","first-page":"1029","volume":"70","author":"Y Li","year":"2023","unstructured":"Li Y, Li H. Fault isolation of logical control networks via set controllability of augmented system. IEEE Trans Circuits Syst II, 2023, 70: 1029\u20131033","journal-title":"IEEE Trans Circuits Syst II"},{"key":"3787_CR40","doi-asserted-by":"publisher","first-page":"5461","DOI":"10.1109\/TAC.2022.3226701","volume":"68","author":"S Zhu","year":"2023","unstructured":"Zhu S, Lu J, Azuma S, et al. Strong structural controllability of Boolean networks: polynomial-time criteria, minimal node control, and distributed pinning strategies. IEEE Trans Automat Contr, 2023, 68: 5461\u20135476","journal-title":"IEEE Trans Automat Contr"},{"key":"3787_CR41","doi-asserted-by":"publisher","first-page":"1886","DOI":"10.1109\/TAC.2022.3169178","volume":"68","author":"S Zhu","year":"2023","unstructured":"Zhu S, Lu J, Sun L, et al. Distributed pinning set stabilization of large-scale Boolean networks. IEEE Trans Automat Contr, 2023, 68: 1886\u20131893","journal-title":"IEEE Trans Automat Contr"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-023-3787-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-023-3787-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-023-3787-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T20:47:40Z","timestamp":1737233260000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-023-3787-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,27]]},"references-count":41,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["3787"],"URL":"https:\/\/doi.org\/10.1007\/s11432-023-3787-y","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,27]]},"assertion":[{"value":"10 March 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 May 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 November 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"222205"}}