{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T00:20:46Z","timestamp":1714868446463},"reference-count":29,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Fundamentals"],"published-print":{"date-parts":[[2024,5,1]]},"DOI":"10.1587\/transfun.2023map0006","type":"journal-article","created":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T22:29:12Z","timestamp":1698013752000},"page":"793-798","source":"Crossref","is-referenced-by-count":0,"title":["A BDD-Based Approach to Finite-Time Control of Boolean Networks"],"prefix":"10.1587","volume":"E107.A","author":[{"given":"Fuma","family":"MOTOYAMA","sequence":"first","affiliation":[{"name":"Graduate School of Information Science and Technology, Hokkaido University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koichi","family":"KOBAYASHI","sequence":"additional","affiliation":[{"name":"Graduate School of Information Science and Technology, Hokkaido University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuh","family":"YAMASHITA","sequence":"additional","affiliation":[{"name":"Graduate School of Information Science and Technology, Hokkaido University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] S. Azuma, T. Yoshida, and T. Sugie, \u201cStructural monostability of activation-inhibition Boolean networks,\u201d IEEE Trans. Control Netw. Syst., vol.4, no.2, pp.179-190, 2017. 10.1109\/TCNS.2015.2485440","DOI":"10.1109\/TCNS.2015.2485440"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] M. Meng, J. Lam, J.E. Feng, and K.C. Cheung, \u201cStability and stabilization of Boolean networks with stochastic delays,\u201d IEEE Trans. Autom. Control, vol.64, no.2, pp.790-796, 2018. 10.1109\/TAC.2018.2835366","DOI":"10.1109\/TAC.2018.2835366"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Y. Guo, P. Wang, W. Gui, and C. Yang, \u201cSet stability and set stabilization of Boolean control networks based on invariant subsets,\u201d Automatica, vol.61, pp.106-112, 2015. 10.1016\/j.automatica.2015.08.006","DOI":"10.1016\/j.automatica.2015.08.006"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] A. Yerudkar, C. Del Vecchio, and L. Glielmo, \u201cFeedback stabilization control design for switched Boolean control networks,\u201d Automatica, vol.116, p.108934, 2020. 10.1016\/j.automatica.2020.108934","DOI":"10.1016\/j.automatica.2020.108934"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] D. Cheng and H. Qi, \u201cControllability and observability of Boolean control networks,\u201d Automatica, vol.45, no.7, pp.1659-1667, 2009. 10.1016\/j.automatica.2009.03.006","DOI":"10.1016\/j.automatica.2009.03.006"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] D. Laschov and M. Margaliot, \u201cControllability of Boolean control networks via the perron-frobenius theory,\u201d Automatica, vol.48, no.6, pp.1218-1223, 2012. 10.1016\/j.automatica.2012.03.022","DOI":"10.1016\/j.automatica.2012.03.022"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Q. Zhu, Y. Liu, J. Lu, and J. Cao, \u201cFurther results on the controllability of Boolean control networks,\u201d IEEE Trans. Autom. Control, vol.64, no.1, pp.440-442, 2018. 10.1109\/TAC.2018.2830642","DOI":"10.1109\/TAC.2018.2830642"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] E. Fornasini and M.E. Valcher, \u201cObservability, reconstructibility and state observers of Boolean control networks,\u201d IEEE Trans. Autom. Control, vol.58, no.6, pp.1390-1401, 2013. 10.1109\/TAC.2012.2231592","DOI":"10.1109\/TAC.2012.2231592"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Y. Yu, M. Meng, J.e. Feng, and G. Chen, \u201cObservability criteria for Boolean networks,\u201d IEEE Trans. Autom. Control, vol.67, no.11, pp.6248-6254, 2022. 10.1109\/TAC.2021.3131436","DOI":"10.1109\/TAC.2021.3131436"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] K. Kobayashi and K. Hiraishi, \u201cOptimal control of gene regulatory networks with effectiveness of multiple drugs: A Boolean network approach,\u201d BioMed research international, vol.2013, 2013. 10.1155\/2013\/246761","DOI":"10.1155\/2013\/246761"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] E. Fornasini and M.E. Valcher, \u201cOptimal control of Boolean control networks,\u201d IEEE Trans. Autom. Control, vol.59, no.5, pp.1258-1270, 2014. 10.1109\/TAC.2013.2294821","DOI":"10.1109\/TAC.2013.2294821"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Y. Wu, X.M. Sun, X. Zhao, and T. Shen, \u201cOptimal control of Boolean control networks with average cost: A policy iteration approach,\u201d Automatica, vol.100, pp.378-387, 2019. 10.1016\/j.automatica.2018.11.036","DOI":"10.1016\/j.automatica.2018.11.036"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] I. Shmulevich, E.R. Dougherty, S. Kim, and W. Zhang, \u201cProbabilistic Boolean networks: A rule-based uncertainty model for gene regulatory networks,\u201d Bioinformatics, vol.18, no.2, pp.261-274, 2002. 10.1093\/bioinformatics\/18.2.261","DOI":"10.1093\/bioinformatics\/18.2.261"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] R. Pal, A. Datta, M.L. Bittner, and E.R. Dougherty, \u201cIntervention in context-sensitive probabilistic Boolean networks,\u201d Bioinformatics, vol.21, no.7, pp.1211-1218, 2005. 10.1093\/bioinformatics\/bti131","DOI":"10.1093\/bioinformatics\/bti131"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] F. Li and J. Sun, \u201cControllability of probabilistic Boolean control networks,\u201d Automatica, vol.47, no.12, pp.2765-2771, 2011. 10.1016\/j.automatica.2011.09.016","DOI":"10.1016\/j.automatica.2011.09.016"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] K. Kobayashi and K. Hiraishi, \u201cAn integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks,\u201d Automatica, vol.47, no.6, pp.1260-1264, 2011. 10.1016\/j.automatica.2011.01.035","DOI":"10.1016\/j.automatica.2011.01.035"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] M. Toyoda and Y. Wu, \u201cMayer-type optimal control of probabilistic Boolean control network with uncertain selection probabilities,\u201d IEEE Trans. Cybern., vol.51, pp.3079-3092, 2021. 10.1109\/TCYB.2019.2954849","DOI":"10.1109\/TCYB.2019.2954849"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] A. Acernese, A. Yerudkar, L. Glielmo, and C. Del Vecchio, \u201cReinforcement learning approach to feedback stabilization problem of probabilistic Boolean control networks,\u201d IEEE Control Syst. Lett., vol.5, no.1, pp.337-342, 2020. 10.1109\/LCSYS.2020.3001993","DOI":"10.1109\/LCSYS.2020.3001993"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] D. Cheng, H. Qi, and Z. Li, Analysis and Control of Boolean Networks: A Semi-Tensor Product Approach, Springer, London, U.K., 2011. 10.1007\/978-0-85729-097-7","DOI":"10.1007\/978-0-85729-097-7_2"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] R.E. Bryant, \u201cGraph-based algorithms for Boolean function manipulation,\u201d IEEE Trans. Comput., vol.C-35, no.8, pp.677-691, 1986. 10.1109\/tc.1986.1676819","DOI":"10.1109\/TC.1986.1676819"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] G.V. Trinh, T. Akutsu, and K. Hiraishi, \u201cAn FVS-based approach to attractor detection in asynchronous random Boolean networks,\u201d IEEE\/ACM Trans. Comput. Biol. Bioinf., vol.19, no.2, pp.806-818, 2022. 10.1109\/tcbb.2020.3028862","DOI":"10.1109\/TCBB.2020.3028862"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Q. Yuan, H. Qu, J. Pang, and A. Mizera, \u201cImproving BDD-based attractor detection for synchronous Boolean networks,\u201d Sci. China Inf. Sci., vol.59, no.8, pp.1-16, 2016. 10.1007\/s11432-016-5594-9","DOI":"10.1007\/s11432-016-5594-9"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] T. Tamura and T. Akutsu, \u201cDetecting a singleton attractor in a Boolean network utilizing SAT algorithms,\u201d IEICE Trans Fundamentals, vol.E92-A, no.2, pp.493-501, Feb. 2009. 10.1587\/transfun.e92.a.493","DOI":"10.1587\/transfun.E92.A.493"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] K. Kobayashi and K. Hiraishi, \u201cILP\/SMT-based method for design of Boolean networks based on singleton attractors,\u201d IEEE\/ACM Trans. Comput. Biol. Bioinf., vol.11, no.6, pp.1253-1259, 2014. 10.1109\/tcbb.2014.2325011","DOI":"10.1109\/TCBB.2014.2325011"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] T. Akutsu, M. Hayashida, W.K. Ching, and M.K. Ng, \u201cControl of Boolean networks: Hardness results and algorithms for tree structured networks,\u201d Journal of Theoretical Biology, vol.244, no.4, pp.670-679, 2007. 10.1016\/j.jtbi.2006.09.023","DOI":"10.1016\/j.jtbi.2006.09.023"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] M. Chaves, \u201cMethods for qualitative analysis of genetic networks,\u201d 2009 European Control Conference, pp.671-676, 2009. 10.23919\/ECC.2009.7074480","DOI":"10.23919\/ECC.2009.7074480"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] L. Tournier and M. Chaves, \u201cUncovering operational interactions in genetic networks using asynchronous Boolean dynamics,\u201d Journal of Theoretical Biology, vol.260, no.2, pp.196-209, 2009. 10.1016\/j.jtbi.2009.06.006","DOI":"10.1016\/j.jtbi.2009.06.006"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] M. Jon\u00e1\u0161 and J. Strej\u010dek, \u201cQ3B: An efficient BDD-based SMT solver for quantified bit-vectors,\u201d International Conference on Computer Aided Verification, pp.64-73, Springer, 2019. 10.1007\/978-3-030-25543-5_4","DOI":"10.1007\/978-3-030-25543-5_4"},{"key":"29","doi-asserted-by":"publisher","unstructured":"[29] P. Dutta, L. Ma, Y. Ali, P. Sloot, and J. Zheng, \u201cBoolean network modeling of \u03b2-cell apoptosis and insulin resistance in type 2 diabetes mellitus,\u201d BMC Syst. Biol., vol.13, no.2, pp.1-12, 2019. 10.1186\/s12918-019-0692-0","DOI":"10.1186\/s12918-019-0692-0"}],"container-title":["IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transfun\/E107.A\/5\/E107.A_2023MAP0006\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T03:21:59Z","timestamp":1714792919000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transfun\/E107.A\/5\/E107.A_2023MAP0006\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,1]]},"references-count":29,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024]]}},"URL":"https:\/\/doi.org\/10.1587\/transfun.2023map0006","relation":{},"ISSN":["0916-8508","1745-1337"],"issn-type":[{"value":"0916-8508","type":"print"},{"value":"1745-1337","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,1]]},"article-number":"2023MAP0006"}}