Search and Rescue (SAR) is searching for and providing help to people in danger. In the UK, SAR teams are typically charities with limited resources, and SAR missions are time critical. Search managers need to objectively decide which search assets (e.g. helicopter vs drone) would be better. A key metric in the SAR community is effective sweep width (W), which provides a single measure for a search asset's ability to detect a specific object in specific environmental conditions. Tables of W for different search assets are provided in various manuals, such as the International Aeronautical and Maritime SAR (IAMSAR) Manual. However, these tables take years of expensive testing and experience to produce, and no such tables exist for drones. This paper uses the Vienna Development Method (VDM) to build an initial model of W for a known case (helicopters at sea) with a view to predicting W tables for drones. The model computes W for various search object sizes, helicopter altitude and visibility. The results for the model are quite different from the published tables, which shows that the abstraction level is not yet correct, however it produced useful insights and directions for the next steps.
{"title":"Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM","authors":"Alexander Sulaiman, Ken Pierce","doi":"arxiv-2304.00983","DOIUrl":"https://doi.org/arxiv-2304.00983","url":null,"abstract":"Search and Rescue (SAR) is searching for and providing help to people in\u0000danger. In the UK, SAR teams are typically charities with limited resources,\u0000and SAR missions are time critical. Search managers need to objectively decide\u0000which search assets (e.g. helicopter vs drone) would be better. A key metric in\u0000the SAR community is effective sweep width (W), which provides a single measure\u0000for a search asset's ability to detect a specific object in specific\u0000environmental conditions. Tables of W for different search assets are provided\u0000in various manuals, such as the International Aeronautical and Maritime SAR\u0000(IAMSAR) Manual. However, these tables take years of expensive testing and\u0000experience to produce, and no such tables exist for drones. This paper uses the\u0000Vienna Development Method (VDM) to build an initial model of W for a known case\u0000(helicopters at sea) with a view to predicting W tables for drones. The model\u0000computes W for various search object sizes, helicopter altitude and visibility.\u0000The results for the model are quite different from the published tables, which\u0000shows that the abstraction level is not yet correct, however it produced useful\u0000insights and directions for the next steps.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"29 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138542772","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The CoCoMo model proposes a computational solution to the challenge of incorporating ethical and emotional intelligence considerations into AI systems, with the aim of creating AI agents that combine knowledge with compassion. To achieve this goal, CoCoMo prioritizes fairness, beneficence, non-maleficence, empathy, adaptability, transparency, and critical and exploratory thinking abilities. The model employs consciousness modeling, reinforcement learning, and prompt template formulation to support these desired traits. By incorporating ethical and emotional intelligence considerations, a generative AI model can potentially lead to improved fairness, reduced toxicity, and increased reliability.
{"title":"CoCoMo: Computational Consciousness Modeling for Generative and Ethical AI","authors":"Edward Y. Chang","doi":"arxiv-2304.02438","DOIUrl":"https://doi.org/arxiv-2304.02438","url":null,"abstract":"The CoCoMo model proposes a computational solution to the challenge of\u0000incorporating ethical and emotional intelligence considerations into AI\u0000systems, with the aim of creating AI agents that combine knowledge with\u0000compassion. To achieve this goal, CoCoMo prioritizes fairness, beneficence,\u0000non-maleficence, empathy, adaptability, transparency, and critical and\u0000exploratory thinking abilities. The model employs consciousness modeling,\u0000reinforcement learning, and prompt template formulation to support these\u0000desired traits. By incorporating ethical and emotional intelligence\u0000considerations, a generative AI model can potentially lead to improved\u0000fairness, reduced toxicity, and increased reliability.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"15 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The adoption process of innovative software-intensive technologies leverages complex trust concerns in different forms and shapes. Perceived safety plays a fundamental role in technology adoption, being especially crucial in the case of those innovative software-driven technologies characterized by a high degree of dynamism and unpredictability, like collaborating autonomous systems. These systems need to synchronize their maneuvers in order to collaboratively engage in reactions to unpredictable incoming hazardous situations. That is however only possible in the presence of mutual trust. In this paper, we propose an approach for machine-to-machine dynamic trust assessment for collaborating autonomous systems that supports trust-building based on the concept of dynamic safety assurance within the collaborative process among the software-intensive autonomous systems. In our approach, we leverage the concept of digital twins which are abstract models fed with real-time data used in the run-time dynamic exchange of information. The information exchange is performed through the execution of specialized models that embed the necessary safety properties. More particularly, we examine the possible role of the Digital Twins in machine-to-machine trust building and present their design in supporting dynamic trust assessment of autonomous drones. Ultimately, we present a proof of concept of direct and indirect trust assessment by employing the Digital Twin in a use case involving two autonomous collaborating drones.
{"title":"Digital Twins for Trust Building in Autonomous Drones through Dynamic Safety Evaluation","authors":"Danish Iqbal, Barbora Buhnova, Emilia Cioroaica","doi":"arxiv-2303.12805","DOIUrl":"https://doi.org/arxiv-2303.12805","url":null,"abstract":"The adoption process of innovative software-intensive technologies leverages\u0000complex trust concerns in different forms and shapes. Perceived safety plays a\u0000fundamental role in technology adoption, being especially crucial in the case\u0000of those innovative software-driven technologies characterized by a high degree\u0000of dynamism and unpredictability, like collaborating autonomous systems. These\u0000systems need to synchronize their maneuvers in order to collaboratively engage\u0000in reactions to unpredictable incoming hazardous situations. That is however\u0000only possible in the presence of mutual trust. In this paper, we propose an approach for machine-to-machine dynamic trust\u0000assessment for collaborating autonomous systems that supports trust-building\u0000based on the concept of dynamic safety assurance within the collaborative\u0000process among the software-intensive autonomous systems. In our approach, we\u0000leverage the concept of digital twins which are abstract models fed with\u0000real-time data used in the run-time dynamic exchange of information. The\u0000information exchange is performed through the execution of specialized models\u0000that embed the necessary safety properties. More particularly, we examine the\u0000possible role of the Digital Twins in machine-to-machine trust building and\u0000present their design in supporting dynamic trust assessment of autonomous\u0000drones. Ultimately, we present a proof of concept of direct and indirect trust\u0000assessment by employing the Digital Twin in a use case involving two autonomous\u0000collaborating drones.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"42 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522106","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Maja Schneider, Tobias Schelte, Felix Schmitz, Marco Körner
EuroCrops contains geo-referenced polygons of agricultural croplands from 16 countries of the European Union (EU) as well as information on the respective crop species grown there. These semantic annotations are derived from self-declarations by farmers receiving subsidies under the Common Agriculture Policy (CAP) of the European Commission (EC). Over the last 1.5 years, the individual national crop datasets have been manually collected, the crop classes have been translated into the English language and transferred into the newly developed Hierarchical Crop and Agriculture Taxonomy (HCAT). EuroCrops is publicly available under continuous improvement through an active user community.
{"title":"EuroCrops: All you need to know about the Largest Harmonised Open Crop Dataset Across the European Union","authors":"Maja Schneider, Tobias Schelte, Felix Schmitz, Marco Körner","doi":"arxiv-2302.10202","DOIUrl":"https://doi.org/arxiv-2302.10202","url":null,"abstract":"EuroCrops contains geo-referenced polygons of agricultural croplands from 16\u0000countries of the European Union (EU) as well as information on the respective\u0000crop species grown there. These semantic annotations are derived from\u0000self-declarations by farmers receiving subsidies under the Common Agriculture\u0000Policy (CAP) of the European Commission (EC). Over the last 1.5 years, the\u0000individual national crop datasets have been manually collected, the crop\u0000classes have been translated into the English language and transferred into the\u0000newly developed Hierarchical Crop and Agriculture Taxonomy (HCAT). EuroCrops is\u0000publicly available under continuous improvement through an active user\u0000community.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"31 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522112","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Nadia Ibellaatti, Edouard Lepape, Alp Kilic, Kaya Akyel, Kassem Chouayakh, Fabrizio Ferrandi, Claudio Barone, Serena Curzel, Michele Fiorito, Giovanni Gozzi, Miguel Masmano, Ana Risquez Navarro, Manuel Muñoz, Vicente Nicolau Gallego, Patricia Lopez Cueva, Jean-noel Letrillard, Franck Wartel
European efforts to boost competitiveness in the sector of space services promote the research and development of advanced software and hardware solutions. The EU-funded HERMES project contributes to the effort by qualifying radiation-hardened, high-performance programmable microprocessors, and by developing a software ecosystem that facilitates the deployment of complex applications on such platforms. The main objectives of the project include reaching a technology readiness level of 6 (i.e., validated and demonstrated in relevant environment) for the rad-hard NG-ULTRA FPGA with its ceramic hermetic package CGA 1752, developed within projects of the European Space Agency, French National Centre for Space Studies and the European Union. An equally important share of the project is dedicated to the development and validation of tools that support multicore software programming and FPGA acceleration, including Bambu for High-Level Synthesis and the XtratuM hypervisor with a level one boot loader for virtualization.
{"title":"HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem","authors":"Nadia Ibellaatti, Edouard Lepape, Alp Kilic, Kaya Akyel, Kassem Chouayakh, Fabrizio Ferrandi, Claudio Barone, Serena Curzel, Michele Fiorito, Giovanni Gozzi, Miguel Masmano, Ana Risquez Navarro, Manuel Muñoz, Vicente Nicolau Gallego, Patricia Lopez Cueva, Jean-noel Letrillard, Franck Wartel","doi":"arxiv-2302.06427","DOIUrl":"https://doi.org/arxiv-2302.06427","url":null,"abstract":"European efforts to boost competitiveness in the sector of space services\u0000promote the research and development of advanced software and hardware\u0000solutions. The EU-funded HERMES project contributes to the effort by qualifying\u0000radiation-hardened, high-performance programmable microprocessors, and by\u0000developing a software ecosystem that facilitates the deployment of complex\u0000applications on such platforms. The main objectives of the project include\u0000reaching a technology readiness level of 6 (i.e., validated and demonstrated in\u0000relevant environment) for the rad-hard NG-ULTRA FPGA with its ceramic hermetic\u0000package CGA 1752, developed within projects of the European Space Agency,\u0000French National Centre for Space Studies and the European Union. An equally\u0000important share of the project is dedicated to the development and validation\u0000of tools that support multicore software programming and FPGA acceleration,\u0000including Bambu for High-Level Synthesis and the XtratuM hypervisor with a\u0000level one boot loader for virtualization.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"31 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522111","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Heribert Pascual, Xavi Masip Bruin, Albert Alonso, Judit Cerdà
Human Digital Twins (HDTs) are digital replicas of humans that either mirror a complete human body, some parts of it as can be organs, flows, cells, or even human behaviors. An HDT is a human specific replica application inferred from the digital twin (DT) manufacturing concept, defined as a technique that creates digital replicas of physical systems or processes aimed at optimizing their performance and supporting more accurate decision-making processes. The main goal of this paper is to provide readers with a comprehensive overview of current efforts in the HDT field, by browsing its basic concepts, differences with DTs, existing developments, and the distinct areas of application. The review methodology includes an exhaustive review of scientific literature, patents, and industrial initiatives, as well as a discussion about ongoing and foreseen HDT research activity, emphasizing its potential benefits and limitations.
{"title":"A Systematic Review on Human Modeling: Digging into Human Digital Twin Implementations","authors":"Heribert Pascual, Xavi Masip Bruin, Albert Alonso, Judit Cerdà","doi":"arxiv-2302.03593","DOIUrl":"https://doi.org/arxiv-2302.03593","url":null,"abstract":"Human Digital Twins (HDTs) are digital replicas of humans that either mirror\u0000a complete human body, some parts of it as can be organs, flows, cells, or even\u0000human behaviors. An HDT is a human specific replica application inferred from\u0000the digital twin (DT) manufacturing concept, defined as a technique that\u0000creates digital replicas of physical systems or processes aimed at optimizing\u0000their performance and supporting more accurate decision-making processes. The\u0000main goal of this paper is to provide readers with a comprehensive overview of\u0000current efforts in the HDT field, by browsing its basic concepts, differences\u0000with DTs, existing developments, and the distinct areas of application. The\u0000review methodology includes an exhaustive review of scientific literature,\u0000patents, and industrial initiatives, as well as a discussion about ongoing and\u0000foreseen HDT research activity, emphasizing its potential benefits and\u0000limitations.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"126 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522013","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A surface of revolution is created by taking a curve in the $xy$-plane and rotating it about some axis. We develop a program which automatically generates crochet patterns for surfaces by revolution when they are obtained by rotating about the $x$-axis. In order to accomplish this, we invoke the arclength integral to determine where to take measurements for each row. In addition, a distance measure is created to optimally space increases and decreases. The result is a program that will take a function, $x$-bounds, crochet gauge, and a scale in order to produce a polished crochet pattern.
{"title":"Automating Crochet Patterns for Surfaces of Revolution","authors":"Megan Martinez, Amanda Taylor Lipnicki","doi":"arxiv-2302.02205","DOIUrl":"https://doi.org/arxiv-2302.02205","url":null,"abstract":"A surface of revolution is created by taking a curve in the $xy$-plane and\u0000rotating it about some axis. We develop a program which automatically generates\u0000crochet patterns for surfaces by revolution when they are obtained by rotating\u0000about the $x$-axis. In order to accomplish this, we invoke the arclength\u0000integral to determine where to take measurements for each row. In addition, a\u0000distance measure is created to optimally space increases and decreases. The\u0000result is a program that will take a function, $x$-bounds, crochet gauge, and a\u0000scale in order to produce a polished crochet pattern.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"106 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522105","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
There has been an increasing recognition of the value of data and of data-based decision making. As a consequence, the development of data science as a field of study has intensified in recent years. However, there is no systematic and comprehensive treatment and understanding of data science. This article describes a systematic and end-to-end framing of the field based on an inclusive definition. It identifies the core components making up the data science ecosystem, presents its lifecycle modeling the development process, and argues its interdisciplinarity.
{"title":"Data Science: A Systematic Treatment","authors":"M. Tamer Özsu","doi":"arxiv-2301.13761","DOIUrl":"https://doi.org/arxiv-2301.13761","url":null,"abstract":"There has been an increasing recognition of the value of data and of\u0000data-based decision making. As a consequence, the development of data science\u0000as a field of study has intensified in recent years. However, there is no\u0000systematic and comprehensive treatment and understanding of data science. This\u0000article describes a systematic and end-to-end framing of the field based on an\u0000inclusive definition. It identifies the core components making up the data\u0000science ecosystem, presents its lifecycle modeling the development process, and\u0000argues its interdisciplinarity.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"44 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522117","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
There is a persistent lack of funding, especially for SMEs, that cyclically worsens. The factoring and invoice discounting market appears to address delays in paying commercial invoices: sellers bring still-to-be-paid invoices to financial organizations, intermediaries, typically banks that provide an advance payment. This article contains research on novel decentralized approaches to said lending services without intermediaries by using liquidity pools and its associated heuristics, creating an Automated Market Maker. In our approach, the contributed collateral and the invoice trades with risk is measured with a formula: The Kelly criterion is used to calculate the optimal premium to be contributed to a liquidity pool in the funding of the said invoices. The behavior of the algorithm is studied in several scenarios of streams of invoices with representative amounts, collaterals, payment delays, and nonpayments rates or mora. We completed the study with hack scenarios with bogus, nonpayable invoices. As a result, we have created a resilient solution that performs the best with partially collateralized invoices. The outcome is decentralized market developed with the Kelly criterion that is reasonably resilient to a wide variety of the invoicing cases that provides sound profit to liquidity providers, and several premium distribution policies were checked that contributed with extra resilience to the performance of the algorithm.
{"title":"Invoice discounting using kelly criterion by automated market makers-like implementations","authors":"Peplluis R. Esteva, Alberto Ballesteros Rodríguez","doi":"arxiv-2302.09009","DOIUrl":"https://doi.org/arxiv-2302.09009","url":null,"abstract":"There is a persistent lack of funding, especially for SMEs, that cyclically\u0000worsens. The factoring and invoice discounting market appears to address delays\u0000in paying commercial invoices: sellers bring still-to-be-paid invoices to\u0000financial organizations, intermediaries, typically banks that provide an\u0000advance payment. This article contains research on novel decentralized\u0000approaches to said lending services without intermediaries by using liquidity\u0000pools and its associated heuristics, creating an Automated Market Maker. In our\u0000approach, the contributed collateral and the invoice trades with risk is\u0000measured with a formula: The Kelly criterion is used to calculate the optimal\u0000premium to be contributed to a liquidity pool in the funding of the said\u0000invoices. The behavior of the algorithm is studied in several scenarios of\u0000streams of invoices with representative amounts, collaterals, payment delays,\u0000and nonpayments rates or mora. We completed the study with hack scenarios with\u0000bogus, nonpayable invoices. As a result, we have created a resilient solution\u0000that performs the best with partially collateralized invoices. The outcome is\u0000decentralized market developed with the Kelly criterion that is reasonably\u0000resilient to a wide variety of the invoicing cases that provides sound profit\u0000to liquidity providers, and several premium distribution policies were checked\u0000that contributed with extra resilience to the performance of the algorithm.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"48 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Strategic pre-flight systems focus on the planning and deconfliction of routes for aircraft systems. The urban air mobility concept calls for higher levels of autonomy with both onboard and en route systems but also strategic and other pre-flight systems. Existing endeavors into strategic pre-flight systems focus on improving the route generation and strategic deconfliction of these routes. Introduced with the urban air mobility concept is the premise of operational volumes, 4D regions of airspace, including time, a single aircraft is expected to operate within, forming a contract of finite operational volumes over the duration of a route. It is no longer enough to only deconflict routes within the airspace, but to now consider these 4D operational volumes. To provide an effective all-in-one approach, we propose a novel framework for generating routes and accompanying contracts of operational volumes, along with deconfliction focused around 4D operational volumes. Experimental results show efficiency of operational volume generation utilising reachability analysis and demonstrate sufficient success in deconfliction of operational volumes.
{"title":"A Framework for Operational Volume Feneration for UAM Strategic Deconfliction","authors":"Ellis Lee Thompson, Yan Xu, Peng Wei","doi":"arxiv-2301.12961","DOIUrl":"https://doi.org/arxiv-2301.12961","url":null,"abstract":"Strategic pre-flight systems focus on the planning and deconfliction of\u0000routes for aircraft systems. The urban air mobility concept calls for higher\u0000levels of autonomy with both onboard and en route systems but also strategic\u0000and other pre-flight systems. Existing endeavors into strategic pre-flight\u0000systems focus on improving the route generation and strategic deconfliction of\u0000these routes. Introduced with the urban air mobility concept is the premise of\u0000operational volumes, 4D regions of airspace, including time, a single aircraft\u0000is expected to operate within, forming a contract of finite operational volumes\u0000over the duration of a route. It is no longer enough to only deconflict routes\u0000within the airspace, but to now consider these 4D operational volumes. To\u0000provide an effective all-in-one approach, we propose a novel framework for\u0000generating routes and accompanying contracts of operational volumes, along with\u0000deconfliction focused around 4D operational volumes. Experimental results show\u0000efficiency of operational volume generation utilising reachability analysis and\u0000demonstrate sufficient success in deconfliction of operational volumes.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"42 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522012","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}