{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:07:28Z","timestamp":1784182048713,"version":"3.55.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T00:00:00Z","timestamp":1780876800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T00:00:00Z","timestamp":1780876800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,6,8]]},"DOI":"10.1109\/wodes69290.2026.11598078","type":"proceedings-article","created":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T20:00:55Z","timestamp":1784145655000},"page":"229-234","source":"Crossref","is-referenced-by-count":0,"title":["A Case Study in Recovery of Drones using Discrete-Event Systems"],"prefix":"10.1109","author":[{"given":"Liam P.","family":"Burns","sequence":"first","affiliation":[{"name":"Queen’s University,Department of Electrical and Computer Engineering and Ingenuity Labs Research Institute,Kingston,Canada,K7L 3N6"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dayse M.","family":"Cavalcanti","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina,Automation and Systems Engineering Program,Florianópolis,SC,Brazil,88.040-900"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Felipe G.","family":"Cabral","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina,Automation and Systems Engineering Program,Florianópolis,SC,Brazil,88.040-900"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Max H.","family":"De Queiroz","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina,Automation and Systems Engineering Program,Florianópolis,SC,Brazil,88.040-900"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Melissa","family":"Greeff","sequence":"additional","affiliation":[{"name":"Queen’s University,Department of Electrical and Computer Engineering and Ingenuity Labs Research Institute,Kingston,Canada,K7L 3N6"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Publio M. M.","family":"Lima","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina,Automation and Systems Engineering Program,Florianópolis,SC,Brazil,88.040-900"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[{"name":"Queen’s University,Department of Electrical and Computer Engineering and Ingenuity Labs Research Institute,Kingston,Canada,K7L 3N6"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2025.3569500"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICMIC.2016.7804207"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73008-0_34"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/70.681242"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2945004"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2021.3126047"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-025-10224-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3181244"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-016-0119-0"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s40313-023-00986-7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2941178"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3041207"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC57313.2025.11312935"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2025.3580455"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-018-0139-4"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9635857"}],"event":{"name":"2026 18th International Workshop on Discrete Event Systems (WODES)","location":"Eindhoven, Netherlands","start":{"date-parts":[[2026,6,8]]},"end":{"date-parts":[[2026,6,10]]}},"container-title":["2026 18th International Workshop on Discrete Event Systems (WODES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11597969\/11598022\/11598078.pdf?arnumber=11598078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T05:27:28Z","timestamp":1784179648000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11598078\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/wodes69290.2026.11598078","relation":{},"subject":[],"published":{"date-parts":[[2026,6,8]]}}}