{"id":"https://openalex.org/W4394564108","doi":"https://doi.org/10.1109/tac.2024.3386024","title":"On Multirobot Path Planning Based on Petri Net Models and LTL Specifications","display_name":"On Multirobot Path Planning Based on Petri Net Models and LTL Specifications","publication_year":2024,"publication_date":"2024-04-08","ids":{"openalex":"https://openalex.org/W4394564108","doi":"https://doi.org/10.1109/tac.2024.3386024"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2024.3386024","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3386024","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-04542906v1/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024836791","display_name":"Sofia Hu\u015ftiu","orcid":"https://orcid.org/0000-0002-2146-5603"},"institutions":[{"id":"https://openalex.org/I4210108695","display_name":"Gheorghe Asachi Technical University of Ia\u0219i","ror":"https://ror.org/014zxnz40","country_code":"RO","type":"education","lineage":["https://openalex.org/I4210108695"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Sofia Hustiu","raw_affiliation_strings":["Department of Automatic Control and Applied Informatics, Technical University “Gheorghe Asachi” of Iasi, Iasi, Romania"],"raw_orcid":"https://orcid.org/0000-0002-2146-5603","affiliations":[{"raw_affiliation_string":"Department of Automatic Control and Applied Informatics, Technical University “Gheorghe Asachi” of Iasi, Iasi, Romania","institution_ids":["https://openalex.org/I4210108695"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085504277","display_name":"Cristian Mahulea","orcid":"https://orcid.org/0000-0003-0056-2225"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Cristian Mahulea","raw_affiliation_strings":["Aragón Institute of Engineering Research (I3A), University of Zaragoza, Zaragoza, Spain"],"raw_orcid":"https://orcid.org/0000-0003-0056-2225","affiliations":[{"raw_affiliation_string":"Aragón Institute of Engineering Research (I3A), University of Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046534630","display_name":"Marius Kloetzer","orcid":"https://orcid.org/0000-0003-4338-0421"},"institutions":[{"id":"https://openalex.org/I4210108695","display_name":"Gheorghe Asachi Technical University of Ia\u0219i","ror":"https://ror.org/014zxnz40","country_code":"RO","type":"education","lineage":["https://openalex.org/I4210108695"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Marius Kloetzer","raw_affiliation_strings":["Department of Automatic Control and Applied Informatics, Technical University “Gheorghe Asachi” of Iasi, Iasi, Romania"],"raw_orcid":"https://orcid.org/0000-0003-4338-0421","affiliations":[{"raw_affiliation_string":"Department of Automatic Control and Applied Informatics, Technical University “Gheorghe Asachi” of Iasi, Iasi, Romania","institution_ids":["https://openalex.org/I4210108695"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114246599","display_name":"Jean-Jacques Lesage","orcid":"https://orcid.org/0009-0008-1950-9073"},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Jacques Lesage","raw_affiliation_strings":["Université Paris-Saclay, ENS Paris-Saclay, LURPA, Gif-sur-Yvette, France"],"raw_orcid":"https://orcid.org/0009-0008-1950-9073","affiliations":[{"raw_affiliation_string":"Université Paris-Saclay, ENS Paris-Saclay, LURPA, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I277688954"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4904,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.81847667,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"69","issue":"9","first_page":"6373","last_page":"6380"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9927999973297119,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9905999898910522,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8815439343452454},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6566277742385864},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5425669550895691},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4593830704689026},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.4481389820575714},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.41647979617118835},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.34999537467956543},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.28831756114959717},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2644364535808563},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24926307797431946},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.19997161626815796},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12735572457313538}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8815439343452454},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6566277742385864},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5425669550895691},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4593830704689026},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.4481389820575714},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.41647979617118835},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34999537467956543},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.28831756114959717},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2644364535808563},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24926307797431946},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.19997161626815796},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12735572457313538},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tac.2024.3386024","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3386024","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04542906v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04542906","pdf_url":"https://hal.science/hal-04542906v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"IEEE Transactions on Automatic Control, 2024, pp.1-8. ⟨10.1109/TAC.2024.3386024⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:zaguan.unizar.es:147640","is_oa":true,"landing_page_url":"http://zaguan.unizar.es/record/147640","pdf_url":"https://zaguan.unizar.es/record/147640/files/texto_completo.pdf","source":{"id":"https://openalex.org/S4306401812","display_name":"Zaguan (University of Zaragoza Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I255234318","host_organization_name":"Universidad de Zaragoza","host_organization_lineage":["https://openalex.org/I255234318"],"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":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04542906v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04542906","pdf_url":"https://hal.science/hal-04542906v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"IEEE Transactions on Automatic Control, 2024, pp.1-8. ⟨10.1109/TAC.2024.3386024⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7084143925","display_name":null,"funder_award_id":"AEI/10","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394564108.pdf","grobid_xml":"https://content.openalex.org/works/W4394564108.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W1424654272","https://openalex.org/W1498432697","https://openalex.org/W1521785144","https://openalex.org/W1631530940","https://openalex.org/W1991596047","https://openalex.org/W2026750732","https://openalex.org/W2056864430","https://openalex.org/W2071797744","https://openalex.org/W2073548775","https://openalex.org/W2077578897","https://openalex.org/W2086440639","https://openalex.org/W2089003125","https://openalex.org/W2091682553","https://openalex.org/W2114578185","https://openalex.org/W2116889672","https://openalex.org/W2166691751","https://openalex.org/W2343223723","https://openalex.org/W2481108008","https://openalex.org/W2768969350","https://openalex.org/W2789239344","https://openalex.org/W2973769628","https://openalex.org/W2994583186","https://openalex.org/W2998164266","https://openalex.org/W3090071260","https://openalex.org/W3107662019","https://openalex.org/W3157648907","https://openalex.org/W3181923028","https://openalex.org/W3201718385","https://openalex.org/W4285257352","https://openalex.org/W4289761305"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W1847176793","https://openalex.org/W1980200158","https://openalex.org/W2091203523","https://openalex.org/W1513546254","https://openalex.org/W2125164140","https://openalex.org/W2148229336"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,20,39,53,56,74],"method":[4],"exploiting":[5],"the":[6,31,64,68],"advantages":[7],"of":[8,41,76],"Petri":[9,26],"net":[10],"(PN)":[11],"and":[12,60],"B\u00fcchi":[13],"automata":[14],"models,":[15],"by":[16,73],"joining":[17],"them":[18],"in":[19,55],"newly":[21],"defined":[22],"Composed":[25],"net":[27],"representation.":[28],"Based":[29],"on":[30],"latter":[32],"model,":[33,59],"collision-free":[34],"trajectories":[35],"are":[36],"computed":[37],"for":[38],"team":[40],"robots.":[42],"The":[43,70],"path":[44],"planning":[45],"algorithm":[46],"is":[47],"divided":[48],"into":[49],"two":[50],"steps:":[51],"computing":[52],"solution":[54],"reduced":[57],"PN":[58,65],"projecting":[61],"it":[62],"to":[63,67],"assigned":[66],"environment.":[69],"results,":[71],"given":[72],"set":[75],"Mixed":[77],"Integer":[78],"Linear":[79],"Programming":[80],"(MILP)":[81],"problems,":[82],"yield":[83],"lower":[84],"computational":[85],"complexity":[86],"when":[87],"compared":[88],"with":[89],"previous":[90],"approaches.":[91]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-17T09:13:05.818461","created_date":"2025-10-10T00:00:00"}