Open Access. Powered by Scholars. Published by Universities.®

Multi-Vehicle Systems and Air Traffic Control Commons

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 1 - 30 of 112

Full-Text Articles in Multi-Vehicle Systems and Air Traffic Control

Gaussian Conditionally Markov Sequences: Theory With Application, Reza Rezaie Aug 2019

Gaussian Conditionally Markov Sequences: Theory With Application, Reza Rezaie

University of New Orleans Theses and Dissertations

Markov processes have been widely studied and used for modeling problems. A Markov process has two main components (i.e., an evolution law and an initial distribution). Markov processes are not suitable for modeling some problems, for example, the problem of predicting a trajectory with a known destination. Such a problem has three main components: an origin, an evolution law, and a destination. The conditionally Markov (CM) process is a powerful mathematical tool for generalizing the Markov process. One class of CM processes, called $CM_L$, fits the above components of trajectories with a destination. The CM process combines the Markov ...


R2u2: Monitoring And Diagnosis Of Security Threats For Unmanned Aerial Systems, Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann Jun 2019

R2u2: Monitoring And Diagnosis Of Security Threats For Unmanned Aerial Systems, Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann

Kristin Yvonne Rozier

We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2, implemented in FPGA hardware, is a real-time, Realizable, Responsive, Unobtrusive Unit for runtime system analysis, now including security threat detection. R2U2 is designed to continuously monitor inputs from on-board components such as the GPS, the ground control station, other sensor readings, actuator outputs, and flight software status. By simultaneously monitoring and performing statistical reasoning, attack patterns and post-attack discrepancies in the UAS behavior can be detected. R2U2 uses runtime observer pairs for Linear and Metric Temporal Logics ...


Investigation Into The Effects Of Blade Tip Twist On Noise Reduction For A Naca 0012 Rotor Blade, Uyen T. Sou Jun 2019

Investigation Into The Effects Of Blade Tip Twist On Noise Reduction For A Naca 0012 Rotor Blade, Uyen T. Sou

McNair Research Journal SJSU

The advancement of the urban air mobility concept is heavily dependent on the public acceptance of the aircraft vehicles used for air taxis. The importance of the perception of noise by humans is crucial to the passing of legislation and proposals working to implement the new transport system. The investigation into how the noise perception can be reduced is vital to the success of the personal air travel industry. The air taxi design has been geared towards the rotorcraft models. Therefore, the investigation into the rotor blade designs is necessary because, similar to helicopters, the main component in noise generation ...


End To End Satellite Servicing And Space Debris Management, Aman Chandra, Himangshu Kalita, Roberto Furfaro, Jekan Thanga Feb 2019

End To End Satellite Servicing And Space Debris Management, Aman Chandra, Himangshu Kalita, Roberto Furfaro, Jekan Thanga

Space Traffic Management Conference

There is growing demand for satellite swarms and constellations for global positioning, remote sensing and relay communication in higher LEO orbits. This will result in many obsolete, damaged and abandoned satellites that will remain on-orbit beyond 25 years. These abandoned satellites and space debris maybe economically valuable orbital real-estate and resources that can be reused, repaired or upgraded for future use. Space traffic management is critical to repair damaged satellites, divert satellites into warehouse orbits and effectively deorbit satellites and space debris that are beyond repair and salvage. Current methods for on-orbit capture, servicing and repair require a large service ...


Framework For Evaluating Traffic Management Services In Higher Airspace, Jennifer Gentry, Debra Moch-Mooney, Anuja Mahashabde Feb 2019

Framework For Evaluating Traffic Management Services In Higher Airspace, Jennifer Gentry, Debra Moch-Mooney, Anuja Mahashabde

Space Traffic Management Conference

Flying faster, farther, longer and higher has always captured the public’s imagination. Yet there is a vast realm of airspace that remains unexplored, save for a handful of scientific and national security missions. It is a realm rife with extremes, where flights can reach multi-Mach speeds or stay aloft for months as they slowly circumnavigate the globe. It is a realm that lies high above the clouds, at the edge of space.

Recent breakthroughs in technology, fueled by a globalized economy and society’s appetite for information, have set the stage for routine commercial operations in this new realm ...


Global Aviation System: Towards Sustainable Development, Marina P. Bonser Dr. Jan 2019

Global Aviation System: Towards Sustainable Development, Marina P. Bonser Dr.

International Journal of Aviation, Aeronautics, and Aerospace

Aviation around the world has integrated into a global system. As the integration process continues, more aspects and levels of it need to be lead towards the sustainable development of the whole system via advancing strategic management, global communication proficiency, and technological expertise. It becomes essential to enrich global language (English) proficiency with cross-cultural communication competence not only for communication in the air but also for airport security, passenger and cargo services, aircraft and equipage engineering, building, and maintenance. Nowadays lower levels of management need more advanced strategic thinking and problem solving skills, and higher levels of management need global ...


Design And Realization Of An Unmanned Aerial Rotorcraft Vehicle Using Pressurized Inflatable Structure, Nirmal Sadasivan Jan 2019

Design And Realization Of An Unmanned Aerial Rotorcraft Vehicle Using Pressurized Inflatable Structure, Nirmal Sadasivan

International Journal of Aviation, Aeronautics, and Aerospace

Unmanned aerial rotorcraft vehicles have many military, commercial and civil applications. There is a necessity to advance the performance on several ranges of rotorcraft for using these vehicles successfully in the expanded future roles. A lower flight time, noise disturbance and safety issues remain the key obstacles in increasing the efficiency of the rotorcraft for various applications. This work presents the design and realization of a rotorcraft using pressurized inflatable structure filled with lighter than air gas such as helium or hydrogen to provide lift assistance for the vehicle. Two iterative design procedures were developed for designing the vehicle. One ...


Validation And Verification Flight Tests Of Fixed-Wing Collaborative Uass With High Speeds And High Inertias, A Ram (Bella) Kim Jun 2018

Validation And Verification Flight Tests Of Fixed-Wing Collaborative Uass With High Speeds And High Inertias, A Ram (Bella) Kim

A Ram (Bella) Kim

The research objective for this work is to validate and verify guidance, navigation, and control algorithms that are designed for fixed-wing collaborative unmanned aerial systems (UASs) in unstructured environments. A biologically-inspired swarm control theory provides a framework to distribute sensor payloads between several smaller and less complex agents that have local interactions. Controller design and flight testing of large UASs with high speeds and high inertias holding a formation in a dynamically changing environment and in the presence of external disturbances is complex and requires advanced planning and safety measures. Verification and validation flight tests were conducted using a fixed-wing ...


Control Of Multi-Agent Collaborative Fixed-Wing Uass In Unstructured Environment, A Ram (Bella) Kim Jun 2018

Control Of Multi-Agent Collaborative Fixed-Wing Uass In Unstructured Environment, A Ram (Bella) Kim

A Ram (Bella) Kim

Swarms of unmanned aircraft are the inevitable future of the aerospace industry. In recent years, swarming robots and aircraft have been a subject of much interest; however, many research projects make impractical assumptions such as point mass dynamics with no aerodynamic effects for aircraft models, and most works stop short of fully validating their methods via flight testing. This work presents a proximity based guidance, navigation, and control of multi-agent fixed-wing unmanned aerial systems in an unstructured environment. A scalable swarm navigation method is developed using adaptive moving mesh partial differential equations controlled by the free energy heat flow equation ...


Specification: The Biggest Bottleneck In Formal Methods And Autonomy, Kristin Yvonne Rozier Apr 2018

Specification: The Biggest Bottleneck In Formal Methods And Autonomy, Kristin Yvonne Rozier

Kristin Yvonne Rozier

Advancement of AI-enhanced control in autonomous systems stands on the shoulders of formal methods, which make possible the rigorous safety analysis autonomous systems require. An aircraft cannot operate autonomously unless it has design-time reasoning to ensure correct operation of the autopilot and runtime reasoning to ensure system health management, or the ability to detect and respond to off-nominal situations. Formal methods are highly dependent on the specifications over which they reason; there is no escaping the “garbage in, garbage out” reality. Specification is difficult, unglamorous, and arguably the biggest bottleneck facing verification and validation of aerospace, and other, autonomous systems ...


More Scalable Ltl Model Checking Via Discovering Design-Space Dependencies (D3), Rohit Dureja, Kristin Yvonne Rozier Apr 2018

More Scalable Ltl Model Checking Via Discovering Design-Space Dependencies (D3), Rohit Dureja, Kristin Yvonne Rozier

Kristin Yvonne Rozier

Modern system design often requires comparing several models over a large design space. Different models arise out of a need to weigh different design choices, to check core capabilities of versions with varying features, or to analyze a future version against previous ones. Model checking can compare different models; however, applying model checking off-the-shelf may not scale due to the large size of the design space for today’s complex systems. We exploit relationships between different models of the same (or related) systems to optimize the model-checking search. Our algorithm, D3 , preprocesses the design space and checks fewer model-checking instances ...


Ctle - Meteorological Sensors Incorporated Into A Uas For Pedagogical Purposes, David Ehrensperger, James Curtis, Dorothea Ivanova, Mark Sinclair, Jacqueline R. Luedtke, Tim Holt, Jennah Perry, Johnny L. Young, Nicholas E. Harris Apr 2018

Ctle - Meteorological Sensors Incorporated Into A Uas For Pedagogical Purposes, David Ehrensperger, James Curtis, Dorothea Ivanova, Mark Sinclair, Jacqueline R. Luedtke, Tim Holt, Jennah Perry, Johnny L. Young, Nicholas E. Harris

David Ehrensperger

This presentation was part of my unpublished research experience in a CTLE Faculty Learning Community (FLC) during the 2017-2018 academic year. It involved incorporating meteorological sensors in Unmanned Aerial Systems (or UAS) in the pedagogical context of meteorology courses at Embry-Riddle Aeronautical University (ERAU) in Prescott, AZ. The FLC planned the incorporation of UAS sensors and working with the subsequent recorded data into courses during the Fall 2017 semester, implemented the planning during the Spring 2018 semester, and concretely planned to continue similar data gathering activities in future iterations of the courses.

As with all FLCs at ERAU, the commitment ...


More Scalable Ltl Model Checking Via Discovering Design-Space Dependencies (D3), Rohit Dureja, Kristin Yvonne Rozier Apr 2018

More Scalable Ltl Model Checking Via Discovering Design-Space Dependencies (D3), Rohit Dureja, Kristin Yvonne Rozier

Aerospace Engineering Conference Papers, Presentations and Posters

Modern system design often requires comparing several models over a large design space. Different models arise out of a need to weigh different design choices, to check core capabilities of versions with varying features, or to analyze a future version against previous ones. Model checking can compare different models; however, applying model checking off-the-shelf may not scale due to the large size of the design space for today’s complex systems. We exploit relationships between different models of the same (or related) systems to optimize the model-checking search. Our algorithm, D3 , preprocesses the design space and checks fewer model-checking instances ...


Task 10: Research An Alternative Instructional Design Model, Steven Hampton, Jan G. Neal, Luis A. Ramirez, Dustin R. Talkington, Jma Solutions, Inc. Mar 2018

Task 10: Research An Alternative Instructional Design Model, Steven Hampton, Jan G. Neal, Luis A. Ramirez, Dustin R. Talkington, Jma Solutions, Inc.

Publications

Under authority of the Federal Aviation Administration (FAA), the Center of Excellence (COE) Technical Training Human Performance (TTHP) Task 10 research team has prepared a comprehensive technical report and an executive summary for the Air Traffic Organization (ATO) concerning the instructional development (ID) of occupational education and training for Air Traffic (AT) controllers and Technical Operations (TO) technicians. Research included:

• Front-end analysis of available FAA courses and government furnished information (GFI), including course-development documentation and associated guidance, policies, and regulations.

• Structured and semi-structured data-gathering techniques in cooperation with Instructional Systems Specialists (ISS), ISS Managers, and Requirements personnel.

• Informal observations of ...


Utm, Atm, Stm… Slices Of The Sky?, Ruth E. Stilwell Jan 2018

Utm, Atm, Stm… Slices Of The Sky?, Ruth E. Stilwell

Space Traffic Management Conference

UTM, ATM, STM… slices of the sky?

This paper will examine the functional differences between Unmanned Aircraft Traffic Management Systems, Air Traffic Management Systems, and Space Traffic Management. Understanding both the similarities between the systems and the different functional requirements of each concept is critical in the discussion and development of STM. While there are many commonalities in each area, it is important to understand how the different environments affect the ability to develop policies, procedure and technologies to manage the vehicles operating in the distinct environment. Both technical and legal frameworks will be discussed.

Building a conceptual framework for ...


Autonomous Uav Battery Swapping, Reed Jacobsen, Nikolai Ruhe, Nathan Dornback Jan 2018

Autonomous Uav Battery Swapping, Reed Jacobsen, Nikolai Ruhe, Nathan Dornback

Williams Honors College, Honors Research Projects

One of the main hindrances of unmanned aerial vehicle (UAV) technology are power constraints. One way to alleviate some power constraints would be for two UAVs to exchange batteries while both are in flight. Autonomous mid-air battery swapping will expand the scope of UAV technology by allowing for indefinite flight times and longer missions. A single board computer will control each UAV’s flight software to respond to inputs to align with each other mid-flight. When the two UAVs have joined, mechanical components will exchange a depleted battery on the worker UAV for a freshly charged battery that belongs to ...


Model Checking At Scale: Automated Air Traffic Control Design Space Exploration, Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier Dec 2017

Model Checking At Scale: Automated Air Traffic Control Design Space Exploration, Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier

Kristin Yvonne Rozier

Many possible solutions, differing in the assumptions and implementations of the components in use, are usually in competition during early design stages. Deciding which solution to adopt requires considering several trade-offs. Model checking represents a possible way of comparing such designs, however, when the number of designs is large, building and validating so many models may be intractable.

During our collaboration with NASA, we faced the challenge of considering a design space with more than 20,000 designs for the NextGen air traffic control system. To deal with this problem, we introduce a compositional, modular, parameterized approach combining model checking ...


Runtime Analysis With R2u2: A Tool Exhibition Report, Johann Schumann, Patrick Moosbrugger, Kristin Yvonne Rozier Dec 2017

Runtime Analysis With R2u2: A Tool Exhibition Report, Johann Schumann, Patrick Moosbrugger, Kristin Yvonne Rozier

Kristin Yvonne Rozier

We present R2U2 (Realizable, Responsive, Unobtrusive Unit), a hardware-supported tool and framework for the continuous monitoring of safety-critical and embedded cyber-physical systems. With the widespread advent of autonomous systems such as Unmanned Aerial Systems (UAS), satellites, rovers, and cars, real-time, on-board decision making requires unobtrusive monitoring of properties for safety, performance, security, and system health. R2U2 models combine past-time and future-time Metric Temporal Logic, “mission time” Linear Temporal Logic, probabilistic reasoning with Bayesian Networks, and model-based prognostics.

The R2U2 monitoring engine can be instantiated as a hardware solution, running on an FPGA, or as a software component. The FPGA realization ...


Real Time And High Fidelity Quadcopter Tracking System, Tyler Mckay Hall Dec 2017

Real Time And High Fidelity Quadcopter Tracking System, Tyler Mckay Hall

Computer Engineering

This project was conceived as a desired to have an affordable, flexible and physically compact tracking system for high accuracy spatial and orientation tracking. Specifically, this implementation is focused on providing a low cost motion capture system for future research. It is a tool to enable the further creation of systems that would require the use of accurate placement of landing pads, payload acquires and delivery. This system will provide the quadcopter platform a coordinate system that can be used in addition to GPS.

Field research with quadcopter manufacturers, photographers, agriculture and research organizations were contact and interviewed for information ...


United States Drone Laws, Jacob Crittenden Oct 2017

United States Drone Laws, Jacob Crittenden

Student Works

The purpose of this Directed Study was to investigate and compile the drone laws that exist within the United States, both on the federal level and for each individual state. The federal laws are directed by the Federal Aviation Administration (FAA) under laws that pertain to “Unmanned Aircraft Systems” (UAS) and are relatively new. Most states have further regulations on UAS that they have passed. Most of these laws are in place to protect public safety and privacy, but some also prohibit certain locations of flight and certain modifications that might be made to the platform. State laws that limit ...


R2u2: Monitoring And Diagnosis Of Security Threats For Unmanned Aerial Systems, Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann Aug 2017

R2u2: Monitoring And Diagnosis Of Security Threats For Unmanned Aerial Systems, Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann

Aerospace Engineering Publications

We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2, implemented in FPGA hardware, is a real-time, Realizable, Responsive, Unobtrusive Unit for runtime system analysis, now including security threat detection. R2U2 is designed to continuously monitor inputs from on-board components such as the GPS, the ground control station, other sensor readings, actuator outputs, and flight software status. By simultaneously monitoring and performing statistical reasoning, attack patterns and post-attack discrepancies in the UAS behavior can be detected. R2U2 uses runtime observer pairs for Linear and Metric Temporal Logics ...


Adopting Unmanned Flight Operations Into Controlled Airspace, Jennah C. Perry, Johnny Young, Jacqueline Luedtke, Benjamin Cook, Holly Hughes, Allison M. Little, Kyle Wilkerson Apr 2017

Adopting Unmanned Flight Operations Into Controlled Airspace, Jennah C. Perry, Johnny Young, Jacqueline Luedtke, Benjamin Cook, Holly Hughes, Allison M. Little, Kyle Wilkerson

Publications

Unmanned aircraft activity is becoming more common within the National Airspace System (NAS) and is expected to dominate the NAS in the near future. Specific procedures for adopting unmanned aircraft into the National Airspace System (NAS).

A variation of the Military Grid Reference System was developed and digitally overlaid onto the radar display. To incorporate this grid system, a customized flight plan database was created for the storage of operator submitted flight plans. Instead of verbal communication, a computer chat system is used for communication because of the low altitude operations in the field.

The Federal Aviation Administration (FAA) has ...


Utilizing Guided Simulation In Conjunction With Digital Learning Tools In Air Traffic Control Training To Enhance Learning At The Collegiate Level, Allison Little, Benjamin Cook, Holly Hughes, Kyle Wilkerson Mar 2017

Utilizing Guided Simulation In Conjunction With Digital Learning Tools In Air Traffic Control Training To Enhance Learning At The Collegiate Level, Allison Little, Benjamin Cook, Holly Hughes, Kyle Wilkerson

Discovery Day - Prescott

Students in an air traffic control program are required to learn and apply advance knowledge and skills in a limited time frame. All students learn at different rates as well as through different learning styles. Swivl is a video capture tool designed to enhance student learning by allowing students to refer back to their individual classroom lab training session videos via an online portal. Swivl is being utilized in two ATC lab courses. During this research, two technological shortcomings were discovered: (1) Swivl lacks the ability to capture audio from the COA’s existing communication software and (2) Swivl cannot ...


Integrating Unmanned Aircraft Operations Into The National Airspace System, Benjamin Cook, Holly Hughes, Kyle Wilkerson, Allison Little Mar 2017

Integrating Unmanned Aircraft Operations Into The National Airspace System, Benjamin Cook, Holly Hughes, Kyle Wilkerson, Allison Little

Discovery Day - Prescott

Unmanned Aircraft Systems (UAS) are expected to dominate the National Airspace System (NAS) in the near future. One particular barrier preventing the integration of unmanned aircraft into the NAS is the lack of standardized procedures for distinguishing and communicating with remote UAS operators. In preparation for adopting unmanned flight operations into a complex control system, it is important to identify solutions to effectively control UAS in the NAS. To achieve simultaneous safe manned and unmanned aircraft operations in the NAS, the Joint UAS and ATC Team (JUAT) at Embry-Riddle Aeronautical University (ERAU) are developing a system that could be used ...


Integrating Unmanned Aircraft Operations Into The National Airspace System, Benjamin Cook, Holly Hughes, Allison Little, Kyle Wilkerson, Jennah C. Perry, Johnny Young, Jacqueline Luedtke Mar 2017

Integrating Unmanned Aircraft Operations Into The National Airspace System, Benjamin Cook, Holly Hughes, Allison Little, Kyle Wilkerson, Jennah C. Perry, Johnny Young, Jacqueline Luedtke

Publications

Commercial unmanned aircraft systems (UAS) are expected to dominate the National Airspace System (NAS) in the years to come. One particular barrier preventing integration of UAS into the NAS is the lack of standardized procedures for separating aircraft and communicating with ATC. In preparation for adopting unmanned flight operations into a complex control system, it is important to identify solutions to effectively control UAS in the NAS.

The Joint UAS and ATC Team (JUAT) group has designed several simulated ATC scenarios in order to determine effective solutions for integration. Through the use of digitized radar display overlays that replicate the ...


Image And Information Fusion Experiments With A Software-Defined Multi-Spectral Imaging System For Aviation And Marine Sensor Networks, Sam B. Siewert, Matthew Demi Vis, Ryan Claus, Ramnarayan Krishnamurthy, Surjith B. Singh, Akshay K. Singh, Shivasankar Gunasekaran Jan 2017

Image And Information Fusion Experiments With A Software-Defined Multi-Spectral Imaging System For Aviation And Marine Sensor Networks, Sam B. Siewert, Matthew Demi Vis, Ryan Claus, Ramnarayan Krishnamurthy, Surjith B. Singh, Akshay K. Singh, Shivasankar Gunasekaran

Publications

The availability of Internet, line-of-sight and satellite identification and surveillance information as well as low-power, low-cost embedded systems-on-a-chip and a wide range of visible to long-wave infrared cameras prompted Embry Riddle Aeronautical University to collaborate with the University of Alaska Arctic Domain Awareness Center (ADAC) in summer 2016 to prototype a camera system we call the SDMSI (Software-Defined Multi-spectral Imager). The concept for the camera system from the start has been to build a sensor node that is drop-in-place for simple roof, marine, pole-mount, or buoy-mounts. After several years of component testing, the integrated SDMSI is now being tested, first ...


Accuracy Of Flight Delays Caused By Low Ceilings And Visibilities At Chicago’S Midway And O’Hare International Airports, Kerry Blodgett Dec 2016

Accuracy Of Flight Delays Caused By Low Ceilings And Visibilities At Chicago’S Midway And O’Hare International Airports, Kerry Blodgett

Meteorology Senior Theses

In 2013 the Federal Aviation Administration found that over 28,000 flights were delayed out of the Chicago’s Midway and O’Hare International Airports and that 69% of flights are delayed by weather. This paper examines the accuracy of flight delays caused by low ceilings and visibilities from November 2015 to March 2016. Terminal Aerodrome Forecasts were used to determine the cause of delays while Automated Surface Observing System was used to determine the accuracy of each flight delay. It was found that low ceilings and visibilities caused 75% of the flights delayed by weather and that 13% of ...


Spaceways: Airspace In Outer Space, Scott Haeffelin Nov 2016

Spaceways: Airspace In Outer Space, Scott Haeffelin

Space Traffic Management Conference

Forecasted future demand in space travel is driving the need for the development of space traffic management. Currently, orbital space traffic is mostly unregulated with internationally agreed upon best practices and self-interest driving space operators to avoid collisions with other spacecraft. This paper explores the future of space travel by presenting a concept of creating “airspace in space” or spaceways to manage the ever growing volumes of space traffic. Spaceways are analogous to airspace for aircraft with the goal of increasing levels of safety and reducing probabilities of collision. These goals can be achieved by creating traffic rules, defining valuable ...


Air Traffic Impact Analysis Design For A Suborbital Point-To-Point Passenger Transport Concept, Tanja Luchkova, Sven Kaltenhaeuser, Frank Morlang Nov 2016

Air Traffic Impact Analysis Design For A Suborbital Point-To-Point Passenger Transport Concept, Tanja Luchkova, Sven Kaltenhaeuser, Frank Morlang

Space Traffic Management Conference

Space flight activities are growing on an international level, thereby creating an evident need for a safe and efficient integration of space vehicle operations into the air traffic system. For concepts like very high-speed intercontinental passenger transport via suborbital point-2-point flights, as it is proposed by the DLR SpaceLiner, this integration issue is becoming especially relevant. As part of a case study approach to analyse the effects of space vehicle operations on air traffic and to evaluate mitigation strategies and optimized ATM integration, a traffic impact analysis has been prepared and conducted for the SpaceLiner return trajectory towards a European ...


Specification: The Biggest Bottleneck In Formal Methods And Autonomy, Kristin Yvonne Rozier Nov 2016

Specification: The Biggest Bottleneck In Formal Methods And Autonomy, Kristin Yvonne Rozier

Aerospace Engineering Conference Papers, Presentations and Posters

Advancement of AI-enhanced control in autonomous systems stands on the shoulders of formal methods, which make possible the rigorous safety analysis autonomous systems require. An aircraft cannot operate autonomously unless it has design-time reasoning to ensure correct operation of the autopilot and runtime reasoning to ensure system health management, or the ability to detect and respond to off-nominal situations. Formal methods are highly dependent on the specifications over which they reason; there is no escaping the “garbage in, garbage out” reality. Specification is difficult, unglamorous, and arguably the biggest bottleneck facing verification and validation of aerospace, and other, autonomous systems ...