{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T14:30:58Z","timestamp":1787322658515,"version":"build-2736575974"},"reference-count":58,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Control Optim."],"published-print":{"date-parts":[[2015,1]]},"abstract":"<jats:p>This paper investigates the controllability analysis and the control design for switched Boolean networks (SBNs) with state and input constraints by using the semi-tensor product method and presents a number of new results on their controllability, optimal control, and stabilization. First, the constrained incidence matrix is proposed for SBNs, based on which several necessary and sufficient conditions are obtained for the controllability. Second, using the results on the controllability, two algorithms are established to design proper switching sequence and controls that minimize the cost functional in a fixed\/designed shortest termination time. Third, the constrained SBN is converted to an equivalent unconstrained one, based on which some necessary and sufficient conditions are presented for the stabilization of the constrained SBN with open-loop and closed-loop controls, respectively. Finally, a practical example of the apoptosis network is studied by using the new results obtained in this paper. The study of the illustrative example shows that the new results\/algorithms presented in this paper are very effective in the controllability analysis and the control design for SBNs with state and input constraints.<\/jats:p>","DOI":"10.1137\/120902331","type":"journal-article","created":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T13:00:00Z","timestamp":1442322000000},"page":"2955-2979","source":"Crossref","is-referenced-by-count":119,"title":["Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints"],"prefix":"10.1137","volume":"53","author":[{"given":"Haitao","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuzhen","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012999365704"},{"key":"atypb2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2006.09.023"},{"key":"atypb3","doi-asserted-by":"crossref","unstructured":"M. Chaves,\n                      Methods for qualitative analysis of genetic networks\n                      , in Proceedings of the 10th European Control Conference, 2009, pp. 671-676.","DOI":"10.23919\/ECC.2009.7074480"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2013.08.076"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.05.013"},{"key":"atypb6","doi-asserted-by":"crossref","unstructured":"D. Cheng, H. Qi, and Z. Li,\n                      Analysis and Control of Boolean Networks: A Semi-tensor Product Approach\n                      , Springer, London, 2011.","DOI":"10.1007\/978-0-85729-097-7"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.03.006"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.10.036"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2043294"},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2050161"},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.083"},{"key":"atypb12","doi-asserted-by":"crossref","unstructured":"D. Cheng, H. Qi, and Y. Zhao,\n                      An Introduction to Semi-tensor Product of Matrices and Its Applications\n                      , World Scientific, Singapore, 2012.","DOI":"10.1142\/8323"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1137\/080719303"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.045"},{"key":"atypb15","first-page":"3247","author":"El-Farra N. H.","year":"2005","journal-title":"Proceedings of the American Control Conference"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1002\/aic.10499"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2231592"},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.02.027"},{"key":"atypb19","unstructured":"I. S. Gradshteyn and I. M. Ryzhik,\n                      Tables of Integrals, Series, and Products\n                      , 6th ed., Academic Press, San Diego, CA, 2000."},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"atypb21","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-0290(19991220)65:6<631::AID-BIT3>3.0.CO;2-7"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.917659"},{"key":"atypb23","doi-asserted-by":"publisher","DOI":"10.1038\/nrm2503"},{"key":"atypb24","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(69)90015-0"},{"key":"atypb25","unstructured":"K. Kobayashi and K. Hiraishi,\n                      Optimal control of asynchronous Boolean networks modeled by petri nets\n                      , in Proceedings of the 2nd International Workshop on Biological Process & Petri Nets, 2011, pp. 7-20."},{"key":"atypb26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2101430"},{"key":"atypb27","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.03.022"},{"key":"atypb28","doi-asserted-by":"publisher","DOI":"10.1137\/110844660"},{"key":"atypb29","unstructured":"B. Lewin,\n                      Genes\n                      VII, Oxford University Press, Oxford, UK, 2000."},{"key":"atypb30","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.040"},{"key":"atypb31","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2013.0452"},{"key":"atypb32","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2013.11.031"},{"key":"atypb33","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2013.05.012"},{"key":"atypb34","first-page":"908","volume":"31","author":"Li H.","year":"2014","journal-title":"Control Theory Appl."},{"key":"atypb35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298731"},{"key":"atypb36","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2238092"},{"key":"atypb37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.829632"},{"key":"atypb38","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.041"},{"key":"atypb39","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2012009"},{"key":"atypb40","doi-asserted-by":"publisher","DOI":"10.1049\/iet-syb.2009.0006"},{"key":"atypb41","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.05.053"},{"key":"atypb42","doi-asserted-by":"publisher","DOI":"10.1016\/j.mcm.2008.01.007"},{"key":"atypb43","doi-asserted-by":"publisher","DOI":"10.1137\/090776950"},{"key":"atypb44","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2006.873740"},{"key":"atypb45","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/18.2.261"},{"key":"atypb46","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00167-8"},{"key":"atypb47","doi-asserted-by":"crossref","unstructured":"Z. Sun and S. Ge,\n                      Switched Linear Systems: Control and Design\n                      , Springer, New York, 2005.","DOI":"10.1007\/1-84628-131-8"},{"key":"atypb48","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.07.016"},{"key":"atypb49","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.10.004"},{"key":"atypb50","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2007862"},{"key":"atypb51","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btm093"},{"key":"atypb52","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.829656"},{"key":"atypb53","doi-asserted-by":"publisher","DOI":"10.1007\/s11768-012-1178-4"},{"key":"atypb54","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2259957"},{"key":"atypb55","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.10.010"},{"key":"atypb56","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2013.2246187"},{"key":"atypb57","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.09.002"},{"key":"atypb58","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2092290"}],"container-title":["SIAM Journal on Control and Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/120902331","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T13:24:06Z","timestamp":1787318646000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/120902331"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":58,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["10.1137\/120902331"],"URL":"https:\/\/doi.org\/10.1137\/120902331","relation":{},"ISSN":["0363-0129","1095-7138"],"issn-type":[{"value":"0363-0129","type":"print"},{"value":"1095-7138","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1]]}}}