Publications
Probabilistic coordination of heterogeneous teams from capability temporal logic specifications
Summary
Summary
This letter explores coordination of heterogeneous teams of agents from high-level specifications. We employ Capability Temporal Logic (CaTL) to express rich, temporal-spatial tasks that require cooperation between many agents with unique capabilities. CaTL specifies combinations of tasks, each with desired locations, duration, and set of capabilities, freeing the user from...
Fast decomposition of temporal logic specifications for heterogeneous teams
Summary
Summary
We focus on decomposing large multi-agent path planning problems with global temporal logic goals (common to all agents) into smaller sub-problems that can be solved and executed independently. Crucially, the sub-problems' solutions must jointly satisfy the common global mission specification. The agents' missions are given as Capability Temporal Logic (CaTL)...
Quantifying bias in face verification system
Summary
Summary
Machine learning models perform face verification (FV) for a variety of highly consequential applications, such as biometric authentication, face identification, and surveillance. Many state-of-the-art FV systems suffer from unequal performance across demographic groups, which is commonly overlooked by evaluation measures that do not assess population-specific performance. Deployed systems with bias...
Correlated Bayesian model of aircraft encounters in the terminal area given a straight takeoff or landing
Summary
Summary
The integration of new airspace entrants into terminal operations requires design and evaluation of Detect and Avoid systems that prevent loss of well clear from and collision with other aircraft. Prior to standardization or deployment, an analysis of the safety performance of those systems is required. This type of analysis...
Robust network protocols for large swarms of small UAVs
Summary
Summary
In this work, we detail a synchronized channel hopping network for autonomous swarms of small unmanned aerial vehicles (UAVs) conducting intelligence, surveillance, and reconnaissance (ISR) missions in the presence of interference and jamming. The core component of our design is Queue Length Informed Maximal Matching (QLIMM), a distributed transmission scheduling...
Radar coverage analysis for the Terminal Precipitation on the Glass Program
Summary
Summary
The Terminal Precipitation on the Glass (TPoG) program proposes to improve the STARS precipitation depiction by adding an alternative precipitation product based on a national weather-radar-based mosaic, i.e., the NextGen Weather System (aka NextGen Weather Processor [NWP] and Common Support Services Weather [CSS-Wx]). This report describes spatial and temporal domain...
Detection of COVID-19 using multimodal data from a wearable device: results from the first TemPredict Study
Summary
Summary
Early detection of diseases such as COVID-19 could be a critical tool in reducing disease transmission by helping individuals recognize when they should self-isolate, seek testing, and obtain early medical intervention. Consumer wearable devices that continuously measure physiological metrics hold promise as tools for early illness detection. We gathered daily...
Bayesian estimation of PLDA in the presence of noisy training labels, with applications to speaker verification
Summary
Summary
This paper presents a Bayesian framework for estimating a Probabilistic Linear Discriminant Analysis (PLDA) model in the presence of noisy labels. True class labels are interpreted as latent random variables, which are transmitted through a noisy channel, and received as observed speaker labels. The labeling process is modeled as a...
Energy resilience: exercises for Marine Corps installations
Summary
Summary
Microgrids are areas that are self-sufficient for power that can controllably disconnect from the incoming utility feed and control generation assets in conjunction with changing load requirements. They are increasingly being touted as a way to improve installations energy resilience because they allow installations to decouple from the larger electric...
Tools and practices for responsible AI engineering
Summary
Summary
Responsible Artificial Intelligence (AI)—the practice of developing, evaluating, and maintaining accurate AI systems that also exhibit essential properties such as robustness and explainability—represents a multifaceted challenge that often stretches standard machine learning tooling, frameworks, and testing methods beyond their limits. In this paper, we present two new software libraries—hydra-zen and...