{"id":"https://openalex.org/W2952674865","doi":"https://doi.org/10.1109/cdc.2018.8619145","title":"Distributed Synthesis of Surveillance Strategies for Mobile Sensors","display_name":"Distributed Synthesis of Surveillance Strategies for Mobile Sensors","publication_year":2018,"publication_date":"2018-12-01","ids":{"openalex":"https://openalex.org/W2952674865","doi":"https://doi.org/10.1109/cdc.2018.8619145","mag":"2952674865"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2018.8619145","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2018.8619145","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1902.02393","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032282047","display_name":"Suda Bharadwaj","orcid":"https://orcid.org/0000-0003-3045-8584"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Suda Bharadwaj","raw_affiliation_strings":["University of Texas, Austin"],"affiliations":[{"raw_affiliation_string":"University of Texas, Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059464456","display_name":"Rayna Dimitrova","orcid":"https://orcid.org/0009-0006-2494-8690"},"institutions":[{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rayna Dimitrova","raw_affiliation_strings":["University of Leicester, UK"],"affiliations":[{"raw_affiliation_string":"University of Leicester, UK","institution_ids":["https://openalex.org/I153648349"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068441112","display_name":"Ufuk Topcu","orcid":"https://orcid.org/0000-0003-0819-9985"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ufuk Topcu","raw_affiliation_strings":["University of Texas, Austin"],"affiliations":[{"raw_affiliation_string":"University of Texas, Austin","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5032282047"],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":0.4274,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.68367271,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"2","issue":null,"first_page":"3335","last_page":"3342"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9908999800682068,"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/T10142","display_name":"Formal Methods in Verification","score":0.9908999800682068,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9757999777793884,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9742000102996826,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7379395961761475},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.639746367931366},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4982473850250244},{"id":"https://openalex.org/keywords/general-partnership","display_name":"General partnership","score":0.45417520403862},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4506714940071106},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4428941607475281},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.22480443120002747},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.09766930341720581}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7379395961761475},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.639746367931366},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4982473850250244},{"id":"https://openalex.org/C71750763","wikidata":"https://www.wikidata.org/wiki/Q646164","display_name":"General partnership","level":2,"score":0.45417520403862},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4506714940071106},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4428941607475281},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.22480443120002747},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.09766930341720581},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/cdc.2018.8619145","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2018.8619145","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:156425","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Proceedings Paper"},{"id":"pmh:oai:arXiv.org:1902.02393","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1902.02393","pdf_url":"https://arxiv.org/pdf/1902.02393","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"},{"id":"pmh:oai:figshare.com:article/10214930","is_oa":true,"landing_page_url":"https://figshare.com/articles/conference_contribution/Distributed_Synthesis_of_Surveillance_Strategies_for_Mobile_Sensors/10214930","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:lra.le.ac.uk:2381/44345","is_oa":true,"landing_page_url":"https://ieeexplore.ieee.org/abstract/document/8619145","pdf_url":null,"source":{"id":"https://openalex.org/S4306402365","display_name":"Leicester Research Archive (University of Leicester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153648349","host_organization_name":"University of Leicester","host_organization_lineage":["https://openalex.org/I153648349"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1902.02393","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1902.02393","pdf_url":"https://arxiv.org/pdf/1902.02393","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":[{"score":0.5899999737739563,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W40650588","https://openalex.org/W83337052","https://openalex.org/W852087202","https://openalex.org/W2032243783","https://openalex.org/W2057554513","https://openalex.org/W2067638058","https://openalex.org/W2071639381","https://openalex.org/W2088264916","https://openalex.org/W2092977061","https://openalex.org/W2104098276","https://openalex.org/W2113798763","https://openalex.org/W2126035415","https://openalex.org/W2137009912","https://openalex.org/W2184923025","https://openalex.org/W2476245236","https://openalex.org/W2491467718","https://openalex.org/W2570857898","https://openalex.org/W2751896345","https://openalex.org/W2754386282","https://openalex.org/W2783378806","https://openalex.org/W2963445246","https://openalex.org/W4285719527","https://openalex.org/W6676730656","https://openalex.org/W6721478694","https://openalex.org/W6731754536"],"related_works":["https://openalex.org/W2739852106","https://openalex.org/W1986755814","https://openalex.org/W585428044","https://openalex.org/W2578322776","https://openalex.org/W2378276451","https://openalex.org/W2507403529","https://openalex.org/W2094995007","https://openalex.org/W2004491036","https://openalex.org/W3092603343","https://openalex.org/W2197287683"],"abstract_inverted_index":{"We":[0,21,75,140],"study":[1,145],"the":[2,23,43,59,65,78,92,100,108,138],"problem":[3,24,30],"of":[4,152],"synthesizing":[5,128],"strategies":[6,131],"for":[7,85,135],"a":[8,26,49,55,104,123,143],"mobile":[9,124],"sensor":[10,101,125],"network":[11,102,126],"to":[12,41,57,117],"conduct":[13],"surveillance":[14,32,60,80,97,110,120,154],"in":[15,122,146],"partnership":[16],"with":[17,31,132],"static":[18],"alarm":[19],"triggers.":[20],"formulate":[22],"as":[25,35,103],"multi-agent":[27,66],"reactive":[28],"synthesis":[29,62],"objectives":[33],"specified":[34],"temporal":[36],"logic":[37],"formulas.":[38],"In":[39],"order":[40],"avoid":[42],"state":[44],"space":[45],"blow-up":[46],"arising":[47],"from":[48],"centralized":[50],"strategy":[51,61,155],"computation,":[52],"we":[53,148],"propose":[54],"method":[56,114],"decentralize":[58],"by":[63],"decomposing":[64],"game":[67],"into":[68,82],"subgames":[69],"that":[70,90],"can":[71],"be":[72],"solved":[73],"independently.":[74],"also":[76,141],"decompose":[77],"global":[79,109,119],"specification":[81],"local":[83,96],"specifications":[84],"each":[86],"sensor,":[87],"and":[88],"show":[89],"if":[91],"sensors":[93],"satisfy":[94,107],"their":[95],"specifications,":[98],"then":[99],"whole":[105],"will":[106],"objective.":[111],"Thus,":[112],"our":[113],"is":[115],"able":[116],"guarantee":[118],"properties":[121],"while":[127],"completely":[129],"decentralized":[130,153],"no":[133],"need":[134],"coordination":[136],"between":[137],"sensors.":[139],"present":[142],"case":[144],"which":[147],"demonstrate":[149],"an":[150],"application":[151],"synthesis.":[156]},"counts_by_year":[{"year":2019,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}