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

Multi-Vehicle Systems and Air Traffic Control Commons

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

112 Full-Text Articles 161 Authors 19,711 Downloads 16 Institutions

All Articles in Multi-Vehicle Systems and Air Traffic Control

Faceted Search

112 full-text articles. Page 1 of 5.

Gaussian Conditionally Markov Sequences: Theory With Application, Reza Rezaie 2019 University of New Orleans

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 2019 Vienna University of Technology

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 2019 San Jose State University

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 2019 Univ. of Arizona

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 2019 MITRE

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. 2019 Saint Petersburg State University of Civil Aviation

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 2019 NSS COLLEGE OF ENGINEERING, PALAKKAD

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 2018 Iowa State University

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 2018 Iowa State University

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 2018 Iowa State University

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 2018 Iowa State University

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 2018 Embry-Riddle Aeronautical University - Prescott

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 2018 Iowa State University

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. 2018 Embry-Riddle Aeronautical University

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 2018 Norwich University

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 2018 The University of Akron

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 2017 Fondazione Bruno Kessler

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 2017 NASA Ames Research Center

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 2017 California Polytechnic State University, San Luis Obispo

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 2017 Embry-Riddle Aeronautical University

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 ...


Digital Commons powered by bepress