{"id":"https://openalex.org/W4385452003","doi":"https://doi.org/10.23919/ecc57647.2023.10178242","title":"Symbolic control applied to miniature quadcopter mission guidance","display_name":"Symbolic control applied to miniature quadcopter mission guidance","publication_year":2023,"publication_date":"2023-06-13","ids":{"openalex":"https://openalex.org/W4385452003","doi":"https://doi.org/10.23919/ecc57647.2023.10178242"},"language":"en","primary_location":{"id":"doi:10.23919/ecc57647.2023.10178242","is_oa":false,"landing_page_url":"http://dx.doi.org/10.23919/ecc57647.2023.10178242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 European Control Conference (ECC)","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/A5102897198","display_name":"Marcus Kreuzer","orcid":"https://orcid.org/0009-0008-3644-7134"},"institutions":[{"id":"https://openalex.org/I174004417","display_name":"Munich University of Applied Sciences","ror":"https://ror.org/012k1v959","country_code":"DE","type":"education","lineage":["https://openalex.org/I174004417"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Marcus Kreuzer","raw_affiliation_strings":["Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335"],"affiliations":[{"raw_affiliation_string":"Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335","institution_ids":["https://openalex.org/I174004417"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025708846","display_name":"Alexander Weber","orcid":"https://orcid.org/0000-0002-4708-7583"},"institutions":[{"id":"https://openalex.org/I174004417","display_name":"Munich University of Applied Sciences","ror":"https://ror.org/012k1v959","country_code":"DE","type":"education","lineage":["https://openalex.org/I174004417"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Weber","raw_affiliation_strings":["Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335"],"affiliations":[{"raw_affiliation_string":"Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335","institution_ids":["https://openalex.org/I174004417"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092785017","display_name":"Christian Leupolz","orcid":null},"institutions":[{"id":"https://openalex.org/I174004417","display_name":"Munich University of Applied Sciences","ror":"https://ror.org/012k1v959","country_code":"DE","type":"education","lineage":["https://openalex.org/I174004417"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Leupolz","raw_affiliation_strings":["Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335"],"affiliations":[{"raw_affiliation_string":"Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335","institution_ids":["https://openalex.org/I174004417"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068993444","display_name":"Alexander Knoll","orcid":"https://orcid.org/0000-0003-4348-1708"},"institutions":[{"id":"https://openalex.org/I174004417","display_name":"Munich University of Applied Sciences","ror":"https://ror.org/012k1v959","country_code":"DE","type":"education","lineage":["https://openalex.org/I174004417"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Knoll","raw_affiliation_strings":["Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335"],"affiliations":[{"raw_affiliation_string":"Munich University of Applied Sciences,Dept. of Mechanical, Automotive and Aeronautical Eng.,München,Germany,80335","institution_ids":["https://openalex.org/I174004417"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102897198"],"corresponding_institution_ids":["https://openalex.org/I174004417"],"apc_list":null,"apc_paid":null,"fwci":0.4919,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.64764127,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9997000098228455,"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.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/quadcopter","display_name":"Quadcopter","score":0.8970333337783813},{"id":"https://openalex.org/keywords/drone","display_name":"Drone","score":0.8064880967140198},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7325905561447144},{"id":"https://openalex.org/keywords/curse-of-dimensionality","display_name":"Curse of dimensionality","score":0.6456282138824463},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5910131931304932},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.5182866454124451},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.48605969548225403},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.46218690276145935},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.338308721780777},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2733396291732788},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1619512438774109},{"id":"https://openalex.org/keywords/aerospace-engineering","display_name":"Aerospace engineering","score":0.0813518762588501}],"concepts":[{"id":"https://openalex.org/C2779199153","wikidata":"https://www.wikidata.org/wiki/Q43965","display_name":"Quadcopter","level":2,"score":0.8970333337783813},{"id":"https://openalex.org/C59519942","wikidata":"https://www.wikidata.org/wiki/Q650665","display_name":"Drone","level":2,"score":0.8064880967140198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7325905561447144},{"id":"https://openalex.org/C111030470","wikidata":"https://www.wikidata.org/wiki/Q1430460","display_name":"Curse of dimensionality","level":2,"score":0.6456282138824463},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5910131931304932},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.5182866454124451},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.48605969548225403},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.46218690276145935},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.338308721780777},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2733396291732788},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1619512438774109},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0813518762588501},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/ecc57647.2023.10178242","is_oa":false,"landing_page_url":"http://dx.doi.org/10.23919/ecc57647.2023.10178242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 European Control Conference (ECC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320311687","display_name":"Ministry of Education","ror":"https://ror.org/03m01yf64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W1537518847","https://openalex.org/W1572384134","https://openalex.org/W1575558843","https://openalex.org/W1656737530","https://openalex.org/W1742823642","https://openalex.org/W1838714828","https://openalex.org/W2088429149","https://openalex.org/W2162991084","https://openalex.org/W2487779201","https://openalex.org/W2588566816","https://openalex.org/W2600080636","https://openalex.org/W2756915303","https://openalex.org/W2786819761","https://openalex.org/W2788313391","https://openalex.org/W2862415257","https://openalex.org/W2914430038","https://openalex.org/W2956632242","https://openalex.org/W2960675232","https://openalex.org/W2969749685","https://openalex.org/W2981762858","https://openalex.org/W3015618640","https://openalex.org/W3022338835","https://openalex.org/W3027807607","https://openalex.org/W3032910980","https://openalex.org/W3046880377","https://openalex.org/W3088586141","https://openalex.org/W3090071260","https://openalex.org/W3098070195","https://openalex.org/W3100135013","https://openalex.org/W3104168345","https://openalex.org/W3119868901","https://openalex.org/W3135849581","https://openalex.org/W3158183880","https://openalex.org/W3160114030","https://openalex.org/W3210213213","https://openalex.org/W4225411466","https://openalex.org/W4285295288","https://openalex.org/W4285446296","https://openalex.org/W4285531960","https://openalex.org/W4289927880","https://openalex.org/W6632240427","https://openalex.org/W6765785030","https://openalex.org/W6765847434","https://openalex.org/W6794557364","https://openalex.org/W6839837386"],"related_works":["https://openalex.org/W4293056360","https://openalex.org/W4386804942","https://openalex.org/W2966028239","https://openalex.org/W2526240748","https://openalex.org/W2909947097","https://openalex.org/W4386328658","https://openalex.org/W3030867911","https://openalex.org/W4293070946","https://openalex.org/W4206409182","https://openalex.org/W4200049555"],"abstract_inverted_index":{"Being":[0],"a":[1,77,81,97],"fully":[2],"algorithmic":[3],"procedure,":[4],"symbolic":[5,61,105],"controller":[6,124],"synthesis":[7,14],"offers":[8],"weighty":[9],"advantages":[10],"over":[11],"other":[12],"established":[13],"procedures.":[15],"In":[16,53],"fact,":[17],"the":[18,23,27,35,71,103,109,117,122,132,136],"returned":[19],"controllers":[20],"provably":[21],"enforce":[22],"given":[24],"specification":[25],"in":[26,64],"control":[28,63,67,92],"loop":[29],"making":[30],"verification":[31],"steps":[32],"obsolete.":[33],"However,":[34],"curse-of-dimensionality":[36],"prevents":[37],"this":[38,54,114],"scheme":[39],"from":[40,102],"being":[41],"applied":[42],"to":[43,47,59,66,130],"industrial":[44],"problems.":[45],"Applications":[46],"real":[48],"experiments":[49],"are":[50],"indeed":[51],"rare.":[52],"note,":[55],"we":[56,95],"demonstrate":[57],"how":[58],"utilize":[60],"optimal":[62],"order":[65],"miniature":[68],"quadcopters":[69],"at":[70],"level":[72],"of":[73,111,135],"mission":[74],"guidance.":[75],"Specifically,":[76],"firefighting":[78],"scenario":[79],"using":[80],"Crazyflie":[82],"2.1":[83],"drone":[84],"is":[85,128],"considered,":[86],"which":[87],"involves":[88],"reach-avoid":[89],"and":[90,120],"reach-and-stay":[91],"tasks.":[93],"Furthermore,":[94],"present":[96],"runtime":[98],"monitor,":[99],"automatically":[100],"derived":[101],"synthesized":[104],"controller.":[106],"Based":[107],"on":[108],"methodologies":[110],"plan":[112],"recognition,":[113],"monitor":[115],"observes":[116],"drone\u2019s":[118],"flightpath":[119],"infers":[121],"current":[123],"mode.":[125],"Thus,":[126],"it":[127],"able":[129],"predict":[131],"upcoming":[133],"manoeuvres":[134],"drone.":[137]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2025-12-22T23:10:17.713674","created_date":"2025-10-10T00:00:00"}