{"id":"https://openalex.org/W7155539646","doi":"https://doi.org/10.48550/arxiv.2604.21740","title":"A Case Study in Recovery of Drones using Discrete-Event Systems","display_name":"A Case Study in Recovery of Drones using Discrete-Event Systems","publication_year":2026,"publication_date":"2026-04-23","ids":{"openalex":"https://openalex.org/W7155539646","doi":"https://doi.org/10.48550/arxiv.2604.21740"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.21740","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.21740","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.21740","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134506197","display_name":"Liam P. Burns","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Burns, Liam P.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118270512","display_name":"Dayse M. Cavalcanti","orcid":"https://orcid.org/0000-0002-7102-2085"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cavalcanti, Dayse M.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033819712","display_name":"Felipe G. Cabral","orcid":"https://orcid.org/0000-0002-1676-9805"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cabral, Felipe G.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006992372","display_name":"Max H. de Queiroz","orcid":"https://orcid.org/0000-0002-2199-3465"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Queiroz, Max H.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019695635","display_name":"Melissa Greeff","orcid":"https://orcid.org/0000-0002-1708-3709"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Greeff, Melissa","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122853880","display_name":"P\u00fablio M. M. Lima","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lima, Publio M. M.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5075103075","display_name":"Karen Rudie","orcid":"https://orcid.org/0000-0002-8675-334X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rudie, Karen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.39649999141693115,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.39649999141693115,"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/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.11630000174045563,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.1128000020980835,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/drone","display_name":"Drone","score":0.9110000133514404},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.8644000291824341},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6985999941825867},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.6297000050544739},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6229000091552734},{"id":"https://openalex.org/keywords/swarm-robotics","display_name":"Swarm robotics","score":0.6079000234603882},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5619000196456909},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45750001072883606}],"concepts":[{"id":"https://openalex.org/C59519942","wikidata":"https://www.wikidata.org/wiki/Q650665","display_name":"Drone","level":2,"score":0.9110000133514404},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8644000291824341},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6985999941825867},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6435999870300293},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.6297000050544739},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6229000091552734},{"id":"https://openalex.org/C169337768","wikidata":"https://www.wikidata.org/wiki/Q2446723","display_name":"Swarm robotics","level":3,"score":0.6079000234603882},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5619000196456909},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5331000089645386},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45750001072883606},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4560999870300293},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.4034999907016754},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.3763999938964844},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3686999976634979},{"id":"https://openalex.org/C181335050","wikidata":"https://www.wikidata.org/wiki/Q14915018","display_name":"Swarm behaviour","level":2,"score":0.3553999960422516},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.3345000147819519},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.328900009393692},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.2858000099658966},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.2818000018596649},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.2711000144481659},{"id":"https://openalex.org/C2776544517","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Unexpected events","level":2,"score":0.267300009727478}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.21740","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.21740","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.21740","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.21740","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Discrete-event":[0],"systems":[1,52],"and":[2,70],"supervisory":[3],"control":[4],"theory":[5],"provide":[6],"a":[7,29,37,43,48,55,72,104,114],"rigorous":[8],"framework":[9],"for":[10,113],"specifying":[11],"correct-by-construction":[12],"behavior.":[13],"However,":[14],"their":[15],"practical":[16],"application":[17],"to":[18,62],"swarm":[19,38],"robotics":[20,39],"remains":[21],"largely":[22],"underexplored.":[23],"In":[24],"this":[25],"paper,":[26],"we":[27,102],"investigate":[28],"topological":[30],"recovery":[31,89,106],"method":[32,76],"based":[33],"on":[34],"discrete-event-systems":[35],"within":[36],"context.":[40],"We":[41,87],"propose":[42],"hybrid":[44],"architecture":[45],"that":[46,108],"combines":[47],"high-level":[49],"discrete":[50],"event":[51],"supervisor":[53,107],"with":[54,96],"low-level":[56],"continuous":[57],"controller,":[58],"allowing":[59],"lost":[60],"drones":[61],"safely":[63],"recover":[64],"from":[65],"fault":[66],"or":[67],"attack":[68],"events":[69],"re-enter":[71],"controlled":[73],"region.":[74,122],"The":[75],"is":[77],"demonstrated":[78],"using":[79],"ten":[80],"simulated":[81],"UAVs":[82],"in":[83],"the":[84,110,120],"py-bullet-drones":[85],"framework.":[86],"show":[88],"performance":[90],"across":[91],"four":[92],"distinct":[93],"scenarios,":[94],"each":[95],"varying":[97],"initial":[98],"state":[99],"estimates.":[100],"Additionally,":[101],"introduce":[103],"secondary":[105],"manages":[109],"regrouping":[111],"process":[112],"drone":[115],"after":[116],"it":[117],"has":[118],"re-entered":[119],"operational":[121]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-04-25T00:00:00"}