{"id":"https://openalex.org/W1663019739","doi":"https://doi.org/10.1109/coase.2015.7294184","title":"Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints","display_name":"Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints","publication_year":2015,"publication_date":"2015-08-01","ids":{"openalex":"https://openalex.org/W1663019739","doi":"https://doi.org/10.1109/coase.2015.7294184","mag":"1663019739"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2015.7294184","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2015.7294184","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Conference on Automation Science and Engineering (CASE)","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/A5017025617","display_name":"Christoforos Keroglou","orcid":"https://orcid.org/0000-0002-6461-439X"},"institutions":[{"id":"https://openalex.org/I34771391","display_name":"University of Cyprus","ror":"https://ror.org/02qjrjx09","country_code":"CY","type":"education","lineage":["https://openalex.org/I34771391"]}],"countries":["CY"],"is_corresponding":true,"raw_author_name":"Christoforos Keroglou","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus","[Dept. of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus]"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus","institution_ids":["https://openalex.org/I34771391"]},{"raw_affiliation_string":"[Dept. of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus]","institution_ids":["https://openalex.org/I34771391"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030551100","display_name":"Christoforos N. Hadjicostis","orcid":"https://orcid.org/0000-0002-1706-708X"},"institutions":[{"id":"https://openalex.org/I34771391","display_name":"University of Cyprus","ror":"https://ror.org/02qjrjx09","country_code":"CY","type":"education","lineage":["https://openalex.org/I34771391"]}],"countries":["CY"],"is_corresponding":false,"raw_author_name":"Christoforos N. Hadjicostis","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus","[Dept. of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus]"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus","institution_ids":["https://openalex.org/I34771391"]},{"raw_affiliation_string":"[Dept. of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus]","institution_ids":["https://openalex.org/I34771391"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017025617"],"corresponding_institution_ids":["https://openalex.org/I34771391"],"apc_list":null,"apc_paid":null,"fwci":1.7526,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84707394,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"47","issue":null,"first_page":"831","last_page":"836"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9954000115394592,"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/T10142","display_name":"Formal Methods in Verification","score":0.9929999709129333,"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/computer-science","display_name":"Computer science","score":0.6744670867919922},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.6736977696418762},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6655820608139038},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6051754951477051},{"id":"https://openalex.org/keywords/information-exchange","display_name":"Information exchange","score":0.6039584875106812},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.5879833102226257},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5828238129615784},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4661133885383606},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42865726351737976},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2940676808357239},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1980876624584198},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.19069752097129822}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6744670867919922},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.6736977696418762},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6655820608139038},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6051754951477051},{"id":"https://openalex.org/C189693848","wikidata":"https://www.wikidata.org/wiki/Q6031064","display_name":"Information exchange","level":2,"score":0.6039584875106812},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.5879833102226257},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5828238129615784},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4661133885383606},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42865726351737976},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2940676808357239},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1980876624584198},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.19069752097129822},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"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/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"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/coase.2015.7294184","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2015.7294184","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.800000011920929,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1910546823","https://openalex.org/W1982184638","https://openalex.org/W1985787415","https://openalex.org/W2003070900","https://openalex.org/W2023968088","https://openalex.org/W2037802202","https://openalex.org/W2061063893","https://openalex.org/W2082053910","https://openalex.org/W2088445166","https://openalex.org/W2101961364","https://openalex.org/W2117558445","https://openalex.org/W2125493492","https://openalex.org/W2142850637","https://openalex.org/W2147774669","https://openalex.org/W2169233579","https://openalex.org/W3015129727","https://openalex.org/W4297744580","https://openalex.org/W6665658051","https://openalex.org/W6670832507"],"related_works":["https://openalex.org/W184826316","https://openalex.org/W3132573772","https://openalex.org/W1576777252","https://openalex.org/W3161879573","https://openalex.org/W2102187481","https://openalex.org/W2497444493","https://openalex.org/W2115166264","https://openalex.org/W1559384325","https://openalex.org/W2167793921","https://openalex.org/W2060032524"],"abstract_inverted_index":{"We":[0,194],"consider":[1],"distributed":[2],"fault":[3,118],"diagnosis":[4,91],"in":[5,33,142,197],"a":[6,12,82,121,160,188],"discrete":[7],"event":[8],"system":[9],"modeled":[10],"as":[11],"nondeterministic":[13],"finite":[14],"automaton":[15],"that":[16,42,84,123],"is":[17,85,162,211],"observed":[18],"at":[19,46,56],"multiple":[20],"observation":[21,48,137],"sites":[22,138,178],"through":[23],"distinct":[24],"natural":[25],"projection":[26],"maps.":[27],"The":[28],"majority":[29],"of":[30,174,190,203,207,217],"previous":[31,97],"work":[32],"this":[34,131,150,198],"setting":[35,199],"has":[36],"focused":[37],"on":[38,73],"local":[39,105,125,177,181,192,208],"observers":[40],"(diagnosers)":[41],"are":[43],"separately":[44],"implemented":[45],"each":[47,180],"site,":[49],"i.e.,":[50],"these":[51,101,154],"diagnosers":[52],"do":[53],"not":[54,163],"attempt":[55],"any":[57],"point":[58],"to":[59,81,103,107,120,134,157,213],"refine":[60],"their":[61,75,109],"diagnostic":[62,114,126,147],"information":[63,66,115,127,133,175,186,218],"by":[64],"exchanging":[65],"among":[67,176],"themselves,":[68],"and":[69,128,165,224],"typically":[70],"rely":[71],"exclusively":[72],"communicating":[74],"decision":[76,92],"(fault":[77],"or":[78,117,145],"no":[79],"fault)":[80],"coordinator":[83,122,161],"responsible":[86],"for":[87],"making":[88],"the":[89,135,172,191,201,215,220],"ultimate":[90],"(e.g.,":[93],"co-diagnosability).":[94],"In":[95,149],"our":[96],"work,":[98,151],"we":[99,152],"extended":[100],"techniques":[102],"allow":[104],"observers/diagnosers":[106],"communicate":[108],"state":[110],"estimates":[111],"along":[112],"with":[113,187],"(normal":[116],"condition)":[119],"fuses":[124],"subsequently":[129],"provides":[130],"refined":[132],"different":[136],"(to":[139],"aid":[140],"them":[141],"taking":[143],"immediate":[144],"future":[146],"decisions).":[148],"extend":[153],"synchronization":[155,222],"strategies":[156],"cases":[158],"where":[159],"present":[164],"there":[166],"may":[167,183],"exist":[168],"communication":[169,225],"constraints":[170],"between":[171],"exchange":[173,185],"(i.e.,":[179],"diagnoser":[182],"only":[184],"subset":[189],"diagnosers).":[193],"verify":[195],"diagnosability":[196],"via":[200],"construction":[202],"an":[204],"appropriate":[205],"composition":[206],"diagnosers,":[209],"which":[210],"able":[212],"capture":[214],"refinement":[216],"under":[219],"given":[221],"strategy":[223],"constraints.":[226]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}