Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search
A Sense-and-Avoid (SAA) capability is required for the safe integration of Unmanned Aerial Vehicles (UAVs) into civilian airspace. Given their safety-critical nature, SAA algorithms must undergo rigorous verification and validation before deployment. The validation of UAV SAA algorithms requires ide...
Main Author: | |
---|---|
Format: | Thesis |
Language: | English |
Published: |
University of York
2016
|
Subjects: | |
Online Access: | https://etheses.whiterose.ac.uk/17463/ https://etheses.whiterose.ac.uk/17463/1/Supporting%20Validation%20of%20UAV%20Sense-and-Avoid%20Algorithms%20with%20Agent-Based%20Simulation%20and%20Evolutionary%20Search.pdf |
id |
ftwhiterose:oai:etheses.whiterose.ac.uk:17463 |
---|---|
record_format |
openpolar |
spelling |
ftwhiterose:oai:etheses.whiterose.ac.uk:17463 2023-05-15T17:53:57+02:00 Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search Zou, Xueyi 2016-08 text https://etheses.whiterose.ac.uk/17463/ https://etheses.whiterose.ac.uk/17463/1/Supporting%20Validation%20of%20UAV%20Sense-and-Avoid%20Algorithms%20with%20Agent-Based%20Simulation%20and%20Evolutionary%20Search.pdf en eng University of York https://etheses.whiterose.ac.uk/17463/1/Supporting%20Validation%20of%20UAV%20Sense-and-Avoid%20Algorithms%20with%20Agent-Based%20Simulation%20and%20Evolutionary%20Search.pdf Zou, Xueyi (2016) Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search. PhD thesis, University of York. cc_by_nc_nd CC-BY-NC-ND Thesis NonPeerReviewed 2016 ftwhiterose 2023-01-30T21:24:10Z A Sense-and-Avoid (SAA) capability is required for the safe integration of Unmanned Aerial Vehicles (UAVs) into civilian airspace. Given their safety-critical nature, SAA algorithms must undergo rigorous verification and validation before deployment. The validation of UAV SAA algorithms requires identifying challenging situations that the algorithms have difficulties in handling. By building on ideas from Search-Based Software Testing, this thesis proposes an evolutionary-search-based approach that automatically identifies such situations to support the validation of SAA algorithms. Specifically, in the proposed approach, the behaviours of UAVs under the control of selected SAA algorithms are examined with agent-based simulations. Evolutionary search is used to guide the simulations to focus on increasingly challenging situations in a large search space defined by (the variations of) parameters that configure the simulations. An open-source tool has been developed to support the proposed approach so that the process can be partially automated. Positive results were achieved in a preliminary evaluation of the proposed approach using a simple two-dimensional SAA algorithm. The proposed approach was then further demonstrated and evaluated using two case studies, applying it to a prototype of an industry-level UAV collision avoidance algorithm (specifically, ACAS XU) and a multi-UAV conflict resolution algorithm (specifically, ORCA-3D). In the case studies, the proposed evolutionary-search-based approach was empirically compared with some plausible rivals (specifically, random-search-based approaches and a deterministic-global-search-based approach). The results show that the proposed approach can identify the required challenging situations more effectively and efficiently than the random-search-based approaches. The results also show that even though the proposed approach is a little less competitive than the deterministic-global-search-based approach in terms of effectiveness in relatively easy cases, it is more ... Thesis Orca White Rose eTheses Online (Universities Leeds, Sheffield, York) |
institution |
Open Polar |
collection |
White Rose eTheses Online (Universities Leeds, Sheffield, York) |
op_collection_id |
ftwhiterose |
language |
English |
description |
A Sense-and-Avoid (SAA) capability is required for the safe integration of Unmanned Aerial Vehicles (UAVs) into civilian airspace. Given their safety-critical nature, SAA algorithms must undergo rigorous verification and validation before deployment. The validation of UAV SAA algorithms requires identifying challenging situations that the algorithms have difficulties in handling. By building on ideas from Search-Based Software Testing, this thesis proposes an evolutionary-search-based approach that automatically identifies such situations to support the validation of SAA algorithms. Specifically, in the proposed approach, the behaviours of UAVs under the control of selected SAA algorithms are examined with agent-based simulations. Evolutionary search is used to guide the simulations to focus on increasingly challenging situations in a large search space defined by (the variations of) parameters that configure the simulations. An open-source tool has been developed to support the proposed approach so that the process can be partially automated. Positive results were achieved in a preliminary evaluation of the proposed approach using a simple two-dimensional SAA algorithm. The proposed approach was then further demonstrated and evaluated using two case studies, applying it to a prototype of an industry-level UAV collision avoidance algorithm (specifically, ACAS XU) and a multi-UAV conflict resolution algorithm (specifically, ORCA-3D). In the case studies, the proposed evolutionary-search-based approach was empirically compared with some plausible rivals (specifically, random-search-based approaches and a deterministic-global-search-based approach). The results show that the proposed approach can identify the required challenging situations more effectively and efficiently than the random-search-based approaches. The results also show that even though the proposed approach is a little less competitive than the deterministic-global-search-based approach in terms of effectiveness in relatively easy cases, it is more ... |
format |
Thesis |
author |
Zou, Xueyi |
spellingShingle |
Zou, Xueyi Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search |
author_facet |
Zou, Xueyi |
author_sort |
Zou, Xueyi |
title |
Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search |
title_short |
Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search |
title_full |
Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search |
title_fullStr |
Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search |
title_full_unstemmed |
Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search |
title_sort |
supporting validation of uav sense-and-avoid algorithms with agent-based simulation and evolutionary search |
publisher |
University of York |
publishDate |
2016 |
url |
https://etheses.whiterose.ac.uk/17463/ https://etheses.whiterose.ac.uk/17463/1/Supporting%20Validation%20of%20UAV%20Sense-and-Avoid%20Algorithms%20with%20Agent-Based%20Simulation%20and%20Evolutionary%20Search.pdf |
genre |
Orca |
genre_facet |
Orca |
op_relation |
https://etheses.whiterose.ac.uk/17463/1/Supporting%20Validation%20of%20UAV%20Sense-and-Avoid%20Algorithms%20with%20Agent-Based%20Simulation%20and%20Evolutionary%20Search.pdf Zou, Xueyi (2016) Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search. PhD thesis, University of York. |
op_rights |
cc_by_nc_nd |
op_rightsnorm |
CC-BY-NC-ND |
_version_ |
1766161665183711232 |