{"id":"https://openalex.org/W4412081442","doi":"https://doi.org/10.1109/tac.2025.3586780","title":"Strongly Infinite-Step Opaque Boolean Networks","display_name":"Strongly Infinite-Step Opaque Boolean Networks","publication_year":2025,"publication_date":"2025-07-07","ids":{"openalex":"https://openalex.org/W4412081442","doi":"https://doi.org/10.1109/tac.2025.3586780"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2025.3586780","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3586780","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/A5008675858","display_name":"Spyros Reveliotis","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Spyros Reveliotis","raw_affiliation_strings":["School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA","School of Industrial & Systems Engineering, Georgia Institute of Technology, USA"],"raw_orcid":"https://orcid.org/0000-0001-6176-0925","affiliations":[{"raw_affiliation_string":"School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"School of Industrial & Systems Engineering, Georgia Institute of Technology, USA","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008675858"],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12769434,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"70","issue":"12","first_page":"8390","last_page":"8397"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9575999975204468,"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.9575999975204468,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9007999897003174,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/opacity","display_name":"Opacity","score":0.6601627469062805},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.4904925227165222},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.4486543834209442},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4458926022052765},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.42108261585235596},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4207662343978882},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.4183984398841858},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.31447023153305054},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13613563776016235}],"concepts":[{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.6601627469062805},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.4904925227165222},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.4486543834209442},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4458926022052765},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.42108261585235596},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4207662343978882},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.4183984398841858},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.31447023153305054},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13613563776016235},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2025.3586780","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3586780","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1971224531","https://openalex.org/W1991974562","https://openalex.org/W2001653139","https://openalex.org/W2004398490","https://openalex.org/W2012641411","https://openalex.org/W2021689790","https://openalex.org/W2030235975","https://openalex.org/W2037457229","https://openalex.org/W2052227055","https://openalex.org/W2101008541","https://openalex.org/W2142367687","https://openalex.org/W2416559203","https://openalex.org/W2486512961","https://openalex.org/W2509841691","https://openalex.org/W2538443008","https://openalex.org/W2804520243","https://openalex.org/W2911394596","https://openalex.org/W2912987268","https://openalex.org/W2963805168","https://openalex.org/W3136693719","https://openalex.org/W4233908264","https://openalex.org/W4300550233","https://openalex.org/W4313201885"],"related_works":["https://openalex.org/W4243221174","https://openalex.org/W2109998394","https://openalex.org/W3141532631","https://openalex.org/W2131164334","https://openalex.org/W2105128170","https://openalex.org/W1991822629","https://openalex.org/W2246807618","https://openalex.org/W2995277268","https://openalex.org/W2106622045","https://openalex.org/W2061512596"],"abstract_inverted_index":{"Opacity":[0],"is":[1],"a":[2,34],"concept":[3,20,66],"that":[4,98],"has":[5],"been":[6,100],"studied":[7,101],"extensively":[8,75],"by":[9],"the":[10,22,25,39,46,62,68,79,83,87,103],"Discrete":[11],"Event":[12],"Systems":[13],"(DES)":[14],"community.":[15],"This":[16],"work":[17],"specializes":[18],"this":[19,65,90],"to":[21,67,93,106],"semantics":[23],"and":[24,53,105,112],"dynamics":[26],"of":[27,42,64,89,96,110],"autonomous":[28],"Boolean":[29],"networks":[30],"(BNs),":[31],"which":[32],"constitutes":[33],"DES":[35],"subclass.":[36],"Focusing":[37],"on":[38,71],"particular":[40],"notion":[41],"\u201cstrong":[43],"infinite-step":[44],"opacity\u201d,":[45],"paper":[47,84],"provides":[48],"customized,":[49],"streamlined":[50],"verification":[51],"algorithms":[52],"novel":[54],"enforcement":[55],"methods.":[56],"The":[57],"underlying":[58],"analysis":[59],"also":[60,85],"reveals":[61],"affinity":[63],"existing":[69],"results":[70],"BN":[72],"observability,":[73],"an":[74],"investigated":[76],"property":[77],"in":[78,102],"corresponding":[80],"literature.":[81],"Finally,":[82],"discusses":[86],"extension":[88],"prototypical":[91],"study":[92],"other":[94,113],"versions":[95,109],"opacity":[97],"have":[99],"literature,":[104],"more":[107],"general":[108],"BNs":[111],"logical":[114],"networks.":[115]},"counts_by_year":[],"updated_date":"2025-12-05T23:21:25.405358","created_date":"2025-10-10T00:00:00"}