{"id":"https://openalex.org/W4385259686","doi":"https://doi.org/10.1109/med59994.2023.10185642","title":"Platoons Coordination Based on Decentralized Higher Order Barrier Certificates","display_name":"Platoons Coordination Based on Decentralized Higher Order Barrier Certificates","publication_year":2023,"publication_date":"2023-06-26","ids":{"openalex":"https://openalex.org/W4385259686","doi":"https://doi.org/10.1109/med59994.2023.10185642"},"language":"en","primary_location":{"id":"doi:10.1109/med59994.2023.10185642","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med59994.2023.10185642","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 31st Mediterranean Conference on Control and Automation (MED)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://kth.diva-portal.org/smash/get/diva2:1762612/FULLTEXT01","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014762327","display_name":"Maryam Sharifi","orcid":"https://orcid.org/0000-0003-0525-7916"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Maryam Sharifi","raw_affiliation_strings":["ABB Corporate Research,Västerås,Sweden"],"affiliations":[{"raw_affiliation_string":"ABB Corporate Research,Västerås,Sweden","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055348953","display_name":"Dimos V. Dimarogonas","orcid":"https://orcid.org/0000-0001-7309-8086"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Dimos V. Dimarogonas","raw_affiliation_strings":["Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology,Stockholm,Sweden","Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology,Stockholm,Sweden","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5014762327"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15248498,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"836","last_page":"841"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9991000294685364,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/order","display_name":"Order (exchange)","score":0.5798263549804688},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5264086127281189},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.42653387784957886},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.3728659749031067},{"id":"https://openalex.org/keywords/finance","display_name":"Finance","score":0.07638397812843323}],"concepts":[{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5798263549804688},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5264086127281189},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.42653387784957886},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.3728659749031067},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.07638397812843323}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/med59994.2023.10185642","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med59994.2023.10185642","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 31st Mediterranean Conference on Control and Automation (MED)","raw_type":"proceedings-article"},{"id":"pmh:oai:DiVA.org:kth-328185","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-328185","pdf_url":"https://kth.diva-portal.org/smash/get/diva2:1762612/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},{"id":"pmh:oai:DiVA.org:kth-328873","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-328873","pdf_url":"https://kth.diva-portal.org/smash/get/diva2:1766581/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Manuscript (preprint)"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:kth-328185","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-328185","pdf_url":"https://kth.diva-portal.org/smash/get/diva2:1762612/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.46000000834465027,"display_name":"Reduced inequalities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320328192","display_name":"ABB Corporate Research","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385259686.pdf","grobid_xml":"https://content.openalex.org/works/W4385259686.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W2004917926","https://openalex.org/W2024995587","https://openalex.org/W2049399166","https://openalex.org/W2071797744","https://openalex.org/W2171505650","https://openalex.org/W3048348667","https://openalex.org/W3087767325","https://openalex.org/W3135453974","https://openalex.org/W3164863300","https://openalex.org/W3204579237","https://openalex.org/W4312931565","https://openalex.org/W4313119636","https://openalex.org/W6848179480"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"This":[0,21],"paper":[1],"presents":[2],"control":[3,11,43,64],"strategies":[4],"based":[5,96],"on":[6,38,97],"time-varying":[7],"convergent":[8],"higher":[9,114],"order":[10,115],"barrier":[12,116,119],"functions":[13],"for":[14,75,86,92,121],"the":[15,34,39,44,57,76,87,93,98,102,111,138,145],"coordination":[16],"of":[17,19,29,46,56,113,140,144],"networks":[18],"platoons.":[20],"network":[22],"could":[23],"be":[24],"modelled":[25],"by":[26],"a":[27,126],"class":[28],"leader-follower":[30],"multi-agent":[31],"systems,":[32],"where":[33],"leaders":[35],"have":[36,62],"knowledge":[37],"associated":[40],"tasks":[41,83,142],"and":[42,59],"performance":[45],"their":[47,71],"platoon":[48,72],"involved":[49],"vehicles.":[50],"The":[51],"followers":[52],"are":[53,84,106,130],"not":[54,61],"aware":[55],"tasks,":[58],"do":[60],"any":[63],"authority":[65],"to":[66,101,136],"reach":[67],"them.":[68],"They":[69],"follow":[70],"leader":[73],"commands":[74],"task":[77,94],"satisfaction.":[78],"Signal":[79],"temporal":[80],"logic":[81],"(STL)":[82],"defined":[85],"platoons":[88],"coordination.":[89],"Robust":[90],"solutions":[91,135],"satisfaction,":[95],"leader\u2019s":[99],"accessibility":[100],"follower":[103],"vehicles\u2019":[104],"states":[105],"suggested.":[107],"In":[108],"addition,":[109],"using":[110],"notion":[112],"functions,":[117],"decentralized":[118],"certificates":[120],"each":[122],"vehicle":[123],"evolving":[124],"in":[125],"formation":[127],"dynamic":[128],"structure":[129],"proposed.":[131],"Our":[132],"approach":[133],"finds":[134],"guarantee":[137],"satisfaction":[139],"STL":[141],"independent":[143],"agents\u2019":[146],"initial":[147],"conditions.":[148]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}