Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"Small Aircraft Transportation System"”.
-
Air Surveillance for Smart Landing Facilities in the Small Aircraft Transportation System
The Small Aircraft Transportation System (SATS) is a partnership among various organizations including NASA, the FAA, US aviation industry, state and local aviation officials, and universities. The program objectives are intend to reduce travel times by providing high-speed, safe travel …
-
Integration of the Transportation Systems Analysis Model for the Small Aircraft Transportation System
… mapped using Geographic Information Systems (GIS) technology to allow immediate and spatial analysis. The integrated model allows for faster running times and quicker analysis of the results. The ability to calculate travel time savings for travelers was also included to the final …
-
Air Traffic Control Resource Management Strategies and the Small Aircraft Transportation System: A System Dynamics Perspective
… (NASA) is leading a research effort to develop a Small Aircraft Transportation System (SATS) that will expand air transportation capabilities to hundreds of underutilized airports in the United States. Most of the research effort addresses the technological development of the small aircraft as …
-
A Modeling and Simulation Approach to the Small Aircraft Transportation System: Assessing Midair Conflict Potential Under the Free Flight Paradigm
The Small Aircraft Transportation System, or SATS, is a NASA-led initiative that seeks to revolutionize commercial air travel by increasing accessibility and mobility for the general consumer. The hallmark of SATS is on-demand, point-to-point air transportation from one of the nation's 5,400 public …
-
Application of Systems Engineering Principles and Methods to an Advanced Technology Research Project
… case study of the tailored application of modern systems engineering principles and methods to a joint sponsored research and development program. The Small Aircraft Transportation System program is a $100M class, 4 year proof-of-concept research and demonstration program jointly sponsored by the …
-
Proving safety properties of an aircraft landing protocol using timed and untimed I/O automata : a case study
… an assertional-style verification of the aircraft landing protocol of NASA's SATS (Small Aircraft Transportation System) concept of operation using the timed and untimed I/O automata frameworks. We construct two mathematical models of the landing protocol using the above stated frameworks. …
-
Automated Traffic Control for Smart Landing Facilities
The Small Aircraft Transportation System (SATS) is a partnership between the FAA, the NASA, US aviation companies, universities and state and local aviation officials. The purpose of SATS is to develop a system to handle future increase in Air Traffic, reduce time-travel, develop automation in Air …
-
The Effect of Icing on the Dispatch Reliability of Small Aircraft
… (NASA) initiated a program to promote the use of small aircraft as an additional option for national public transportation. The Small Aircraft Transportation System (SATS) asserted the idea of everyday individuals piloting themselves on trips, within a specified distance range, using a small (4 …
-
A Heuristic Approach to Solve Air Taxi Scheduling Problem
… time. This brings us to think of an airline system that will work in a similar fashion; A system that can be named an "Air Taxi System." This would mean a virtual highway in air space leading to a vast network. The network would be served by small aircraft flying from one city to another …
-
Development of an Airport Choice Model for General Aviation Operations
… Aviation activities on the National Air Space system. The model will also serve as part of transportation planning tool to help assess the viability of deploying NASA's Small Aircraft Transportation Systems (SATS) aircraft as a competitive mode of transportation for intercity travel. The …
-
Uniform verification of safety for parameterized networks of hybrid automata
Distributed cyber-physical systems (CPS) incorporate communicating agents with their own cyber and physical states and transitions. Such systems are typically designed to accomplish tasks in the physical world. For example, the objective of a robotic swarm may be to cover an area while avoiding …