{"id":"https://openalex.org/W2624984019","doi":"https://doi.org/10.1109/tac.2018.2882154","title":"A Polynomial-Time Algorithm for Solving the Minimal Observability Problem in Conjunctive Boolean Networks","display_name":"A Polynomial-Time Algorithm for Solving the Minimal Observability Problem in Conjunctive Boolean Networks","publication_year":2018,"publication_date":"2018-11-20","ids":{"openalex":"https://openalex.org/W2624984019","doi":"https://doi.org/10.1109/tac.2018.2882154","mag":"2624984019"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2018.2882154","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2018.2882154","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1706.04072","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Eyal Weiss","orcid":"https://orcid.org/0000-0003-0508-6213"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Eyal Weiss","raw_affiliation_strings":["School of Electrical Engineering-Systems, Tel-Aviv University, Tel Aviv, Israel"],"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering-Systems, Tel-Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":null,"display_name":"Michael Margaliot","orcid":"https://orcid.org/0000-0001-8319-8996"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Michael Margaliot","raw_affiliation_strings":["School of Electrical Engineering-Systems, Tel-Aviv University, Tel Aviv, Israel"],"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering-Systems, Tel-Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I16391192"],"apc_list":null,"apc_paid":null,"fwci":1.4893,"has_fulltext":false,"cited_by_count":56,"citation_normalized_percentile":{"value":0.82047441,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"64","issue":"7","first_page":"2727","last_page":"2736"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9340999722480774,"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.9340999722480774,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.01489999983459711,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12029","display_name":"DNA and Biological Computing","score":0.004399999976158142,"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/observability","display_name":"Observability","score":0.9858999848365784},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6036999821662903},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5884000062942505},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.544700026512146},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.510200023651123},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.4862000048160553},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.478300005197525},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.43470001220703125}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.9858999848365784},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6036999821662903},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5884000062942505},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.544700026512146},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.510200023651123},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5042999982833862},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.4862000048160553},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.478300005197525},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4634000062942505},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.43470001220703125},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4311999976634979},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34630000591278076},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.33880001306533813},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.337799996137619},{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.33390000462532043},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.33059999346733093},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.2856000065803528},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27300000190734863},{"id":"https://openalex.org/C136726353","wikidata":"https://www.wikidata.org/wiki/Q903789","display_name":"Disjunctive normal form","level":2,"score":0.26750001311302185},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C3018263672","wikidata":"https://www.wikidata.org/wiki/Q1296251","display_name":"Efficient algorithm","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tac.2018.2882154","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2018.2882154","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:arXiv.org:1706.04072","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1706.04072","pdf_url":"https://arxiv.org/pdf/1706.04072","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1706.04072","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1706.04072","pdf_url":"https://arxiv.org/pdf/1706.04072","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5170229730","display_name":null,"funder_award_id":"410/15","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W186890633","https://openalex.org/W1971224531","https://openalex.org/W1977537272","https://openalex.org/W1981192414","https://openalex.org/W2012641411","https://openalex.org/W2021689790","https://openalex.org/W2029728812","https://openalex.org/W2044600597","https://openalex.org/W2054716637","https://openalex.org/W2097263107","https://openalex.org/W2106069155","https://openalex.org/W2111123076","https://openalex.org/W2113789941","https://openalex.org/W2118382442","https://openalex.org/W2122616238","https://openalex.org/W2132935366","https://openalex.org/W2133446381","https://openalex.org/W2142400903","https://openalex.org/W2290127356","https://openalex.org/W2344696827","https://openalex.org/W2610131202","https://openalex.org/W2963112073","https://openalex.org/W2963390766","https://openalex.org/W2963686183","https://openalex.org/W2963805168","https://openalex.org/W2964149642","https://openalex.org/W4388252848","https://openalex.org/W6600698986","https://openalex.org/W6732418973","https://openalex.org/W6742699553"],"related_works":[],"abstract_inverted_index":{"Many":[0],"complex":[1],"systems":[2],"in":[3,101,158,168],"biology,":[4],"physics,":[5],"and":[6,16,66,91,131,142,167],"engineering":[7],"include":[8],"a":[9,28,36,73,124,129,137,189],"large":[10],"number":[11,75],"of":[12,21,30,38,55,76,115,136,161,164,181,188,191],"state":[13,20,54],"variables":[14],"(SVs),":[15],"measuring":[17],"the":[18,22,39,52,56,59,80,97,102,106,148,159,162,165,179,186],"full":[19],"system":[23,42,60,81],"is":[24,32,43,61,69,88,156,171],"often":[25],"impossible.":[26],"Typically,":[27],"set":[29],"sensors":[31,77],"used":[33],"to":[34,50,71],"measure":[35],"part":[37],"SVs.":[40],"A":[41],"called":[44,119],"observable":[45],"if":[46],"these":[47,182],"measurements":[48],"allow":[49],"reconstruct":[51],"entire":[53],"system.":[57,103],"When":[58],"not":[62],"observable,":[63],"an":[64,111,143],"important":[65,112],"practical":[67],"problem":[68,87,109],"how":[70],"add":[72],"minimal":[74,85,107,149],"so":[78],"that":[79],"becomes":[82],"observable.":[83],"This":[84],"observability":[86,108,135,150],"practically":[89],"useful":[90],"theoretically":[92],"interesting,":[93],"as":[94],"it":[95,170],"pinpoints":[96],"most":[98],"informative":[99],"nodes":[100],"We":[104,177],"consider":[105],"for":[110,134,146],"special":[113],"class":[114,190],"Boolean":[116],"networks":[117],"(BNs),":[118],"conjunctive":[120],"BNs":[121],"(CBNs).":[122],"Using":[123],"graph-theoretic":[125],"approach,":[126],"we":[127],"provide":[128],"necessary":[130],"sufficient":[132],"condition":[133],"CBN":[138,166],"with":[139],"n":[140],"SVs":[141],"efficient":[144],"algorithm":[145,153],"solving":[147],"problem.":[151],"The":[152],"time":[154],"complexity":[155],"linear":[157],"length":[160],"description":[163],"particular":[169],"O(n":[172],"<sup":[173],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[174],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">2</sup>":[175],").":[176],"demonstrate":[178],"usefulness":[180],"results":[183],"by":[184],"studying":[185],"properties":[187],"randomly":[192],"generated":[193],"CBNs.":[194]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":11},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2017-06-23T00:00:00"}