{"id":"https://openalex.org/W4387857209","doi":"https://doi.org/10.1587/transfun.2023map0006","title":"A BDD-Based Approach to Finite-Time Control of Boolean Networks","display_name":"A BDD-Based Approach to Finite-Time Control of Boolean Networks","publication_year":2023,"publication_date":"2023-10-22","ids":{"openalex":"https://openalex.org/W4387857209","doi":"https://doi.org/10.1587/transfun.2023map0006"},"language":"en","primary_location":{"id":"doi:10.1587/transfun.2023map0006","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1587/transfun.2023map0006","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/E107.A/5/E107.A_2023MAP0006/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.jstage.jst.go.jp/article/transfun/E107.A/5/E107.A_2023MAP0006/_pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022527003","display_name":"Fuma Motoyama","orcid":"https://orcid.org/0009-0008-4553-9073"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Fuma MOTOYAMA","raw_affiliation_strings":["Graduate School of Information Science and Technology, Hokkaido University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technology, Hokkaido University","institution_ids":["https://openalex.org/I205349734"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040531473","display_name":"Koichi Kobayashi","orcid":"https://orcid.org/0000-0002-3358-0254"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Koichi KOBAYASHI","raw_affiliation_strings":["Graduate School of Information Science and Technology, Hokkaido University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technology, Hokkaido University","institution_ids":["https://openalex.org/I205349734"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054322992","display_name":"Yuh Yamashita","orcid":"https://orcid.org/0000-0001-7190-6609"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yuh YAMASHITA","raw_affiliation_strings":["Graduate School of Information Science and Technology, Hokkaido University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technology, Hokkaido University","institution_ids":["https://openalex.org/I205349734"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I205349734"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.30649686,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"E107.A","issue":"5","first_page":"793","last_page":"798"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10120","display_name":"Bacterial Genetics and Biotechnology","score":0.9753999710083008,"subfield":{"id":"https://openalex.org/subfields/1311","display_name":"Genetics"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.8102953433990479},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.7564735412597656},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.633891761302948},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5673055648803711},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.5474496483802795},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5202356576919556},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.505744457244873},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4749329686164856},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4548095762729645},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.4546951353549957},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42805221676826477},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4190672039985657},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12217801809310913}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.8102953433990479},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7564735412597656},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.633891761302948},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5673055648803711},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.5474496483802795},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5202356576919556},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.505744457244873},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4749329686164856},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4548095762729645},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4546951353549957},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42805221676826477},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4190672039985657},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12217801809310913},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1587/transfun.2023map0006","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1587/transfun.2023map0006","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/E107.A/5/E107.A_2023MAP0006/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"},{"id":"pmh:oai:irdb.nii.ac.jp:01364:0007203235","is_oa":true,"landing_page_url":"https://hdl.handle.net/2115/92831","pdf_url":"https://eprints.lib.hokudai.ac.jp/repo/huscap/all/92831/E107.A_2023MAP0006.pdf","source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEICE transactions on fundamentals of electronics communications and computer sciences","raw_type":"journal article"}],"best_oa_location":{"id":"doi:10.1587/transfun.2023map0006","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1587/transfun.2023map0006","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/E107.A/5/E107.A_2023MAP0006/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6499999761581421}],"awards":[{"id":"https://openalex.org/G7671223964","display_name":"\u30b5\u30a4\u30d0\u30fc\u30d5\u30a3\u30b8\u30ab\u30eb\u30b7\u30b9\u30c6\u30e0\u306e\u30bb\u30ad\u30e5\u30a2\u306a\u30a4\u30d9\u30f3\u30c8\u30d9\u30fc\u30b9\u30c8\u5236\u5fa1\u3068\u30e2\u30d3\u30ea\u30c6\u30a3\u3078\u306e\u5c55\u958b","funder_award_id":"22K04163","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387857209.pdf","grobid_xml":"https://content.openalex.org/works/W4387857209.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W82319051","https://openalex.org/W1487734816","https://openalex.org/W1975274391","https://openalex.org/W1987906683","https://openalex.org/W1991720013","https://openalex.org/W2003746073","https://openalex.org/W2007581236","https://openalex.org/W2030235975","https://openalex.org/W2048152443","https://openalex.org/W2058779747","https://openalex.org/W2077895748","https://openalex.org/W2080267935","https://openalex.org/W2118467699","https://openalex.org/W2134367920","https://openalex.org/W2146917465","https://openalex.org/W2160533336","https://openalex.org/W2202757959","https://openalex.org/W2300731574","https://openalex.org/W2524770642","https://openalex.org/W2799280827","https://openalex.org/W2800112896","https://openalex.org/W2904868358","https://openalex.org/W2919883859","https://openalex.org/W2959756750","https://openalex.org/W2995330358","https://openalex.org/W3011461731","https://openalex.org/W3034404538","https://openalex.org/W3089714821","https://openalex.org/W3217449296"],"related_works":["https://openalex.org/W4248224315","https://openalex.org/W2169792446","https://openalex.org/W2187008505","https://openalex.org/W1967845326","https://openalex.org/W2390183607","https://openalex.org/W2246807618","https://openalex.org/W3141532631","https://openalex.org/W1991822629","https://openalex.org/W2131164334","https://openalex.org/W2106622045"],"abstract_inverted_index":{"Control":[0],"of":[1,11,24,50,67,86,108],"complex":[2,29],"networks":[3,8],"such":[4,76,96],"as":[5],"gene":[6],"regulatory":[7],"is":[9,22,52,82,112,120,128,138],"one":[10,23],"the":[12,25,33,46,68,72,98,106,114],"fundamental":[13],"problems":[14],"in":[15,28,117],"control":[16,48,73,80],"theory.":[17],"A":[18],"Boolean":[19,37],"network":[20],"(BN)":[21],"mathematical":[26],"models":[27],"networks,":[30],"and":[31,71,110],"represents":[32],"dynamic":[34],"behavior":[35],"by":[36],"functions.":[38],"In":[39,60],"this":[40,61,92,118],"paper,":[41],"a":[42,55,78,123,131,135],"solution":[43,124],"method":[44,100,125],"for":[45,94],"finite-time":[47],"problem":[49,93,115],"BNs":[51,95,109],"proposed":[53],"using":[54,126],"BDD":[56],"(binary":[57],"decision":[58],"diagram).":[59],"problem,":[62],"we":[63],"find":[64],"all":[65],"combinations":[66],"initial":[69],"state":[70],"input":[74],"sequence":[75],"that":[77,97],"certain":[79],"specification":[81],"satisfied.":[83],"The":[84],"use":[85],"BDDs":[87,111,127],"enables":[88],"us":[89],"to":[90],"solve":[91],"conventional":[99],"cannot":[101],"be":[102],"applied.":[103],"First,":[104],"after":[105],"outline":[107],"explained,":[113],"studied":[116],"paper":[119],"given.":[121],"Next,":[122],"proposed.":[129],"Finally,":[130],"numerical":[132],"example":[133],"on":[134],"67-node":[136],"BN":[137],"presented.":[139]},"counts_by_year":[],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}