{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,26]],"date-time":"2025-04-26T05:07:12Z","timestamp":1745644032463,"version":"3.37.3"},"reference-count":34,"publisher":"World Scientific Pub Co Pte Ltd","issue":"02","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62073315"],"award-info":[{"award-number":["62073315"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010031","name":"Postdoctoral Research Foundation of China","doi-asserted-by":"publisher","award":["2021M703423"],"award-info":[{"award-number":["2021M703423"]}],"id":[{"id":"10.13039\/501100010031","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010031","name":"Postdoctoral Research Foundation of China","doi-asserted-by":"publisher","award":["2022T150686"],"award-info":[{"award-number":["2022T150686"]}],"id":[{"id":"10.13039\/501100010031","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Un. Sys."],"published-print":{"date-parts":[[2024,3]]},"abstract":"<jats:p> In this paper, we propose a transition system (TS) framework for the analysis and design of logical networks. The formula for calculating the fixed points and cycles of a TS is first provided. Then, the TS representation of Boolean networks (BNs) and Boolean control networks (BCNs) is introduced. The first kind of representation is state-based, which converts a BCN into a TS with either distinguished controls or undistinguished ones. The second representation is output-based, which is also called the simulation of the original BCN. Finally, after introducing the notion of output simulation, our method is applied to design output robust controls of logical networks. <\/jats:p>","DOI":"10.1142\/s2301385024410073","type":"journal-article","created":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T09:09:06Z","timestamp":1700039346000},"page":"239-247","source":"Crossref","is-referenced-by-count":2,"title":["Transition System Representation of Boolean Control Networks"],"prefix":"10.1142","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5088-3209","authenticated-orcid":false,"given":"Daizhan","family":"Cheng","sequence":"first","affiliation":[{"name":"Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6864-2921","authenticated-orcid":false,"given":"Xiao","family":"Zhang","sequence":"additional","affiliation":[{"name":"Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, P.\u00a0R.\u00a0China"},{"name":"National Center for Mathematics and Interdisciplinary Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8568-1615","authenticated-orcid":false,"given":"Zhengping","family":"Ji","sequence":"additional","affiliation":[{"name":"Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, P.\u00a0R.\u00a0China"},{"name":"School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing 100190, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2023,12,11]]},"reference":[{"key":"S2301385024410073BIB001","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(69)90015-0"},{"key":"S2301385024410073BIB002","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2004.824262"},{"key":"S2301385024410073BIB003","doi-asserted-by":"publisher","DOI":"10.1006\/excr.2000.5044"},{"volume-title":"Temporal Organization in Cells","year":"1963","author":"Goodwin B.","key":"S2301385024410073BIB004"},{"key":"S2301385024410073BIB005","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127403006765"},{"key":"S2301385024410073BIB006","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.03.006"},{"key":"S2301385024410073BIB007","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-013-4851-4"},{"key":"S2301385024410073BIB008","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.04.028"},{"key":"S2301385024410073BIB009","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2231592"},{"key":"S2301385024410073BIB010","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2018.03.004"},{"key":"S2301385024410073BIB011","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2968836"},{"issue":"4","key":"S2301385024410073BIB012","first-page":"1272","volume":"50","author":"Li R.","year":"2014","journal-title":"Syst. Control Lett."},{"issue":"2","key":"S2301385024410073BIB013","first-page":"790","volume":"64","author":"Meng M.","year":"2019","journal-title":"IEEE Trans. Autom. Control"},{"key":"S2301385024410073BIB014","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2997282"},{"key":"S2301385024410073BIB015","doi-asserted-by":"publisher","DOI":"10.1080\/23307706.2015.1098577"},{"key":"S2301385024410073BIB016","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2016.1659"},{"key":"S2301385024410073BIB017","doi-asserted-by":"publisher","DOI":"10.1007\/s11768-022-00122-x"},{"volume-title":"Analysis and Control of Boolean Networks \u2014 A Semi-tensor Product Approach","year":"2011","author":"Cheng D.","key":"S2301385024410073BIB018"},{"key":"S2301385024410073BIB019","doi-asserted-by":"publisher","DOI":"10.1142\/8323"},{"key":"S2301385024410073BIB020","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2043294"},{"key":"S2301385024410073BIB021","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127410025892"},{"key":"S2301385024410073BIB022","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.09.002"},{"key":"S2301385024410073BIB023","doi-asserted-by":"publisher","DOI":"10.1137\/110844660"},{"key":"S2301385024410073BIB024","first-page":"51","volume":"1","author":"Guan P.","year":"1987","journal-title":"Complex Syst."},{"key":"S2301385024410073BIB025","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.11.021"},{"key":"S2301385024410073BIB026","series-title":"Lecture Notes","volume-title":"Automata and Formal Language","author":"Kari J.","year":"2013"},{"volume-title":"Verification and Control of Hybrid Systems \u2014 A Symbolic Approach","year":"2019","author":"Tabuada P.","key":"S2301385024410073BIB027"},{"key":"S2301385024410073BIB028","doi-asserted-by":"publisher","DOI":"10.1561\/2600000001"},{"key":"S2301385024410073BIB029","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2013.0096"},{"key":"S2301385024410073BIB030","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2259957"},{"key":"S2301385024410073BIB031","doi-asserted-by":"publisher","DOI":"10.1631\/FITEE.2100561"},{"key":"S2301385024410073BIB032","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"S2301385024410073BIB033","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.08.006"},{"key":"S2301385024410073BIB035","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2050161"}],"container-title":["Unmanned Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S2301385024410073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,8]],"date-time":"2024-03-08T07:51:13Z","timestamp":1709884273000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S2301385024410073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,11]]},"references-count":34,"journal-issue":{"issue":"02","published-print":{"date-parts":[[2024,3]]}},"alternative-id":["10.1142\/S2301385024410073"],"URL":"https:\/\/doi.org\/10.1142\/s2301385024410073","relation":{},"ISSN":["2301-3850","2301-3869"],"issn-type":[{"type":"print","value":"2301-3850"},{"type":"electronic","value":"2301-3869"}],"subject":[],"published":{"date-parts":[[2023,12,11]]}}}