Award Data

Empirical-based mathematical framework and computer algorithms, for representing human perception and cognition processes and limitations, which influence the recognition of salient information about rapidly changing events.

To deal with the increasingly complex, dynamic and unpredictable operational environments of the 21st century, unmanned and autonomous system, sensor, and vehicle technologies are being expanded and improved. For example, unmanned air, ground, and maritime systems provide an expanding set of capabilities, such as intelligence, detection, security, targeting, and strike, while reducing the risk to ...

Empirical-based mathematical framework and computer algorithms, for representing human perception and cognition processes and limitations, which influence the recognition of salient information about rapidly changing events.

Human-autonomous system interaction is frequently limited by lack of confidence and trust among the (combined) team. In order to have humans collaborate effectively with autonomous systems, improved interfaces and interaction techniques, and frameworks of interaction must be developed that allow for a common perception of the goals, constraints, resources, and other variables relevant to the team ...

Semantically Linked Data is widely seen as a revolutionary approach for maximizing the usefulness of existing and future information. In the materials domain, semantically linked materials data holds considerable promise with the ability to facilitate materials research and product development, improve communication, and open up avenues for new types of materials informatics. But realizing the pro ...

This effort proposes to develop a toolset to evaluate the effectiveness of a safety-controller that monitors a learning-based autonomous control system. The traditional use of deterministic verification techniques for real-time monitoring is not feasible in the presence of uncertainty. This effort would advance the recommended verification techniques to include non-deterministic approaches. The ...

Barron Associates has assembled a team of researchers that include Dr. Sayan Mitra of the University of Illinois and Dr. Ufuk Topcu of the University of Pennsylvania. They will spearhead three complimentary investigations into the development of verification and validation (V & V) approaches for adaptive systems protected by run time assurance (RTA) mechanisms. Two of these approaches involve us ...

Existing physics-based device simulation tools are prohibitively expensive computationally, and therefore ill-suited for parametric analysis and design optimization of photonic integrated circuits (PIC). The proposed effort aims to develop and demonstrate an innovative, easy-to-use simulation tool for accurate, fast circuit/system analysis of PICs. The salient aspects of the proposed solution are: ...

Pacific Science & Engineering Group (PSE) proposes to design, develop, and demonstrate a prototype human-autonomous system tool & #208;Operators Context and Trust in Automation Visualization (OCTAV) & #208; that will support improved transparency, trust, and human-machine team performance. OCTAV will automatically monitor human and autonomous system team context and task, visualize context-based s ...

A formal approach to the management of information involved in human-automation interactions is proposed. The mathematical formalism is enabled by employing the notion of hybrid systems. The information management involves ensuring correct information flow and shared cognition between human operators and machines. It is envisioned that the proposed algorithms will formalize the analysis of human-a ...