{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T09:31:23Z","timestamp":1759483883297,"version":"3.37.3"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100003759","name":"Universidad Politécnica de Madrid","doi-asserted-by":"publisher","award":["RP1509550C02"],"award-info":[{"award-number":["RP1509550C02"]}],"id":[{"id":"10.13039\/501100003759","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Fundación para el Desarrollo de las Telecomunicaciones","award":["GPD.SJC.001"],"award-info":[{"award-number":["GPD.SJC.001"]}]},{"name":"Spanish Ministry of Economy and Competitiveness","award":["TEC2017-88048-C2-1-R"],"award-info":[{"award-number":["TEC2017-88048-C2-1-R"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Aerosp. Electron. Syst."],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1109\/taes.2019.2907396","type":"journal-article","created":{"date-parts":[[2019,12,5]],"date-time":"2019-12-05T18:08:17Z","timestamp":1575569297000},"page":"3330-3346","source":"Crossref","is-referenced-by-count":6,"title":["Formal Intent-Based Trajectory Description Languages for Quadrotor Aircraft"],"prefix":"10.1109","volume":"55","author":[{"given":"Guillermo","family":"Frontera","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4250-9652","authenticated-orcid":false,"given":"Ivan","family":"Campana","sequence":"additional","affiliation":[]},{"given":"Ana M.","family":"Bernardos","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4330-4050","authenticated-orcid":false,"given":"Juan A.","family":"Besada","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2010.11.002"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-011-9648-3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2005.1563351"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391836"},{"article-title":"Definition of an aircraft intent description language for air traffic management applications","year":"2008","author":"l\u00f3pez-leon\u00e9s","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2299971"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2013.2252343"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2014.6842349"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2014.6842234"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.20868\/UPM.thesis.40622","article-title":"Applications of formal languages to management of manned and unmanned aircraft","author":"frontera","year":"2016"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2606368"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2010.5655487"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2514\/1.G000104"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021998624799"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-4928"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2514\/6.2016-4356"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.02.008"},{"journal-title":"RTCA DO-350\/EUROCAE ED-228 Safety and Performance Standards for Baseline 2 ATS Data Communications (Baseline 2 Safety and Performance Requirements Standard)","year":"2014","key":"ref5"},{"year":"2016","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijtst.2017.01.004"},{"journal-title":"Fundamentals of Air Traffic Control","year":"2011","author":"nolan","key":"ref2"},{"year":"2016","key":"ref9"},{"journal-title":"Procedures for Air Navigation Services - Air Traffic Management","year":"0","key":"ref1"},{"year":"2018","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1307414"},{"article-title":"Design and control of quadrotors with application to autonomous flying","year":"2007","author":"bouabdallah","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399042"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LARS.2008.17"},{"key":"ref26","first-page":"18","article-title":"Modeling, simulation and flight testing of an autonomous quadrotor","author":"goel","year":"0","journal-title":"Proc Int Conf Aerosp Eng Exhibit"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2007.4290230"}],"container-title":["IEEE Transactions on Aerospace and Electronic Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7\/8924784\/08682082.pdf?arnumber=8682082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:54:10Z","timestamp":1657745650000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8682082\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":30,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/taes.2019.2907396","relation":{},"ISSN":["0018-9251","1557-9603","2371-9877"],"issn-type":[{"type":"print","value":"0018-9251"},{"type":"electronic","value":"1557-9603"},{"type":"electronic","value":"2371-9877"}],"subject":[],"published":{"date-parts":[[2019,12]]}}}