Publications
Toward an autonomous aerial survey and planning system for humanitarian aid and disaster response
Summary
Summary
In this paper we propose an integrated system concept for autonomously surveying and planning emergency response for areas impacted by natural disasters. Referred to as AASAPS-HADR, this system is composed of a network of ground stations and autonomous aerial vehicles interconnected by an ad hoc emergency communication network. The system...
Automated discovery of cross-plane event-based vulnerabilities in software-defined networking
Summary
Summary
Software-defined networking (SDN) achieves a programmable control plane through the use of logically centralized, event-driven controllers and through network applications (apps) that extend the controllers' functionality. As control plane decisions are often based on the data plane, it is possible for carefully crafted malicious data plane inputs to direct the...
Unified value-based feedback, optimization and risk management in complex electric energy systems
Summary
Summary
The ideas in this paper are motivated by an increased need for systematic data-enabled resource management of large-scale electric energy systems. The basic control objective is to manage uncertain disturbances, power imbalances in particular, by optimizing available power resources. To that end, we start with a centralized optimal control problem...
Wind information requirements for NextGen applications phase 7 report
Summary
Summary
This report details the Required Time of Arrival (RTA) performance of B757 aircraft arriving at various meter fixes across a range of altitudes from 33,000' down to 3,000' above ground level (AGL). The system tested demonstrated less than ±10 second arrival error in at least 95% of flights at meter...
Safe predictors for enforcing input-output specifications [e-print]
Summary
Summary
We present an approach for designing correct-by-construction neural networks (and other machine learning models) that are guaranteed to be consistent with a collection of input-output specifications before, during, and after algorithm training. Our method involves designing a constrained predictor for each set of compatible constraints, and combining them safely via...
AI data wrangling with associative arrays [e-print]
Summary
Summary
The AI revolution is data driven. AI "data wrangling" is the process by which unusable data is transformed to support AI algorithm development (training) and deployment (inference). Significant time is devoted to translating diverse data representations supporting the many query and analysis steps found in an AI pipeline. Rigorous mathematical...
Beamforming with distributed arrays: FY19 RF Systems Line-Supported Program
Summary
Summary
Spatial beamforming using distributed arrays of RF sensors is treated. Unlike the observations from traditional RF antenna arrays, the distributed array's data can be subjected to widely varying time and frequency shifts among sensors and signals. These shifts require compensation upon reception in order to perform spatial filtering. To perform...
Evaluating collision avoidance for small UAS using ACAS X
Summary
Summary
Small Unmanned Aircraft Systems (sUAS) offer many potential benefits to society but also pose a dangerous mid-air collision hazard. Safely integrating into shared airspace will require sUAS to perform Collision Avoidance (CA), one of the primary components of Detect and Avoid (DAA) technologies. This paper performs a Monte Carlo simulation...
Representative small UAS trajectories for encounter modeling
Summary
Summary
As unmanned aircraft systems (UASs) continue to integrate into the U.S. National Airspace System (NAS), there is a need to quantify the risk of airborne collisions between unmanned and manned aircraft to support regulation and standards development. Both regulators and standards developing organizations have made extensive use of Monte Carlo...
Modeling and distributed control of microgrids: a negative feedback approach
Summary
Summary
In this paper, we first show how general microgrid can be modeled as a negative feedback configuration comprising two subsystems. The first subsystem is the interconnected microgrid grid which is affected through negative feedback by the second subsystem consisting of all single-port components. This is modeled by transforming physical state...