Abstract:Scientific and engineering advances in wireless communication, sensors, propulsion, and other areas are rapidly making it possible to develop unmanned air vehicles (UAVs) with sophisticated capabilities. UAVs have come to the forefront as tools for airborne reconnaissance to search for, detect, and destroy enemy targets in relatively complex environments. They potentially reduce risk to human life, are cost effective, and are superior to manned aircraft for certain types of missions. It is desirable for UAVs to have a high level of intelligent autonomy to carry out mission tasks with little external supervision and control. This raises important issues involving tradeoffs between centralized control and the associated potential to optimize mission plans, and decentralized control with great robustness and the potential to adapt to changing conditions. UAV capabilities have been extended several ways through armament (e.g., Hellfire missiles on Predator UAVs), increased endurance and altitude (e.g., Global Hawk), and greater autonomy. Some known barriers to full-scale implementation of UAVs are increased communication and control requirements as well as increased platform and system complexity. One of the key problems is how UAV systems can handle incomplete and uncertain information in dynamic environments. Especially when the system is composed of heterogeneous and distributed UAVs, the overall system complexity is increased under such conditions. Presented through the use of published papers, this dissertation lays the groundwork for the study of methodologies for handling incomplete and uncertain information for distributed control systems. An agent-based simulation framework is built to investigate mathematical approaches (optimization) and emergent intelligence approaches. The first paper provides a mathematical approach for systems of UAVs to handle incomplete and uncertain information. The second paper describes an emergent intelligence approach for UAVs, again in handling incomplete and uncertain information. The third paper combines mathematical and emergent intelligence approaches.

Assuring Intelligent Systems: Contingency Management for UAS

Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study

Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems.

Investigation of risk-aware MDP and POMDP contingency management autonomy for UAS

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems

Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme

Distributed Control Systems with Incomplete and Uncertain Information

Dynamic Control Allocation between Onboard and Delayed Remote Control for Unmanned Aircraft System Detect-and-Avoid

A survey of safety separation management and collision avoidance approaches of civil UAS operating in integration national airspace system

Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations

Assuring safety in air traffic control systems with argumentation and model checking

Towards Probabilistic Clearance, Explanation and Optimization

Safety Analysis Methods for Complex Systems in Aviation

Safe Human-UAS Collaboration Abstraction

Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft

Assuring Safe and Efficient Operation of UAV Using Explainable Machine Learning

Ontological Airspace-Situation Awareness for Decision System Support

Safety Assured Online Guidance With Airborne Separation for Urban Air Mobility Operations in Uncertain Environments

Validation of Collision Detection and Avoidance Methods for Urban Air Mobility through Simulation

Automated System-level Testing of Unmanned Aerial Systems

Improving Autonomous Separation Assurance through Distributed Reinforcement Learning with Attention Networks