{"id":"https://openalex.org/W2522468251","doi":"https://doi.org/10.1109/cdc.2016.7799146","title":"Robotic swarm control from spatio-temporal specifications","display_name":"Robotic swarm control from spatio-temporal specifications","publication_year":2016,"publication_date":"2016-12-01","ids":{"openalex":"https://openalex.org/W2522468251","doi":"https://doi.org/10.1109/cdc.2016.7799146","mag":"2522468251"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2016.7799146","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2016.7799146","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 55th Conference on Decision and Control (CDC)","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/A5024915004","display_name":"Iman Haghighi","orcid":"https://orcid.org/0000-0002-1037-1046"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Iman Haghighi","raw_affiliation_strings":["Division of Systems Engineering, Boston University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Division of Systems Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034408879","display_name":"Sadra Sadraddini","orcid":"https://orcid.org/0000-0003-2578-8319"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sadra Sadraddini","raw_affiliation_strings":["Department of Mechanical Engineering, Boston University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086742095","display_name":"C\u0103lin Belta","orcid":"https://orcid.org/0000-0002-7141-2657"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Calin Belta","raw_affiliation_strings":["Department of Mechanical Engineering, Boston University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5024915004"],"corresponding_institution_ids":["https://openalex.org/I111088046"],"apc_list":null,"apc_paid":null,"fwci":2.3163,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.89688253,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"5708","last_page":"5713"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.9994999766349792,"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/swarm-behaviour","display_name":"Swarm behaviour","score":0.8473093509674072},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.6454846262931824},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.6321936845779419},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5968790650367737},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5859845280647278},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.559108316898346},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.549701988697052},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5294261574745178},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5239682197570801},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5053578019142151},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.4718765318393707},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.46545082330703735},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.38821569085121155},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2988637387752533},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2654014229774475},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2645319998264313},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2557838261127472},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15794095396995544},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07222598791122437}],"concepts":[{"id":"https://openalex.org/C181335050","wikidata":"https://www.wikidata.org/wiki/Q14915018","display_name":"Swarm behaviour","level":2,"score":0.8473093509674072},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.6454846262931824},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.6321936845779419},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5968790650367737},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5859845280647278},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.559108316898346},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.549701988697052},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5294261574745178},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5239682197570801},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5053578019142151},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.4718765318393707},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.46545082330703735},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.38821569085121155},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2988637387752533},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2654014229774475},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2645319998264313},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2557838261127472},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15794095396995544},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07222598791122437},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"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":2,"locations":[{"id":"doi:10.1109/cdc.2016.7799146","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2016.7799146","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 55th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:open.bu.edu:2144/29822","is_oa":false,"landing_page_url":"https://hdl.handle.net/2144/29822","pdf_url":null,"source":{"id":"https://openalex.org/S4306402183","display_name":"OpenBU/Boston University Institutional Repository (Boston University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I111088046","host_organization_name":"Boston University","host_organization_lineage":["https://openalex.org/I111088046"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W189973795","https://openalex.org/W1547304883","https://openalex.org/W1584640914","https://openalex.org/W1935692274","https://openalex.org/W1974775743","https://openalex.org/W1975134293","https://openalex.org/W2018284512","https://openalex.org/W2035465647","https://openalex.org/W2059916956","https://openalex.org/W2092884371","https://openalex.org/W2096108718","https://openalex.org/W2099397914","https://openalex.org/W2107918847","https://openalex.org/W2108526989","https://openalex.org/W2123604997","https://openalex.org/W2167485994","https://openalex.org/W2288528772","https://openalex.org/W2519834483","https://openalex.org/W2951276827","https://openalex.org/W2952644652","https://openalex.org/W3101375348","https://openalex.org/W6654872976","https://openalex.org/W6659247431"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W1513400763"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"study":[4,110],"the":[5,14,81,85,100],"problem":[6],"of":[7,16,33,38,57],"controlling":[8],"a":[9,26,35,47,55,66,94],"two-dimensional":[10],"robotic":[11],"swarm":[12,83,101],"with":[13],"purpose":[15],"achieving":[17],"high":[18],"level":[19],"and":[20,41,45],"complex":[21,42],"spatio-temporal":[22,28,86,105],"patterns.":[23],"We":[24,72],"use":[25],"rich":[27],"logic":[29],"that":[30,80,96],"is":[31,111],"capable":[32],"describing":[34],"wide":[36],"range":[37],"time":[39],"varying":[40],"spatial":[43],"configurations,":[44],"develop":[46],"method":[48],"to":[49],"encode":[50],"such":[51,79],"formal":[52],"specifications":[53],"as":[54],"set":[56],"mixed":[58,67],"integer":[59,68],"linear":[60,69],"constraints,":[61],"which":[62],"are":[63],"incorporated":[64],"into":[65],"programming":[70],"problem.":[71],"plan":[73],"trajectories":[74],"for":[75],"each":[76],"individual":[77],"robot":[78,91],"whole":[82],"satisfies":[84],"requirements,":[87],"while":[88],"optimizing":[89],"total":[90],"movement":[92],"and/or":[93],"metric":[95],"shows":[97],"how":[98],"strongly":[99],"trajectory":[102],"resembles":[103],"given":[104],"behaviors.":[106],"An":[107],"illustrative":[108],"case":[109],"included.":[112]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}