Search NASA⌕ Search

SEARCH · Search NASA

Results for “autonomy”

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 343 records · Page 19
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re-combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗
NASA NTRS2025

Cognitive Engine One: A Cross-Layer Framework for Autonomy in Multi-Provider Space Communications Environments

Spacecraft information needs, along with the communications environments in which data transfers occur, are becoming increasingly dynamic. Earth orbit is served by dozens of ground station and relay satellite providers – each with unique protocols and service capabilities. In this context, we present a system to automate end-to-end space communications across the protocol stack for each of several providers. The proposed system schedules contacts with providers, configures point-to-point RF links, and ensures data is transferred to its destination. Data monitoring and rescheduling provide an automated failover capability in the event of unsuccessful contacts. We verify system performance in a high-fidelity emulation testbed. Results from several scenarios demonstrate favorable system performance across a variety of mission use cases.

space communications↗
NASA NTRS1978

Sensor data autonomy

'Smart' sensors onboard NASA space missions will require variable data output bandwidth as they respond to phenomena of interest. An Instrument Telemetry Packet (ITP) approach has been developed which encodes experimental instrument data into an autonomous data package, along with pertinent engineering parameters and ancillary data (time, position, attitude, etc.). New requirements for onboard concentration and buffering, as well as for end-to-end error control, arise from this approach. Emphasis is placed on packet protocols compatible with the data link standard ADCCP, to enable one set of ground support equipment to readily support instrument development, launch site checkout and mission operations phases.

Greene, E. P.↗
NASA NTRS1983

Autonomy and automation for Space Station housekeeping and maintenance functions

The Space Station crew will be a critical resource for economical operation of science and commercial payloads. Core station housekeeping and maintenance functions should be provided in a manner that requires a minimum of crew interaction. This paper outlines a prospective functional architecture for allocation of autonomous and automated control of these functions and discusses implementation issues arising from safety of manned operations, integration test requirements, and evolution of future station capabilities.

Turner, P. R.↗
NASA NTRS1984

Space Station automation and autonomy

As the complexity of NASA's planned Space Station design grows, decision-making must be transferred from the crew to an onboard computer system devised for maximum man/machine interactions productivity. The Space Station's electrical power subsystem is presently taken as an exemplary case of design evolution from the manual, through the automated, to the fully autonomous control regimes.

Carlisle, R. F.↗
NASA NTRS1984

Systems view of power systems autonomy

A Space Station will involve the formation and sustained operation of an assembly of humans and machines in space for a period of 10-20 years. Technology and mission studies of a permanently manned, evolutionary Space Station have identified the need for automated and eventually some degree of autonomous systems operation. A Space Station power system will have a high degree of interaction with other onboard systems which will act as power loads. By examining the evolution of an operational power system from a systems viewpoint through increasing degrees of automation the system and technology requirements are identified for an evolutionary system.

Anderson, J. L.↗
NASA NTRS1986

Study of onboard expert systems to augment space shuttle and space station autonomy

The feasibility of onboard crew activity planning was examined. The use of expert systems technology to aid crewmembers in locating stowed equipment was also investigated. The crew activity planning problem, along with a summary of past and current research efforts, was discussed in detail. The requirements and specifications used to develop the crew activity planning system was also defined. The guidelines used to create, develop, and operate the MFIVE Crew Scheduler and Logistics Clerk were discussed. Also discussed is the mathematical algorithm, used by the MFIVE Scheduler, which was developed to aid in optimal crew activity planning.

Kurtzman, C. R.↗
NASA NTRS1986

Artificial intelligence for Space Station automation: Crew safety, productivity, autonomy, augmented capability

Artificial intelligence (AI) R&D projects for the successful and efficient operation of the Space Station are described. The book explores the most advanced AI-based technologies, reviews the results of concept design studies to determine required AI capabilities, details demonstrations that would indicate the existence of these capabilities, and develops an R&D plan leading to such demonstrations. Particular attention is given to teleoperation and robotics, sensors, expert systems, computers, planning, and man-machine interface.

Firschein, O.↗
NASA NTRS1987

Applications of expert systems for satellite autonomy

Some aspects of the on-board application of expert systems in artificial satellites are discussed. The activities of the study, which include the implementation of two prototypes on a dedicated artificial intelligence machine, are described. The general implications of the experience are then discussed. These concern the interrelationship between the expert system and the architecture of the satellite and the expert system's impact on the mission definition phase of the satellite lifecycle. The main obstacles that need to be overcome before operational use of onboard expert systems can take place are discussed.

Ciarlo, A.↗
NASA NTRS1989

Analysis of the plugging of the systems autonomy demonstration project brassboard filters

A fine gray powder was clogging the brassboard filters. The powder appeared to be residue from a galvanic corrosive attack by ammonia of the aluminum and stainless steel components in the system. The corrosion was caused by water and chlorine that had entered into the system and combined with the ammonia. This combination made an electrolyte and a corrosive agent of the ammonia that attacked the metals in the system. The corroded material traveled through the system with the ammonia and clogged the filters. Key conclusions are: the debris collecting in the filters is a by-product of galvanic corrosion; the debris is principally corroded aluminum and stainless from the system; and galvanic corrosion occurred from water and chlorine that entered the system during normal and/or extreme operating and servicing conditions. Key recommendations are: use only one metal in the ammonia system-titanium, aluminum, or stainless steel; make the system as air-tight as possible (replace fittings with welded joints); and replace electron paramagnetic resonance (EPR) O-rings with neoprene O-rings, and do not use freon to clean system components.

Clay, John C.↗
NASA NTRS1989

Enhancing aerospace systems autonomy through predictive monitoring

The quick and reliable detection of anomalous behavior in aerospace systems is addressed. Ways to adjust nominal sensor value expectations dynamically, taking into account the changing operating context of the system, are considered. How to utilize sensors selectively, determining which subset of the available sensors to use at any given time to verify nominal operation efficiently without processing a prohibitive amount of data, is examined.

Doyle, Richard J.↗
NASA NTRS1988

Machine intelligence and autonomy for aerospace systems

The present volume discusses progress toward intelligent robot systems in aerospace applications, NASA Space Program automation and robotics efforts, the supervisory control of telerobotics in space, machine intelligence and crew/vehicle interfaces, expert-system terms and building tools, and knowledge-acquisition for autonomous systems. Also discussed are methods for validation of knowledge-based systems, a design methodology for knowledge-based management systems, knowledge-based simulation for aerospace systems, knowledge-based diagnosis, planning and scheduling methods in AI, the treatment of uncertainty in AI, vision-sensing techniques in aerospace applications, image-understanding techniques, tactile sensing for robots, distributed sensor integration, and the control of articulated and deformable space structures.

Heer, Ewald↗