Search NASA⌕ Search

SEARCH · Search NASA

Results for “Adversarial examples”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

5 records
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

NEUROSPF: A Tool For the Symbolic Analysis of Neural Networks

This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable for analysis using the Symbolic PathFinder symbolic execution tool. Notably, NEUROSPF encodes specialized peer classes for parsing the model’s parameters, thereby enabling efficient analysis. With NEUROSPF the user has the flexibility to specify either the inputs or the network internal parameters as symbolic, promoting the application of program analysis and testing approaches from software engineering to the field of machine learning. For instance, NEUROSPF can be used for coverage-based testing and test generation, finding adversarial examples and also constraint-based repair of neural networks, thus improving the reliability of neural networks and of the applications that use them.

neural networks↗
NASA NTRS2013

AGATE: Adversarial Game Analysis for Tactical Evaluation

AGATE generates a set of ranked strategies that enables an autonomous vehicle to track/trail another vehicle that is trying to break the contact using evasive tactics. The software is efficient (can be run on a laptop), scales well with environmental complexity, and is suitable for use onboard an autonomous vehicle. The software will run in near-real-time (2 Hz) on most commercial laptops. Existing software is usually run offline in a planning mode, and is not used to control an unmanned vehicle actively. JPL has developed a system for AGATE that uses adversarial game theory (AGT) methods (in particular, leader-follower and pursuit-evasion) to enable an autonomous vehicle (AV) to maintain tracking/ trailing operations on a target that is employing evasive tactics. The AV trailing, tracking, and reacquisition operations are characterized by imperfect information, and are an example of a non-zero sum game (a positive payoff for the AV is not necessarily an equal loss for the target being tracked and, potentially, additional adversarial boats). Previously, JPL successfully applied the Nash equilibrium method for onboard control of an autonomous ground vehicle (AGV) travelling over hazardous terrain.

Huntsberger, Terrance L.↗
NASA NTRS1993

Assessment of Russian VSTOL technology evaluating the YAK-38 'FORGER' and YAK-141 'FREESTYLE'

The dissolution of the Former Soviet Union (FSU) created new relationships between the world superpowers. Overnight, the Commonwealth of Independent States (CIS), formed from the remnants of the FSU, began the difficult transformation to a free market society. Military hardware that had once been highly classified and the basis for our own defense planning was now openly marketed at airshows around the world. 'Test' flights were available for potential customers and cooperative partnerships were explored between former adversaries. This environment permitted a visit to the Yakovlev Design Bureau, (YAK) for a vertical/short takeoff and landing (VSTOL) technology assessment. Yakovlev is the FSU's sole Design Bureau with experience in VSTOL aircraft and has developed two flying examples, the YAK-38 'FORGER' and YAK-141 'FREESTYLE'. This article reviews the performance of the YAK-38 'FORGER' and the YAK-141 'FREESTYLE'.

Nalls, Art↗
NASA NTRS2015

Analyzing Cyber Security Threats on Cyber-Physical Systems Using Model-Based Systems Engineering

The spectre of cyber attacks on aerospace systems can no longer be ignored given that many of the components and vulnerabilities that have been successfully exploited by the adversary on other infrastructures are the same as those deployed and used within the aerospace environment. An important consideration with respect to the mission/safety critical infrastructure supporting space operations is that an appropriate defensive response to an attack invariably involves the need for high precision and accuracy, because an incorrect response can trigger unacceptable losses involving lives and/or significant financial damage. A highly precise defensive response, considering the typical complexity of aerospace environments, requires a detailed and well-founded understanding of the underlying system where the goal of the defensive response is to preserve critical mission objectives in the presence of adversarial activity. In this paper, a structured approach for modeling aerospace systems is described. The approach includes physical elements, network topology, software applications, system functions, and usage scenarios. We leverage Model-Based Systems Engineering methodology by utilizing the Object Management Group's Systems Modeling Language to represent the system being analyzed and also utilize model transformations to change relevant aspects of the model into specialized analyses. A novel visualization approach is utilized to visualize the entire model as a three-dimensional graph, allowing easier interaction with subject matter experts. The model provides a unifying structure for analyzing the impact of a particular attack or a particular type of attack. Two different example analysis types are demonstrated in this paper: a graph-based propagation analysis based on edge labels, and a graph-based propagation analysis based on node labels.

MBSE↗
NASA NTRS1992

Wrap-up session

Listening to the case studies that were presented it became quite evident that the best data management systems were the ones where data managers and research scientists worked as a team developed in the early stages of project planning. Examples that were given included WOCE Data Assembly Centres e.g., Drifters, the Global Temperature Salinity Pilot Project (GTSPP) collaboration with Joint Analyses Centres in the U.S. and Australia, and JGOFS/BOFS development of Topical Centres. While each of these has some elements unique to the project, each had brought together 'teams' of Principal Investigators (PI's) and data management experts at an early stage of project development. Conversely, projects which had considered data management as a totally separate activity with lower priority often failed to provide the service required to meet scientific objectives. Therefore, the following actions should be brought to the attention of relevant groups within the IOC and other international organizations: (1) Publicize, at the national and international level, underway data/scientist collaborations that may be used as models in planning for the future. (2) Reduce adversarial situations where data managers and scientists appear to be in competition. (3) Colocation and other forms of collaboration often results in very high quality data sets and more timely data submission. Improved timeliness of data submissions was a common theme throughout the workshop and must be considered an important element in all future plans. Improvements in timely submission of data were noted. In order to continue this trend the advantages of timely submission of data must be stressed to those planning new ocean science projects.

Holland, Geoffrey↗