Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Autonomous Systems”

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.

At least 559 records · Page 31
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Application of Artificial Intelligence/Machine Learning to Operations Research

This report examines the transformative impact of Artificial Intelligence (AI) and Machine Learning (ML) on operations research, private industry, and government sectors, highlighting their applications in automating processes, enhancing decision-making, and optimizing complex systems. AI/ML technologies have revolutionized industries through predictive maintenance, supply chain optimization, and autonomous systems, while also advancing public safety and defense operations. However, challenges such as data integrity, model transparency, and the need for human oversight persist, particularly in high-consequence environments. The report emphasizes the critical role of explainable AI (XAI) and human-computer interaction models like Human-in-the-Loop (HITL) and Human-on-the-Loop (HOTL) in fostering trust and accountability. Balancing automation with ethical responsibility and transparency is essential for the continued successful integration of AI/ML into operational and strategic decision-making frameworks.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS2002

Real-Time Embedded Software Verification and Validation 2001

As the space applications become more complex and timing constraints on control actions are more stringent, the task of integrating and testing NASA's real-time systems (such as X-38 Crew Return Vehicle, and certain International Space Station autonomous systems) has become a great challenge. A testing environment where can preserve consistent temporal behaviors as in the target execution must be established for system-level verification and software quality assurance. Our goal is to develop an analysis suite for validation and verification of real-time systems that are used to perform human- in-the-loop control operations during safety-critical missions. The suite will be able to carry out quantitative approaches of coverage diagnostic and temporal behavior evaluation in order to measure test coverage, to optimize test utilization, and to verify timing correctness.

Lee, Yann-Hang↗
NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2011

An Interim Report on NASA's Draft Space Technology Roadmaps

NASA has developed a set of 14 draft roadmaps to guide the development of space technologies under the leadership of the NASA Office of the Chief Technologist (OCT). Each of these roadmaps focuses on a particular technology area (TA). The roadmaps are intended to foster the development of advanced technologies and concepts that address NASA's needs and contribute to other aerospace and national needs. OCT requested that the National Research Council conduct a study to review the draft roadmaps, gather and assess relevant community input, and make recommendations and suggest priorities to inform NASA's decisions as it finalizes its roadmaps. The statement of task states that "based on the results of the community input and its own deliberations, the steering committee will prepare a brief interim report that addresses high-level issues associated with the roadmaps, such as the advisability of modifying the number or technical focus of the draft NASA roadmaps." This interim report, which does not include formal recommendations, addresses that one element of the study charge. NASA requested this interim report so that it would have the opportunity to make an early start in modifying the draft roadmaps based on feedback from the panels and steering committee. The final report will address all other tasks in the statement of task. In particular, the final report will include a prioritization of technologies, will describe in detail the prioritization process and criteria, and will include specific recommendations on a variety of topics, including many of the topics mentioned in this interim report. In developing both this interim report and the final report to come, the steering committee draws on the work of six study panels organized by technical area, loosely following the organization of the 14 roadmaps, as follows: A Panel 1: Propulsion and Power TA01 Launch Propulsion Systems TA02 In-Space Propulsion Technologies TA03 Space Power and Energy Storage Systems TA13 Ground and Launch Systems Processing B Panel 2: Robotics, Communications, and Navigation TA04 Robotics, TeleRobotics, and Autonomous Systems TA05 Communication and Navigation Systems C Panel 3: Instruments and Computing TA08 Science Instruments, Observatories, and Sensor Systems TA11 Modeling, Simulation, Information Technology, and Data Processing D Panel 4: Human Health and Surface Exploration TA06 Human Health, Life Support, and Habitation Systems TA07 Human Exploration Destination Systems E Panel 5: Materials Panel TA10 Nanotechnology TA12 Materials, Structures, Mechanical Systems, and Manufacturing TA14 Thermal Management Systems F Panel 6: Entry, Descent, and Landing Panel TA09 Entry, Descent, and Landing Systems In addition to drawing on the expertise represented on the steering committee and panels, the committee obtained input from each of 14 public workshops held on each of the 14 roadmaps. At these 1-day workshops, invited speakers, guests, and members of the public engaged in discussions on the different technology areas and their value to NASA. Broad community input was also solicited from a public website, where more than 240 public comments were received on the draft roadmaps in response to application of criteria (such as benefit, risk and reasonableness, and alignment with NASA and national goals) that the steering committee established. This interim report reflects the results of deliberations by the steering committee in light of these public inputs as well as additional inputs from the six panels. The steering committee's final report will be completed early in 2012. That report will prioritize the technologies that span the entire scope of the 14 roadmaps and provide additional guidance on crosscutting themes and other relevant topics.

Source record↗
NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a: system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the ciasses of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2017

Formal Assurance for Cognitive Architecture Based Autonomous Agent

Autonomous systems are designed and deployed in different modeling paradigms. These environments focus on specific concepts in designing the system. We focus our effort in the use of cognitive architectures to design autonomous agents to collaborate with humans to accomplish tasks in a mission. Our research focuses on introducing formal assurance methods to verify the behavior of agents designed in Soar, by translating the agent to the formal verification environment Uppaal.

Bhattacharyya, Siddhartha↗
NASA NTRS1990

The Jet Propulsion Laboratory shared control architecture and implementation

A hardware and software environment for shared control of telerobot task execution has been implemented. Modes of task execution range from fully teleoperated to fully autonomous as well as shared where hand controller inputs from the human operator are mixed with autonomous system inputs in real time. The objective of the shared control environment is to aid the telerobot operator during task execution by merging real-time operator control from hand controllers with autonomous control to simplify task execution for the operator. The operator is the principal command source and can assign as much autonomy for a task as desired. The shared control hardware environment consists of two PUMA 560 robots, two 6-axis force reflecting hand controllers, Universal Motor Controllers for each of the robots and hand controllers, a SUN4 computer, and VME chassis containing 68020 processors and input/output boards. The operator interface for shared control, the User Macro Interface (UMI), is a menu driven interface to design a task and assign the levels of teleoperated and autonomous control. The operator also sets up the system monitor which checks safety limits during task execution. Cartesian-space degrees of freedom for teleoperated and/or autonomous control inputs are selected within UMI as well as the weightings for the teleoperation and autonmous inputs. These are then used during task execution to determine the mix of teleoperation and autonomous inputs. Some of the autonomous control primitives available to the user are Joint-Guarded-Move, Cartesian-Guarded-Move, Move-To-Touch, Pin-Insertion/Removal, Door/Crank-Turn, Bolt-Turn, and Slide. The operator can execute a task using pure teleoperation or mix control execution from the autonomous primitives with teleoperated inputs. Presently the shared control environment supports single arm task execution. Work is presently underway to provide the shared control environment for dual arm control. Teleoperation during shared control is only Cartesian space control and no force-reflection is provided. Force-reflecting teleoperation and joint space operator inputs are planned extensions to the environment.

Backes, Paul G.↗
DOE OSTI2020

Neutronic impact of Autonomous Reactivity Control system inclusion in a breed-and-burn core

This work examines the impacts induced in a large breed-and-burn core through the inclusion of Autonomous Reactivity Control (ARC) systems from the neutronics perspective. A combination of numerical and analytical techniques are used to conservatively quantify the reactivity penalty, amount of additional tritium production, and depletion of the system absorber fluid. The reactivity penalty is found to be negligibly small, with the largest impact resulting from the removal of fuel material to make room for the ARC system tubes. Similarly, the depletion of the absorber fluid is found to be negligible compared to the amount of fluid present. It is found that the production of tritium within the active core is also small in comparison to that which is nominally produced, while tritium production within the lower ARC system reservoir may be of concern if not adequately considered during the assembly design phase. This issue is explored and a mitigation technique is proposed. Ultimately this study concludes that there are no issues from the steady-state neutronics perspective preventing incorporation of ARC systems into typical breed-and-burn cores.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2023

CRADA Number NFE-19-07847 with MantaPoole Technologies (CRADA Final Report)

As the world becomes more automated, smart and autonomous systems that utilize advanced 3D machine vision are becoming ever more prevalent. To function autonomously, these smart machines need to be able to identify the “what” and “where” of their application by capturing color and depth information. The color information provides the needed contrast information to identify the “what” of a scene while the depth information allows the smart machine to identify “where” an object in a 3D environment is. To capture both the color and depth information using only a single sensor, MantaPoole Technologies (MPT) is developing a new type of 3D light field camera. The approach leverages MPT’s active micro-optics technology which when aligned and placed over an imaging detector are designed to act as an advanced optical filter that controls the direction of light that reaches the underlying pixels.

47 OTHER INSTRUMENTATION↗
NASA NTRS1988

Technology for human self-sufficiency in space

A proposed Pathfinder program would determine the critical human and technology requirements for human self-sufficiency and productivity on manned and long-duration missions to the moon and Mars. Human health would require countermeasures against weightlessness, protection from space radiation and habitats conducive to psychological well-being. Life support systems would need regeneration of expendable resources, power systems for plant life support and processing; and microbial contaminant control. Operational performance requirements include extravehicular activities suit, interactive systems for shared control between humans and computers, and human-centered semi-autonomous systems.

Anderson, John L.↗
NASA NTRS2014

A Comprehensive Analysis of the X-15 Flight 3-65 Accident

The November 15, 1967, loss of X-15 Flight 3-65-97 (hereafter referred to as Flight 3-65) was a unique incident in that it was the first and only aerospace flight accident involving loss of crew on a vehicle with an adaptive flight control system (AFCS). In addition, Flight 3-65 remains the only incidence of a single-pilot departure from controlled flight of a manned entry vehicle in a hypersonic flight regime. To mitigate risk to emerging aerospace systems, the NASA Engineering and Safety Center (NESC) proposed a comprehensive review of this accident. The goal of the assessment was to resolve lingering questions regarding the failure modes of the aircraft systems (including the AFCS) and thoroughly analyze the interactions among the human agents and autonomous systems that contributed to the loss of the pilot and aircraft. This document contains the outcome of the accident review.

Dennehy, Cornelius J.↗
NASA NTRS1972

Spin stability of dual-spin spacecrafts.

The spin-axis attitude stability in torque-free environment of dual-spin spacecrafts with energy losses in both bodies is studied by analytical means. A new mathematical model, which assumes the high speed rotor to be symmetrical, is introduced and analyzed. The linearized variational system of equations for the model with periodic coefficients is transformed to a kinematically similar autonomous system (according to Floquet and Liapunov) which can be analyzed routinely using established procedure. As an example, this technique is used on a recent mathematical model of the SAS-A spacecraft to establish steady state stability over a wide range of speeds.

Guha, A. K.↗
NASA NTRS2014

Exploration Technologies for Operations

Although the International Space Station (ISS) assembly has been completed, the Operations support teams continue to seek more efficient and effective ways to prepare for and conduct the ISS operations and future exploration missions beyond low earth orbit. This search for improvement has led to a significant collaboration between the NASA research and advanced software development community at NASA Ames Research Center and the Mission Operations community at NASA Johnson Space Center. Since 2001, NASA Ames Research Center has been developing and applying its advanced intelligent systems and human systems integration research to mission operations tools for several of the unmanned Mars missions operations. Since 2006, NASA Ames Research Center has also been developing and applying its advanced intelligent systems and human systems integration research to mission operations tools for manned operations support with the Mission Operations Directorate at NASA Johnson Space Center. This paper discusses the completion of the development and deployment of a variety of intelligent and human systems technologies adopted for manned mission operations. The technologies associated with the projects include advanced software systems for operations and human-centered computing. Human-centered computing looks to the processes and procedures that people do to perform any given job, then attempts to identify opportunities to improve these processes and procedures. In particular, for mission operations, improvements are quantified by specifically identifying how a tool can increase a persons efficiency, enhance a persons functional capability, andor improve the assurance of a persons decisions. The Ames development team has collaborated with the Mission Operations team to identify areas of efficiencies through technology infusion applications in support of the Plan, Train, and Fly activities of human-spaceflight mission operations. The specific applications discussed in this paper are in the areas of mission planning systems, mission operations design modeling and workflow automation, advanced systems monitoring, mission control technologies, search tools, training management tools, spacecraft solar array management, spacecraft power management, and spacecraft attitude planning. We discuss these specific projects between the Ames Research Center and the Johnson Space Centers Mission Operations Directorate, and how these technologies and projects are enhancing the mission operations support for the International Space Station. We also discuss the challenges, problems, and successes associated with long-distance and multi-year development projects between the research team at Ames and the Mission Operations customers at Johnson Space center. Finally, we discuss how these technology infusion applications and underlying technologies might be used in the future to support on-board operations of the crew and spacecraft systems as human exploration expands beyond low earth orbit to destinations in the solar system where communications delays will require more on-board autonomy and planning by the crew. Longer communications delays will require that the ground mission operations support will be primarily strategic in nature, while the tactical level of planning, systems monitoring and control, and failure analysisisolationrecovery will be the responsibility of both the spacecraft autonomous systems and the crew. Our expectation is that the technologies

mission operations↗
NASA NTRS2017

R2U2: Tool Overview

R2U2 (Realizable, Responsive, Unobtrusive Unit) is an extensible framework for runtime System HealthManagement (SHM) of cyber-physical systems. R2U2 can be run in hardware (e.g., FPGAs), or software; can monitorhardware, software, or a combination of the two; and can analyze a range of different types of system requirementsduring runtime. An R2U2 requirement is specified utilizing a hierarchical combination of building blocks: temporal formula runtime observers (in LTL or MTL), Bayesian networks, sensor filters, and Boolean testers. Importantly, the framework is extensible; it is designed to enable definitions of new building blocks in combination with the core structure. Originally deployed on Unmanned Aerial Systems (UAS), R2U2 is designed to run on a wide range of embedded platforms, from autonomous systems like rovers, satellites, and robots, to human-assistive ground systems and cockpits. R2U2 is named after the requirements it satisfies; while the exact requirements vary by platform and mission, the ability to formally reason about realizability, responsiveness, and unobtrusiveness is necessary for flight certifiability, safety-critical system assurance, and achievement of technology readiness levels for target systems. Realizability ensures that R2U2 is suficiently expressive to encapsulate meaningful runtime requirements while maintaining adaptability to run on different platforms, transition between different mission stages, and update quickly between missions. Responsiveness entails continuously monitoring the system under test, real-time reasoning, reporting intermediate status, and as-early-as-possible requirements evaluations. Unobtrusiveness ensures compliance with the crucial properties of the target architecture: functionality, certifiability, timing, tolerances, cost, or other constraints.

Rozier, Kristin Y.↗
NASA NTRS2021

Weather Intelligent Navigation Data and Models for Aviation Planning (WINDMAP)

WINDMAP addresses the emerging needs in the aviation community of providing real-time weather forecasting to improve the safety of low altitude aircraft operations. This is accomplished through the integration of real-time observations from autonomous systems, such as drones and urban air taxis, with numerical weather prediction models and flight management and safety systems. To solve this problem, several technical challenges have been identified. These include (1) developing autonomous UAS capable of conducting observations accurately and reliably; (2) determining the number and frequency of required observations and the sensitivity of these observations in data sparse regions of the lower atmosphere;(3) assimilating dense observational data into models in real-time with sufficient resolution and accuracy; (4) developing novel physics-based reduced order models capable of incorporating diverse data sets; and (5)integrating real-time forecasting into UTM and DAA (detect-and-avoid) architectures for path planning and navigation. The goal of this proposed effort is to demonstrate the value of using small UAS to collect measurements of the dynamic and thermodynamic properties of the lower atmosphere at scales that match or exceed the spatio-temporal resolution of today’s best numerical weather prediction models

Koushik Datta↗
NASA NTRS1991

Expert operator's associate: A knowledge based system for spacecraft control

The Expert Operator's Associate (EOA) project is presented which studies the applicability of expert systems for day-to-day space operations. A prototype expert system is developed, which operates on-line with an existing spacecraft control system at the European Space Operations Centre, and functions as an 'operator's assistant' in controlling satellites. The prototype is demonstrated using an existing real-time simulation model of the MARECS-B2 telecommunication satellite. By developing a prototype system, the extent to which reliability and effectivens of operations can be enhanced by AI based support is examined. In addition the study examines the questions of acquisition and representation of the 'knowledge' for such systems, and the feasibility of 'migration' of some (currently) ground-based functions into future spaceborne autonomous systems.

Nielsen, Mogens↗
NASA NTRS2021

Novel Ways to use the International Spacer Station as an Exploration Analog: International Progress in Planning "ISS4Mars"

In October 2020, International Space Station (ISS) Partner Agencies held a set of international workshops to solicit and develop creative and forward-looking ideas for using the ISS as an analog for preparation for Mars missions during its 3rd decade of operations. The workshops brought together participants from nine international space agencies or organizations, with stakeholders consisting of research managers, discipline experts, technology developers, flight physicians, flight operators, and astronauts. Breakout meetings and brainstorming sessions were conducted focusing on the following topics: Critical hazards and countermeasures for the transit to Mars; gravity transitions and early surface operations; environmental control and life support systems; food systems; human microbiome, microbial monitoring, and planetary protection; medical operations for Mars missions; isolation and confinement; autonomous systems and crew-centered autonomy; and communications delay effects on operations. In many cases the scenarios and approaches identified were compelling but challenging to implement under the current utilization structure used to manage the ISS for experiments. Following the series of workshops, a team of utilization leaders across the ISS partnership worked to compile the workshop recommendations and extract a set of use-cases with their prerequisites and constraints. The work considered the following aspects: what can be effectively done on ISS; which new technologies, approaches and scenarios are feasible; what alternatives could be considered; and what steps should be taken to enable integrated testing and future use of ISS as an analog for Mars missions. The final report will be published so that the use cases can be considered in each agency’s strategic planning processes. This paper will cover the process of international assessment in detail and how this process has influenced and broadened the vision of ISS utilization beyond single experiments to integrated studies and testing for future Mars missions. This approach to international collaboration informs both the next decade of international exploration research on the ISS and advancement of its utilization as an analog for deep space missions. For many of the participating partners, it also helps to frame the strategy for human research in Artemis as we begin planning for human missions to the moon. We conclude with a summary of the progress on the actions in the report and the additional implementation discussions that have occurred across the partnership.

Julie A Robinson↗
NASA NTRS1984

Autonomous Integrated Receive System (AIRS) requirements definition. Volume 3: Performance and simulation

The autonomous and integrated aspects of the operation of the AIRS (Autonomous Integrated Receive System) are discussed from a system operation point of view. The advantages of AIRS compared to the existing SSA receive chain equipment are highlighted. The three modes of AIRS operation are addressed in detail. The configurations of the AIRS are defined as a function of the operating modes and the user signal characteristics. Each AIRS configuration selection is made up of three components: the hardware, the software algorithms and the parameters used by these algorithms. A comparison between AIRS and the wide dynamics demodulation (WDD) is provided. The organization of the AIRS analytical/simulation software is described. The modeling and analysis is for simulating the performance of the PN subsystem is documented. The frequence acquisition technique using a frequency-locked loop is also documented. Doppler compensation implementation is described. The technological aspects of employing CCD's for PN acquisition are addressed.

Chie, C. M.↗