{"id":"https://openalex.org/W3119776376","doi":"https://doi.org/10.1109/cdc42340.2020.9304144","title":"Distributedly Solving Boolean Equations over Networks","display_name":"Distributedly Solving Boolean Equations over Networks","publication_year":2020,"publication_date":"2020-12-14","ids":{"openalex":"https://openalex.org/W3119776376","doi":"https://doi.org/10.1109/cdc42340.2020.9304144","mag":"3119776376"},"language":"en","primary_location":{"id":"doi:10.1109/cdc42340.2020.9304144","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc42340.2020.9304144","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 59th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-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/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":"funder","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"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hongsheng Qi","raw_affiliation_strings":["Key Laboratory of Systems and Control, Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China","School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Systems and Control, Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210120485","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100448719","display_name":"Bo Li","orcid":"https://orcid.org/0000-0003-4885-0656"},"institutions":[{"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"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bo Li","raw_affiliation_strings":["Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210120485","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091101857","display_name":"Rui-Juan Jing","orcid":"https://orcid.org/0000-0001-6932-8862"},"institutions":[{"id":"https://openalex.org/I115592961","display_name":"Jiangsu University","ror":"https://ror.org/03jc41j30","country_code":"CN","type":"education","lineage":["https://openalex.org/I115592961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rui-Juan Jing","raw_affiliation_strings":["Faculty of Science, Jiangsu University, Zhenjiang, China"],"affiliations":[{"raw_affiliation_string":"Faculty of Science, Jiangsu University, Zhenjiang, China","institution_ids":["https://openalex.org/I115592961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025136069","display_name":"Alexandre Prouti\u00e8re","orcid":"https://orcid.org/0000-0002-4679-4673"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Alexandre Proutiere","raw_affiliation_strings":["KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"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/I129604602","display_name":"University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]},{"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 Field Robotics, School of Aerospace, Mechanical and Mechatronic Engineering, The University of Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"Australian Center for Field Robotics, School of Aerospace, Mechanical and Mechatronic Engineering, The University of Sydney, NSW, Australia","institution_ids":["https://openalex.org/I4210127558","https://openalex.org/I129604602"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5076197013"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210120485","https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":0.4625,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.68391634,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"560","last_page":"565"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9958999752998352,"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/T13362","display_name":"Slime Mold and Myxomycetes Research","score":0.9853000044822693,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.7250518798828125},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.622870683670044},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.6153169870376587},{"id":"https://openalex.org/keywords/linear-equation","display_name":"Linear equation","score":0.5375075340270996},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4934777021408081},{"id":"https://openalex.org/keywords/exact-differential-equation","display_name":"Exact differential equation","score":0.4845268130302429},{"id":"https://openalex.org/keywords/algebraic-equation","display_name":"Algebraic equation","score":0.48379677534103394},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.45481976866722107},{"id":"https://openalex.org/keywords/boolean-model","display_name":"Boolean model","score":0.43981078267097473},{"id":"https://openalex.org/keywords/standard-boolean-model","display_name":"Standard Boolean model","score":0.4283802807331085},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4149817228317261},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.3681372404098511},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.35602807998657227},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.19454050064086914},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11976316571235657},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.10148823261260986},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.08468961715698242}],"concepts":[{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.7250518798828125},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.622870683670044},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.6153169870376587},{"id":"https://openalex.org/C77346573","wikidata":"https://www.wikidata.org/wiki/Q484637","display_name":"Linear equation","level":2,"score":0.5375075340270996},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4934777021408081},{"id":"https://openalex.org/C185184677","wikidata":"https://www.wikidata.org/wiki/Q1366795","display_name":"Exact differential equation","level":4,"score":0.4845268130302429},{"id":"https://openalex.org/C23917780","wikidata":"https://www.wikidata.org/wiki/Q50698","display_name":"Algebraic equation","level":3,"score":0.48379677534103394},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.45481976866722107},{"id":"https://openalex.org/C67499762","wikidata":"https://www.wikidata.org/wiki/Q4943358","display_name":"Boolean model","level":2,"score":0.43981078267097473},{"id":"https://openalex.org/C68481662","wikidata":"https://www.wikidata.org/wiki/Q176197","display_name":"Standard Boolean model","level":5,"score":0.4283802807331085},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4149817228317261},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.3681372404098511},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.35602807998657227},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.19454050064086914},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11976316571235657},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.10148823261260986},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.08468961715698242},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc42340.2020.9304144","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc42340.2020.9304144","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 59th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W198703374","https://openalex.org/W613360614","https://openalex.org/W1979043738","https://openalex.org/W1980868027","https://openalex.org/W1991720013","https://openalex.org/W2022846948","https://openalex.org/W2027282006","https://openalex.org/W2033511209","https://openalex.org/W2076760379","https://openalex.org/W2076828119","https://openalex.org/W2080029934","https://openalex.org/W2095823805","https://openalex.org/W2103406309","https://openalex.org/W2107362923","https://openalex.org/W2108306501","https://openalex.org/W2111857756","https://openalex.org/W2114791779","https://openalex.org/W2118820208","https://openalex.org/W2120286056","https://openalex.org/W2136433622","https://openalex.org/W2143549867","https://openalex.org/W2147063476","https://openalex.org/W2154645018","https://openalex.org/W2154834860","https://openalex.org/W2168005367","https://openalex.org/W2235630963","https://openalex.org/W2564963710","https://openalex.org/W2567931453","https://openalex.org/W2963125098","https://openalex.org/W2964198721","https://openalex.org/W2998678115","https://openalex.org/W3008079820","https://openalex.org/W3104269091","https://openalex.org/W3104550706","https://openalex.org/W4298227433","https://openalex.org/W6608076765","https://openalex.org/W6774592809"],"related_works":["https://openalex.org/W1568384982","https://openalex.org/W1745650241","https://openalex.org/W2724189404","https://openalex.org/W2995617542","https://openalex.org/W2327772356","https://openalex.org/W2044916592","https://openalex.org/W2409795543","https://openalex.org/W67752311","https://openalex.org/W4231391991","https://openalex.org/W4298128094"],"abstract_inverted_index":{"In":[0],"this":[1,45],"paper,":[2],"we":[3],"propose":[4],"distributed":[5,154],"algorithms":[6,172],"that":[7,69,95,140],"solve":[8],"a":[9,15,40,79,84,91,133,164,168],"system":[10,61],"of":[11,57,86,101,149,178],"Boolean":[12,26,32,72,87,126,134,143,180],"equations":[13,127,181],"over":[14],"network,":[16],"where":[17],"each":[18,70,115,183],"node":[19,38,46,116,184],"in":[20,167],"the":[21,29,49,54,60,107,124,146,150,153,174,179],"network":[22,92],"possesses":[23],"only":[24],"one":[25],"equation":[27,33,42,73,82,94,110,156],"from":[28,117],"system.":[30],"The":[31,121],"assigned":[34],"at":[35,114,182],"any":[36],"particular":[37],"is":[39,96],"private":[41,71],"known":[43],"to":[44,52,59,78,90,106,123,163],"only,":[47],"and":[48],"nodes":[50,151],"aim":[51],"compute":[53],"exact":[55,102,175],"set":[56,177],"solutions":[58,105,122],"without":[62],"exchanging":[63],"their":[64],"local":[65],"equations.":[66],"We":[67,138],"show":[68],"can":[74],"be":[75],"locally":[76,131],"lifted":[77],"linear":[80,93,109,155],"algebraic":[81],"under":[83],"basis":[85],"vectors,":[88],"leading":[89],"distributedly":[97],"solvable.":[98],"A":[99],"number":[100],"or":[103],"approximate":[104],"induced":[108],"are":[111,128,159],"then":[112],"computed":[113,130],"different":[118],"initial":[119,147],"values.":[120],"original":[125],"eventually":[129],"via":[132],"vector":[135],"search":[136],"algorithm.":[137],"prove":[139],"given":[141],"solvable":[142],"equations,":[144],"when":[145],"values":[148],"for":[152],"solving":[157],"step":[158],"i.i.d":[160],"selected":[161],"according":[162],"uniform":[165],"distribution":[166],"high-dimensional":[169],"cube,":[170],"our":[171],"return":[173],"solution":[176],"with":[185],"high":[186],"probability.":[187]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}