{"id":"https://openalex.org/W4413461833","doi":"https://doi.org/10.1109/tac.2025.3599022","title":"Koopman Theory for Boolean Networks","display_name":"Koopman Theory for Boolean Networks","publication_year":2025,"publication_date":"2025-08-14","ids":{"openalex":"https://openalex.org/W4413461833","doi":"https://doi.org/10.1109/tac.2025.3599022"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2025.3599022","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3599022","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032411105","display_name":"He Kong","orcid":"https://orcid.org/0000-0002-1382-4186"},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Kong","raw_affiliation_strings":["School of Automation and Intelligent Manufacturing, Guangdong Provincial Key Laboratory of Fully Actuated System Control Theory and Technology, Southern University of Science and Technology, Shenzhen, China","School of Automation and Intelligent Manufacturing, and Guangdong Provincial Key Laboratory of Fully Actuated System Control Theory and Technology, Southern University of Science and Technology, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-1382-4186","affiliations":[{"raw_affiliation_string":"School of Automation and Intelligent Manufacturing, Guangdong Provincial Key Laboratory of Fully Actuated System Control Theory and Technology, Southern University of Science and Technology, Shenzhen, China","institution_ids":["https://openalex.org/I3045169105"]},{"raw_affiliation_string":"School of Automation and Intelligent Manufacturing, and Guangdong Provincial Key Laboratory of Fully Actuated System Control Theory and Technology, Southern University of Science and Technology, Shenzhen, China","institution_ids":["https://openalex.org/I3045169105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076197013","display_name":"Hongsheng Qi","orcid":"https://orcid.org/0000-0002-1698-7570"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210120485","display_name":"Academy of Mathematics and Systems Science","ror":"https://ror.org/02jkmyk67","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210120485"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongsheng Qi","raw_affiliation_strings":["State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-1698-7570","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210120485","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064493313","display_name":"Maria Elena Valcher","orcid":"https://orcid.org/0000-0002-7595-3688"},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria Elena Valcher","raw_affiliation_strings":["Dipartimento di Ingegneria dell’Informazione, Universita’ di Padova, Padova, Italy","Dipartimento di Ingegneria dell'Informazione, Universita' di Padova, Padova, Italy"],"raw_orcid":"https://orcid.org/0000-0002-7595-3688","affiliations":[{"raw_affiliation_string":"Dipartimento di Ingegneria dell’Informazione, Universita’ di Padova, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]},{"raw_affiliation_string":"Dipartimento di Ingegneria dell'Informazione, Universita' di Padova, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101779749","display_name":"Guodong Shi","orcid":"https://orcid.org/0000-0002-5929-9655"},"institutions":[{"id":"https://openalex.org/I4210127558","display_name":"Australian Centre for Robotic Vision","ror":"https://ror.org/02zv9xv82","country_code":"AU","type":"facility","lineage":["https://openalex.org/I4210127558"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Guodong Shi","raw_affiliation_strings":["Australian Center for Robotics, School of Aerospace, Mechanical and Mechatronic Engineering, The University of Sydney, Camperdown, NSW, Australia","Australian Center for Robotics, School of Aerospace, Mechanical and Mechatronic Engineering, The University of Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0002-5929-9655","affiliations":[{"raw_affiliation_string":"Australian Center for Robotics, School of Aerospace, Mechanical and Mechatronic Engineering, The University of Sydney, Camperdown, NSW, Australia","institution_ids":["https://openalex.org/I4210127558"]},{"raw_affiliation_string":"Australian Center for Robotics, School of Aerospace, Mechanical and Mechatronic Engineering, The University of Sydney, Australia","institution_ids":["https://openalex.org/I4210127558"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1519,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7942176,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"71","issue":"2","first_page":"823","last_page":"838"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9776999950408936,"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":0.9776999950408936,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5238516330718994},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4939590096473694},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.4602694809436798},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.43698570132255554},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4224257469177246},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3875250816345215},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3654029369354248},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3418899178504944},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2298489212989807},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1591433584690094}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5238516330718994},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4939590096473694},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.4602694809436798},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.43698570132255554},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4224257469177246},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3875250816345215},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3654029369354248},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3418899178504944},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2298489212989807},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1591433584690094}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tac.2025.3599022","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3599022","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},{"id":"pmh:oai:www.research.unipd.it:11577/3560306","is_oa":false,"landing_page_url":"https://hdl.handle.net/11577/3560306","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3567117816","display_name":null,"funder_award_id":"LP210200473","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G4407899242","display_name":null,"funder_award_id":"DP230101014","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G5418894820","display_name":null,"funder_award_id":"DP190103615","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G5452555906","display_name":null,"funder_award_id":"62550003","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7202759891","display_name":null,"funder_award_id":"62350037","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7521632327","display_name":null,"funder_award_id":"U24B6014","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8618877991","display_name":null,"funder_award_id":"2024B1212010002","funder_id":"https://openalex.org/F4320335795","funder_display_name":"Science and Technology Planning Project of Guangdong Province"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"},{"id":"https://openalex.org/F4320335795","display_name":"Science and Technology Planning Project of Guangdong Province","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1976822807","https://openalex.org/W3029381898","https://openalex.org/W2150974517","https://openalex.org/W4248224315","https://openalex.org/W2060171268","https://openalex.org/W4241453319","https://openalex.org/W2169792446","https://openalex.org/W2728195892","https://openalex.org/W3144510369","https://openalex.org/W1991822629"],"abstract_inverted_index":{"Networks":[0],"of":[1,25,39,46,56,92,98,187,197],"agents":[2],"with":[3],"logical":[4,88],"states,":[5],"namely":[6],"Boolean":[7,26,81,99,112,148],"networks,":[8,17,113],"arise":[9],"in":[10,32],"various":[11],"application":[12],"domains":[13],"including":[14],"biology,":[15],"computer":[16],"and":[18,23,105,133,155,180],"social":[19],"networks.":[20,82],"The":[21,101],"representation":[22,121],"control":[24,149,160],"networks":[27,150],"have":[28],"attracted":[29],"much":[30],"attention":[31],"recent":[33],"years.":[34],"In":[35,72],"a":[36,66,77,96,119,131,158,175,189],"parallel":[37],"line":[38],"research,":[40],"Koopman":[41,78,103,106,126,153],"developed":[42],"an":[43],"operator":[44,104],"view":[45],"nonlinear":[47,60],"dynamical":[48],"systems,":[49],"which":[50],"shows":[51],"that,":[52],"by":[53,195],"making":[54],"use":[55],"observable":[57],"functions,":[58],"every":[59],"dynamics":[61,140,186],"can":[62],"be":[63,125,192],"represented":[64],"as":[65],"(possibly":[67],"infinite":[68],"dimensional)":[69],"linear":[70,120],"system.":[71],"this":[73,165],"paper,":[74],"we":[75,129,156],"present":[76],"theory":[79,107],"for":[80,87,111,136,147],"We":[83],"introduce":[84],"algebraic":[85],"operations":[86],"functions":[89],"over":[90],"semirings":[91],"binary":[93],"numbers,":[94],"defining":[95],"semimodule":[97],"functions.":[100],"classical":[102],"are":[108],"then":[109],"established":[110],"where":[114],"the":[115,138,152,185],"key":[116],"ingredient":[117],"to":[118,124,163,174],"is":[122,172,182],"shown":[123],"invariance.":[127],"Next,":[128],"establish":[130],"necessary":[132],"sufficient":[134],"condition":[135],"shaping":[137,167,171],"closed-loop":[139],"via":[141],"feedback":[142,159,166,170,198],"into":[143],"any":[144],"desired":[145],"form":[146],"under":[151],"representation,":[154],"develop":[157],"synthesis":[161],"algorithm":[162],"solve":[164],"problem.":[168],"Finally,":[169],"applied":[173],"real-world":[176],"gene":[177],"regulatory":[178],"network,":[179],"it":[181],"demonstrated":[183],"that":[184],"such":[188],"network":[190],"may":[191],"arbitrarily":[193],"manipulated":[194],"means":[196],"control.":[199]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}