{"id":"https://openalex.org/W2955404434","doi":"https://doi.org/10.1109/lra.2019.2924843","title":"Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis","display_name":"Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis","publication_year":2019,"publication_date":"2019-06-24","ids":{"openalex":"https://openalex.org/W2955404434","doi":"https://doi.org/10.1109/lra.2019.2924843","mag":"2955404434"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2019.2924843","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2019.2924843","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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 Robotics and Automation Letters","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/A5065233087","display_name":"Ruixuan Yan","orcid":"https://orcid.org/0000-0001-5132-656X"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ruixuan Yan","raw_affiliation_strings":["Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":"https://orcid.org/0000-0001-5132-656X","affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013789785","display_name":"Zhe Xu","orcid":"https://orcid.org/0000-0002-0440-0912"},"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":"Zhe Xu","raw_affiliation_strings":["Institute for Computational Engineering and Sciences, University of Texas, Austin, Austin, TX, USA"],"raw_orcid":"https://orcid.org/0000-0002-0440-0912","affiliations":[{"raw_affiliation_string":"Institute for Computational Engineering and Sciences, University of Texas, Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029921181","display_name":"A. Agung Julius","orcid":"https://orcid.org/0000-0002-0970-3226"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Agung Julius","raw_affiliation_strings":["Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-0970-3226","affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5065233087"],"corresponding_institution_ids":["https://openalex.org/I165799507"],"apc_list":null,"apc_paid":null,"fwci":2.6241,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.88849187,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"4","issue":"3","first_page":"3021","last_page":"3028"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12321","display_name":"Insect Pheromone Research and Control","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/1109","display_name":"Insect Science"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12321","display_name":"Insect Pheromone Research and Control","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/1109","display_name":"Insect Science"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10487","display_name":"Plant and animal studies","score":0.979200005531311,"subfield":{"id":"https://openalex.org/subfields/1105","display_name":"Ecology, Evolution, Behavior and Systematics"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10702","display_name":"Insect and Arachnid Ecology and Behavior","score":0.9754999876022339,"subfield":{"id":"https://openalex.org/subfields/1311","display_name":"Genetics"},"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/swarm-behaviour","display_name":"Swarm behaviour","score":0.9305227994918823},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6573227643966675},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6064447164535522},{"id":"https://openalex.org/keywords/swarm-robotics","display_name":"Swarm robotics","score":0.5388777852058411},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.5306407809257507},{"id":"https://openalex.org/keywords/swarm-intelligence","display_name":"Swarm intelligence","score":0.4349968135356903},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.42070186138153076},{"id":"https://openalex.org/keywords/foraging","display_name":"Foraging","score":0.4149474799633026},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3662826418876648},{"id":"https://openalex.org/keywords/particle-swarm-optimization","display_name":"Particle swarm optimization","score":0.30241283774375916},{"id":"https://openalex.org/keywords/ecology","display_name":"Ecology","score":0.08692017197608948},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.061312735080718994}],"concepts":[{"id":"https://openalex.org/C181335050","wikidata":"https://www.wikidata.org/wiki/Q14915018","display_name":"Swarm behaviour","level":2,"score":0.9305227994918823},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6573227643966675},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6064447164535522},{"id":"https://openalex.org/C169337768","wikidata":"https://www.wikidata.org/wiki/Q2446723","display_name":"Swarm robotics","level":3,"score":0.5388777852058411},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.5306407809257507},{"id":"https://openalex.org/C119487961","wikidata":"https://www.wikidata.org/wiki/Q863960","display_name":"Swarm intelligence","level":3,"score":0.4349968135356903},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.42070186138153076},{"id":"https://openalex.org/C165287380","wikidata":"https://www.wikidata.org/wiki/Q2916569","display_name":"Foraging","level":2,"score":0.4149474799633026},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3662826418876648},{"id":"https://openalex.org/C85617194","wikidata":"https://www.wikidata.org/wiki/Q2072794","display_name":"Particle swarm optimization","level":2,"score":0.30241283774375916},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.08692017197608948},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.061312735080718994},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lra.2019.2924843","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2019.2924843","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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 Robotics and Automation Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8307879464","display_name":null,"funder_award_id":"CNS-1618369","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1484864026","https://openalex.org/W1533557569","https://openalex.org/W1595409123","https://openalex.org/W1891955329","https://openalex.org/W1970118611","https://openalex.org/W1975134293","https://openalex.org/W2011430131","https://openalex.org/W2018380024","https://openalex.org/W2049399166","https://openalex.org/W2054790064","https://openalex.org/W2084029701","https://openalex.org/W2086092403","https://openalex.org/W2095589820","https://openalex.org/W2096844040","https://openalex.org/W2150312211","https://openalex.org/W2339807279","https://openalex.org/W2426537415","https://openalex.org/W2522468251","https://openalex.org/W2531762107","https://openalex.org/W2606589726","https://openalex.org/W2783370231","https://openalex.org/W2783378806","https://openalex.org/W2795740701","https://openalex.org/W2807270760","https://openalex.org/W2899702797","https://openalex.org/W2956034981","https://openalex.org/W2964257036","https://openalex.org/W4234406933","https://openalex.org/W4296244560"],"related_works":["https://openalex.org/W4233987368","https://openalex.org/W1988876749","https://openalex.org/W65954170","https://openalex.org/W2182522217","https://openalex.org/W4386001959","https://openalex.org/W4234675952","https://openalex.org/W2048054807","https://openalex.org/W4304182880","https://openalex.org/W4362659455","https://openalex.org/W2510991340"],"abstract_inverted_index":{"In":[0],"this":[1],"letter,":[2],"we":[3,67],"propose":[4,28,69],"methods":[5,54,70,79],"to":[6,23,32,71,82,88,97,108],"perform":[7,72],"swarm":[8,14,25,62,90],"behavior":[9],"analysis":[10],"with":[11],"a":[12,29,45,50,94,105],"novel":[13],"signal":[15],"temporal":[16],"logic":[17],"(SwarmSTL).":[18],"We":[19,52],"define":[20],"generalized":[21],"moments":[22],"describe":[24,98,109],"features":[26],"and":[27,58,103],"logical":[30,42],"proposition":[31,43],"represent":[33],"an":[34],"event,":[35],"where":[36],"the":[37,41,61,73,99],"Boolean":[38],"value":[39],"of":[40,101,113],"at":[44],"certain":[46],"time":[47],"is":[48],"known":[49],"priori.":[51],"develop":[53],"for":[55],"SwarmSTL":[56,95,106],"monitoring":[57],"inference.":[59],"As":[60],"size":[63],"can":[64],"be":[65],"large,":[66],"also":[68],"above":[74],"tasks":[75],"by":[76],"sampling.":[77],"The":[78],"are":[80],"applied":[81],"three":[83],"case":[84],"studies":[85],"that":[86],"aim":[87],"monitor":[89],"\u201cmaneuver\u201d":[91],"behavior,":[92],"infer":[93],"formula":[96,107],"cause":[100],"split,":[102],"explore":[104],"\u201cmixed-species":[110],"foraging":[111],"flock\u201d":[112],"birds.":[114]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}