{"id":"https://openalex.org/W2898802276","doi":"https://doi.org/10.1109/ccta.2018.8511477","title":"Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation","display_name":"Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation","publication_year":2018,"publication_date":"2018-08-01","ids":{"openalex":"https://openalex.org/W2898802276","doi":"https://doi.org/10.1109/ccta.2018.8511477","mag":"2898802276"},"language":"en","primary_location":{"id":"doi:10.1109/ccta.2018.8511477","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccta.2018.8511477","pdf_url":null,"source":{"id":"https://openalex.org/S4306498315","display_name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","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/A5077619715","display_name":"Henrik Schi\u00f8ler","orcid":"https://orcid.org/0000-0002-7288-7638"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Henrik Schioler","raw_affiliation_strings":["Section for Control and Automation, Aalborg Universty, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Section for Control and Automation, Aalborg Universty, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066977281","display_name":"Luminita Cristiana Totu","orcid":"https://orcid.org/0000-0003-2466-7603"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Luminita Totu","raw_affiliation_strings":["Section for Control and Automation, Aalborg Universty, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Section for Control and Automation, Aalborg Universty, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108115185","display_name":"Jan Dimon","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jan Dimon","raw_affiliation_strings":["Section for Control and Automation, Aalborg Universty, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Section for Control and Automation, Aalborg Universty, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kim Guldstrand Larsen","raw_affiliation_strings":["Department for Computer Science, Aalborg Universty, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Department for Computer Science, Aalborg Universty, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057539324","display_name":"Jakob Haahr Taankvist","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jakob Haahr Taankvist","raw_affiliation_strings":["Aalborg Universitet, Aalborg, DK"],"affiliations":[{"raw_affiliation_string":"Aalborg Universitet, Aalborg, DK","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5077619715"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.17605634,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"4","issue":null,"first_page":"146","last_page":"152"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9976999759674072,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9815999865531921,"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/computer-science","display_name":"Computer science","score":0.7646340727806091},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.6502861976623535},{"id":"https://openalex.org/keywords/fleet-management","display_name":"Fleet management","score":0.6207808256149292},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5342674851417542},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4886477589607239},{"id":"https://openalex.org/keywords/route-planning","display_name":"Route planning","score":0.4829515814781189},{"id":"https://openalex.org/keywords/collision-avoidance","display_name":"Collision avoidance","score":0.4829122722148895},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4782385230064392},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4596758186817169},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.4435034394264221},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3452589809894562},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.3313140869140625},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.32979297637939453},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.3085038661956787},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.20077934861183167},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19955939054489136},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.12627747654914856},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.10713183879852295},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09237706661224365},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.08633926510810852},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.0854010283946991},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0673280656337738}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7646340727806091},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.6502861976623535},{"id":"https://openalex.org/C2777305159","wikidata":"https://www.wikidata.org/wiki/Q1430291","display_name":"Fleet management","level":2,"score":0.6207808256149292},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5342674851417542},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4886477589607239},{"id":"https://openalex.org/C2989549987","wikidata":"https://www.wikidata.org/wiki/Q350882","display_name":"Route planning","level":2,"score":0.4829515814781189},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.4829122722148895},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4782385230064392},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4596758186817169},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.4435034394264221},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3452589809894562},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.3313140869140625},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.32979297637939453},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.3085038661956787},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.20077934861183167},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19955939054489136},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.12627747654914856},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.10713183879852295},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09237706661224365},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.08633926510810852},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.0854010283946991},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0673280656337738},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ccta.2018.8511477","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccta.2018.8511477","pdf_url":null,"source":{"id":"https://openalex.org/S4306498315","display_name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/7b2be758-56ba-4f04-9fc3-e8046d3c57ad","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/7b2be758-56ba-4f04-9fc3-e8046d3c57ad","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Schioler , H , Totu , L , Dimon , J , Larsen , K G & Taankvist , J H 2018 , Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation . in 2018 IEEE Conference on Control Technology and Applications (CCTA) . , 8511477 , IEEE , pp. 146-152 , 2018 IEEE Conference on Control Technology and Applications (CCTA) , Copenhagen , Denmark , 21/08/2018 . https://doi.org/10.1109/CCTA.2018.8511477","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1911711032","https://openalex.org/W1987234253","https://openalex.org/W2024693023","https://openalex.org/W2101508170","https://openalex.org/W2139101939","https://openalex.org/W2144965436","https://openalex.org/W2162836371","https://openalex.org/W2171808413","https://openalex.org/W2340613667","https://openalex.org/W2467042364","https://openalex.org/W2555199731","https://openalex.org/W2740993665"],"related_works":["https://openalex.org/W4317634134","https://openalex.org/W2981729160","https://openalex.org/W4310743282","https://openalex.org/W1819938260","https://openalex.org/W2340892746","https://openalex.org/W3163022373","https://openalex.org/W3005999311","https://openalex.org/W4381746183","https://openalex.org/W2062021561","https://openalex.org/W4200371605"],"abstract_inverted_index":{"We":[0],"consider":[1],"the":[2,40,90],"case":[3],"of":[4,7,11,25,39,45,52],"fleet":[5,43,77],"management":[6,44,78],"a":[8,34,80],"moderate":[9],"number":[10],"Unmanned":[12],"Aerial":[13],"Vehicles":[14],"(UAV":[15],"or":[16],"UAS)":[17],"in":[18],"confined":[19],"space,":[20],"e.g.":[21],"indoor.":[22],"Indoor":[23],"operation":[24],"UAVs":[26],"requires":[27],"indoor":[28],"localization":[29,74],"capabilities":[30],"as":[31,33],"well":[32],"sufficiently":[35],"precise":[36],"3D":[37],"map":[38],"facility,":[41],"whereas":[42],"multiple":[46],"UAV":[47],"adds":[48],"an":[49],"extra":[50],"dimension":[51],"complexity.":[53],"Additional":[54],"complexity":[55],"is":[56],"mainly":[57],"introduced":[58],"by":[59],"constraints":[60],"ensuring":[61],"collision":[62],"free":[63],"operation.":[64],"Based":[65],"on":[66,69],"earlier":[67],"work":[68],"mapping,":[70],"path":[71],"planning":[72],"and":[73,84],"we":[75],"suggest":[76],"through":[79],"Timed":[81],"Game":[82],"formulation":[83],"Winning":[85],"Strategy":[86],"controller":[87],"synthesis":[88],"using":[89],"tool":[91],"Uppaal":[92],"Tiga.":[93]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}