{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:23:25Z","timestamp":1743092605556,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":31,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819606160"},{"type":"electronic","value":"9789819606177"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-981-96-0617-7_16","type":"book-chapter","created":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T14:46:48Z","timestamp":1732805208000},"page":"278-296","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Observability of\u00a0Boolean Control Networks: New Definition and\u00a0Verification Algorithm"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5868-3049","authenticated-orcid":false,"given":"Guisen","family":"Wu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9771-3071","authenticated-orcid":false,"given":"Zhiming","family":"Liu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4521-4112","authenticated-orcid":false,"given":"Jun","family":"Pang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,11,29]]},"reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1016\/j.jtbi.2006.09.023","volume":"244","author":"T Akutsu","year":"2007","unstructured":"Akutsu, T., Hayashida, M., Ching, W.K., Ng, M.K.: Control of Boolean networks: hardness results and algorithms for tree structured networks. J. Theor. Biol. 244(4), 670\u2013679 (2007). https:\/\/doi.org\/10.1016\/j.jtbi.2006.09.023","journal-title":"J. Theor. Biol."},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-319-67471-1_4","volume-title":"Computational Methods in Systems Biology","author":"C Biane","year":"2017","unstructured":"Biane, C., Delaplace, F.: Abduction based drug target discovery using boolean control network. In: Feret, J., Koeppl, H. (eds.) CMSB 2017. LNCS, vol. 10545, pp. 57\u201373. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67471-1_4"},{"issue":"7","key":"16_CR3","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 45(7), 1659\u20131667 (2009). https:\/\/doi.org\/10.1016\/j.automatica.2009.03.006","journal-title":"Automatica"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"529","DOI":"10.3724\/SP.J.1004.2011.00044","volume":"37","author":"D Cheng","year":"2011","unstructured":"Cheng, D., Qi, H., Li, Z.: Analysis and control of Boolean networks: a semi-tensor product approach. Acta Automatica Sinica 37, 529\u2013540 (2011)","journal-title":"Acta Automatica Sinica"},{"issue":"4","key":"16_CR5","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., Qi, H., Li, Z.: Identification of Boolean control networks. Automatica 47(4), 702\u2013710 (2011). https:\/\/doi.org\/10.1016\/j.automatica.2011.01.083","journal-title":"Automatica"},{"key":"16_CR6","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., Wang, Y.: A note on observability of Boolean control networks. Syst. Control Lett. 87, 76\u201382 (2016). https:\/\/doi.org\/10.1016\/j.sysconle.2015.11.004","journal-title":"Syst. Control Lett."},{"issue":"6","key":"16_CR7","doi-asserted-by":"publisher","first-page":"1390","DOI":"10.1109\/TAC.2012.2231592","volume":"58","author":"E Fornasini","year":"2013","unstructured":"Fornasini, E., Valcher, M.E.: Observability, reconstructibility and state observers of Boolean control networks. IEEE Trans. Autom. Control 58(6), 1390\u20131401 (2013). https:\/\/doi.org\/10.1109\/TAC.2012.2231592","journal-title":"IEEE Trans. Autom. Control"},{"issue":"12","key":"16_CR8","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 Trans. Neural Netw. Learn. Syst. 29(12), 6402\u20136408 (2018). https:\/\/doi.org\/10.1109\/TNNLS.2018.2826075","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"issue":"1","key":"16_CR9","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. Ann. Rev. Genomics Hum. Genet. 2(1), 343\u2013372 (2001). https:\/\/doi.org\/10.1146\/annurev.genom.2.1.343","journal-title":"Ann. Rev. Genomics Hum. Genet."},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1016\/S0022-2836(61)80072-7","volume":"3","author":"F Jacob","year":"1961","unstructured":"Jacob, F., Monod, J.: Genetic regulatory mechanisms in the synthesis of proteins. J. Mol. Biol. 3(3), 318\u2013356 (1961). https:\/\/doi.org\/10.1016\/S0022-2836(61)80072-7","journal-title":"J. Mol. Biol."},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"SA Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22(3), 437\u2013467 (1969). https:\/\/doi.org\/10.1016\/0022-5193(69)90015-0","journal-title":"J. Theor. Biol."},{"issue":"7","key":"16_CR12","doi-asserted-by":"publisher","first-page":"3894","DOI":"10.1073\/pnas.96.7.3894","volume":"96","author":"M Kaufman","year":"1999","unstructured":"Kaufman, M., Andris, F., Leo, O.: A logical analysis of t cell activation and anergy. Proc. Natl. Acad. Sci. 96(7), 3894\u20133899 (1999). https:\/\/doi.org\/10.1073\/pnas.96.7.3894","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"1","key":"16_CR13","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1186\/1471-2105-7-56","volume":"7","author":"S Klamt","year":"2006","unstructured":"Klamt, S., Saez-Rodriguez, J., Lindquist, J.A., Simeoni, L., Gilles, E.D.: A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinf. 7(1), 56 (2006). https:\/\/doi.org\/10.1186\/1471-2105-7-56","journal-title":"BMC Bioinf."},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"1609","DOI":"10.1049\/iet-cta.2010.0558","volume":"5","author":"F Li","year":"2011","unstructured":"Li, F., Sun, J.: Observability analysis of Boolean control networks with impulsive effects. IET Control Theory Appl. 5, 1609\u20131616 (2011). https:\/\/doi.org\/10.1049\/iet-cta.2010.0558","journal-title":"IET Control Theory Appl."},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-31304-3_1","volume-title":"Computational Methods in Systems Biology","author":"H Mandon","year":"2019","unstructured":"Mandon, H., Su, C., Haar, S., Pang, J., Paulev\u00e9, L.: Sequential reprogramming of boolean networks made practical. In: Bortolussi, L., Sanguinetti, G. (eds.) CMSB 2019. LNCS, vol. 11773, pp. 3\u201319. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31304-3_1"},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1109\/TCBB.2021.3133608","volume":"20","author":"C Su","year":"2023","unstructured":"Su, C., Pang, J.: Target control of asynchronous Boolean networks. IEEE\/ACM Trans. Comput. Biol. Bioinf. 20(1), 707\u2013719 (2023)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"issue":"6","key":"16_CR17","doi-asserted-by":"publisher","first-page":"2167","DOI":"10.1109\/TCBB.2019.2914051","volume":"18","author":"C Su","year":"2021","unstructured":"Su, C., Pang, J., Paul, S.: Towards optimal decomposition of Boolean networks. IEEE\/ACM Trans. Comput. Biol. Bioinf. 18(6), 2167\u20132176 (2021)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/978-3-030-30942-8_41","volume-title":"Formal Methods \u2013 The Next 30 Years","author":"C Su","year":"2019","unstructured":"Su, C., Paul, S., Pang, J.: Controlling large Boolean networks with temporary and permanent perturbations. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) FM 2019. LNCS, vol. 11800, pp. 707\u2013724. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_41"},{"key":"16_CR19","doi-asserted-by":"publisher","unstructured":"Thunberg, J., Ogren, P., Hu, X.: A Boolean control network approach to pursuit evasion problems in polygonal environments. In: IEEE International Conference on Robotics and Automation, pp. 4506\u20134511 (2011). https:\/\/doi.org\/10.1109\/ICRA.2011.5979948","DOI":"10.1109\/ICRA.2011.5979948"},{"issue":"3","key":"16_CR20","doi-asserted-by":"publisher","first-page":"1591","DOI":"10.1137\/20M1373773","volume":"60","author":"B Wang","year":"2022","unstructured":"Wang, B., Feng, J., Cheng, D.: On identification of Boolean control networks. SIAM J. Control. Optim. 60(3), 1591\u20131612 (2022). https:\/\/doi.org\/10.1137\/20M1373773","journal-title":"SIAM J. Control. Optim."},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Wu, G., Pang, J.: Single-experiment reconstructibility of Boolean control networks revisited. In: Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics, pp. 95\u201393. SCITEPRESS (2023)","DOI":"10.5220\/0012161100003543"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.scico.2019.05.001","volume":"180","author":"Q Yuan","year":"2019","unstructured":"Yuan, Q., Mizera, A., Pang, J., Qu, H.: A new decomposition-based method for detecting attractors in synchronous Boolean networks. Sci. Comput. Program. 180, 18\u201335 (2019)","journal-title":"Sci. Comput. Program."},{"issue":"9","key":"16_CR23","doi-asserted-by":"publisher","first-page":"2733","DOI":"10.1109\/TAC.2015.2501365","volume":"61","author":"K Zhang","year":"2016","unstructured":"Zhang, K., Zhang, L.: Observability of Boolean control networks: a unified approach based on finite automata. IEEE Trans. Autom. Control 61(9), 2733\u20132738 (2016). https:\/\/doi.org\/10.1109\/TAC.2015.2501365","journal-title":"IEEE Trans. Autom. Control"},{"key":"16_CR24","series-title":"Communications and Control Engineering","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-030-25972-3_8","volume-title":"Discrete-Time and Discrete-Space Dynamical Systems","author":"K Zhang","year":"2020","unstructured":"Zhang, K., Zhang, L., Xie, L.: Detectability of nondeterministic finite-transition systems. In: Discrete-Time and Discrete-Space Dynamical Systems. CCE, pp. 165\u2013175. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-25972-3_8"},{"key":"16_CR25","series-title":"Communications and Control Engineering","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-030-25972-3_2","volume-title":"Discrete-Time and Discrete-Space Dynamical Systems","author":"K Zhang","year":"2020","unstructured":"Zhang, K., Zhang, L., Xie, L.: Different types of discrete-time and discrete-space dynamical systems. In: Discrete-Time and Discrete-Space Dynamical Systems. CCE, pp. 35\u201356. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-25972-3_2"},{"key":"16_CR26","series-title":"Communications and Control Engineering","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-030-25972-3_6","volume-title":"Discrete-Time and Discrete-Space Dynamical Systems","author":"K Zhang","year":"2020","unstructured":"Zhang, K., Zhang, L., Xie, L.: Observability and detectability of large-scale boolean control networks. In: Discrete-Time and Discrete-Space Dynamical Systems. CCE, pp. 117\u2013142. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-25972-3_6"},{"key":"16_CR27","series-title":"Communications and Control Engineering","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-030-25972-3_4","volume-title":"Discrete-Time and Discrete-Space Dynamical Systems","author":"K Zhang","year":"2020","unstructured":"Zhang, K., Zhang, L., Xie, L.: Observability of Boolean control networks. In: Discrete-Time and Discrete-Space Dynamical Systems. CCE, pp. 87\u2013104. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-25972-3_4"},{"issue":"12","key":"16_CR28","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., Cheng, D.: Input-state incidence matrix of Boolean control networks and its applications. Syst. Control Lett. 59(12), 767\u2013774 (2010). https:\/\/doi.org\/10.1016\/j.sysconle.2010.09.002","journal-title":"Syst. Control Lett."},{"key":"16_CR29","doi-asserted-by":"publisher","first-page":"7784","DOI":"10.1109\/TNNLS.2022.3146262","volume":"34","author":"D Zhong","year":"2023","unstructured":"Zhong, D., Li, Y., Lu, J.: Feedback stabilization of Boolean control networks with missing data. IEEE Trans. Neural Netw. Learn. Syst. 34, 7784\u20137795 (2023). https:\/\/doi.org\/10.1109\/TNNLS.2022.3146262","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"issue":"3","key":"16_CR30","doi-asserted-by":"publisher","first-page":"1558","DOI":"10.1109\/TAC.2021.3069739","volume":"67","author":"S Zhu","year":"2022","unstructured":"Zhu, S., Lu, J., Lin, L., Liu, Y.: Minimum-time and minimum-triggering observability of stochastic Boolean networks. IEEE Trans. Autom. Control 67(3), 1558\u20131565 (2022). https:\/\/doi.org\/10.1109\/TAC.2021.3069739","journal-title":"IEEE Trans. Autom. Control"},{"key":"16_CR31","doi-asserted-by":"publisher","unstructured":"Zhu, S., Lu, J., Zhong, J., Liu, Y., Cao, J.: On the sensors construction of large Boolean networks via pinning observability. IEEE Trans. Autom. Control (2021). https:\/\/doi.org\/10.1109\/TAC.2021.3110165","DOI":"10.1109\/TAC.2021.3110165"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0617-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T15:09:30Z","timestamp":1732806570000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0617-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9789819606160","9789819606177"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0617-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"ICFEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Engineering Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hiroshima","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icfem2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.icfem2024.info\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}