Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Autonomie”

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 649 records · Page 36
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

System control of an autonomous planetary mobile spacecraft

The goal is to suggest the scheduling and control functions necessary for accomplishing mission objectives of a fairly autonomous interplanetary mobile spacecraft, while maximizing reliability. Goals are to provide an extensible, reliable system conservative in its use of on-board resources, while getting full value from subsystem autonomy, and avoiding the lure of ground micromanagement. A functional layout consisting of four basic elements is proposed: GROUND and SYSTEM EXECUTIVE system functions and RESOURCE CONTROL and ACTIVITY MANAGER subsystem functions. The system executive includes six subfunctions: SYSTEM MANAGER, SYSTEM FAULT PROTECTION, PLANNER, SCHEDULE ADAPTER, EVENT MONITOR and RESOURCE MONITOR. The full configuration is needed for autonomous operation on Moon or Mars, whereas a reduced version without the planning, schedule adaption and event monitoring functions could be appropriate for lower-autonomy use on the Moon. An implementation concept is suggested which is conservative in use of system resources and consists of modules combined with a network communications fabric. A language concept termed a scheduling calculus for rapidly performing essential on-board schedule adaption functions is introduced.

Dias, William C.↗
NASA NTRS1992

Software design for automated assembly of truss structures

Concern over the limited intravehicular activity time has increased the interest in performing in-space assembly and construction operations with automated robotic systems. A technique being considered at LaRC is a supervised-autonomy approach, which can be monitored by an Earth-based supervisor that intervenes only when the automated system encounters a problem. A test-bed to support evaluation of the hardware and software requirements for supervised-autonomy assembly methods was developed. This report describes the design of the software system necessary to support the assembly process. The software is hierarchical and supports both automated assembly operations and supervisor error-recovery procedures, including the capability to pause and reverse any operation. The software design serves as a model for the development of software for more sophisticated automated systems and as a test-bed for evaluation of new concepts and hardware components.

Herstrom, Catherine L.↗
NASA NTRS1991

A safety-based decision making architecture for autonomous systems

Engineering systems designed specifically for space applications often exhibit a high level of autonomy in the control and decision-making architecture. As the level of autonomy increases, more emphasis must be placed on assimilating the safety functions normally executed at the hardware level or by human supervisors into the control architecture of the system. The development of a decision-making structure which utilizes information on system safety is detailed. A quantitative measure of system safety, called the safety self-information, is defined. This measure is analogous to the reliability self-information defined by McInroy and Saridis, but includes weighting of task constraints to provide a measure of both reliability and cost. An example is presented in which the safety self-information is used as a decision criterion in a mobile robot controller. The safety self-information is shown to be consistent with the entropy-based Theory of Intelligent Machines defined by Saridis.

Musto, Joseph C.↗
NASA NTRS1991

On-board fault management for autonomous spacecraft

The dynamic nature of the Cargo Transfer Vehicle's (CTV) mission and the high level of autonomy required mandate a complete fault management system capable of operating under uncertain conditions. Such a fault management system must take into account the current mission phase and the environment (including the target vehicle), as well as the CTV's state of health. This level of capability is beyond the scope of current on-board fault management systems. This presentation will discuss work in progress at TRW to apply artificial intelligence to the problem of on-board fault management. The goal of this work is to develop fault management systems. This presentation will discuss work in progress at TRW to apply artificial intelligence to the problem of on-board fault management. The goal of this work is to develop fault management systems that can meet the needs of spacecraft that have long-range autonomy requirements. We have implemented a model-based approach to fault detection and isolation that does not require explicit characterization of failures prior to launch. It is thus able to detect failures that were not considered in the failure and effects analysis. We have applied this technique to several different subsystems and tested our approach against both simulations and an electrical power system hardware testbed. We present findings from simulation and hardware tests which demonstrate the ability of our model-based system to detect and isolate failures, and describe our work in porting the Ada version of this system to a flight-qualified processor. We also discuss current research aimed at expanding our system to monitor the entire spacecraft.

Fesq, Lorraine M.↗
NASA NTRS1992

A distributed telerobotics system for space operations

Robotic systems for space operations will require a combination of teleoperation, closely supervised autonomy, and loosely supervised autonomy. They may involve multiple robots, multiple controlling sites, and long communication delays. We have constructed a distributed telerobotics system as a framework for studying these problems. Our system is based on a modular interconnection scheme which allows the components of either manual or autonomous control systems to communicate and share information. It uses a wide area network to connect robots and operators at several different sites. This presentation will describe the structure of our system, the components used in our configurations, and results of some of our teleoperation experiments.

Wise, James D.↗
NASA NTRS1990

Space Station module Power Management And Distribution (PMAD) system

This project consists of several tasks which are unified toward experimentally demonstrating the operation of a highly autonomous, user-supportive power management and distribution system for Space Station Freedom (SSF) habitation/laboratory modules. This goal will be extended to a demonstration of autonomous, cooperative power system operation for the whole SSF power system through a joint effort with NASA's Lewis Research Center, using their Autonomous Power System. Short term goals for the space station module power management and distribution include having an operational breadboard reflecting current plans for SSF, improving performance of the system communications, and improving the organization and mutability of the artificial intelligence (AI) systems. In the middle term, intermediate levels of autonomy will be added, user interfaces will be modified, and enhanced modeling capabilities will be integrated in the system. Long term goals involve conversion of all software into Ada, vigorous verification and validation efforts and, finally, seeing an impact of this research on the operation of SSF. Conversion of the system to a DC Star configuration is now in progress, and should be completed by the end of October, 1989. This configuration reflects the latest SSF module architecture. Hardware is now being procured which will improve system communications significantly. The Knowledge-Based Management System (KBMS) is initially developed and the rules from FRAMES have been implemented in the KBMS. Rules in the other two AI systems are also being grouped modularly, making them more tractable, and easier to eventually move into the KBMS. Adding an intermediate level of autonomy will require development of a planning utility, which will also be built using the KBMS. These changes will require having the user interface for the whole system available from one interface. An Enhanced Model will be developed, which will allow exercise of the system through the interface without requiring all of the power hardware to be operational. The functionality of the AI systems will continue to be advanced, including incipient failure detection. Ada conversion will begin with the lowest level processor (LLP) code. Then selected pieces of the higher level functionality will be recorded in Ada and, where possible, moved to the LLP level. Validation and verification will be done on the Ada code, and will complete sometimes after completion of the Ada conversion.

Walls, Bryan↗
NASA NTRS1990

TEXSYS

The Systems Autonomy Demonstration Project has recently completed a major test and evaluation of TEXSYS, a knowledge-based system (KBS) which demonstrates real-time control and FDIR for the Space Station Freedom thermal control system test-bed. TEXSYS is the largest KBS ever developed by NASA and offers a unique opportunity for the study of technical issues associated with the use of advanced KBS concepts including: model-based reasoning and diagnosis, quantitative and qualitative reasoning, integrated use of model-based and rule-based representations, temporal reasoning, and scale-up performance issues. TEXSYS represents a major achievement in advanced automation that has the potential to significantly influence Space Station Freedom's design for the thermal control system. An overview of the Systems Autonomy Demonstration Project, the thermal control system test-bed, the TEXSYS architecture, preliminary test results, and thermal domain expert feedback are presented.

Bull, John↗
NASA NTRS1993

PTTI-aided ephemeris calculation and rapid data link acquisition for manned space flight

Complexity of future manned space flight mission control can be significantly reduced by integrating GPS, the PTTI source, into telemetry, tracking, and command (TT&C). Future telecommunications, space tracking electronic intelligence, metrology, navigation, and data acquisition will thereby be served, including: on-board ephemeris determination, reduced synchronization time for time division multiple access (TDMA) links, and in-flight clock calibration, increasing on-board autonomy and reducing ground support costs. Manned space transportation through the first quarter of the 21st century will probably depend on a mix of vehicles, including the Advanced Manned Launch System (AMLS), the Personnel Launch System (PLS), and continued use of the Shuttle Fleet. Precise Ephemeris is important on-board for mission success, status monitoring, also for rendezvous and docking. Use of GPS can eliminate ground based tracking/processing, enhancing autonomy and reducing communications bandwidth. GPS time can simplify complicated functions used in bandwidth efficient time division multiple access (TDMA) communications, such as: precise and realtime synchronization of receive reference timing, transmit-timing and acquisition control, unique synchronization word (UW) detection, and elastic buffering. High clock accuracy provides increased signal-to-noise (S/N) ratio during acquisition, permitting narrower acquisition frequency and time windows. Spaceborne systems requirements to provide capabilities such as: refinement of the GEM-72 gravity model based on satellite tracking observations from ATS-6 to GEOS-3, relativistic clock experiments, NASA crustal dynamics program for developing space geodetic techniques to study the earth's crust, its gravity field, and earthquake mechanisms, and multi-disciplinary space geodetic tracking for studying global climatic changes are also reviewed.

Anderman, Alfred↗
NASA NTRS1993

Performance measures from the explorer platform berthing experiment

The Explorer Platform is a Modular Mission Spacecraft: it has several subunits that are designed to be replaced on orbit. The Goddard Space Flight Center Robotics Lab undertook an experiment to evaluate various robotic approaches to replacing one of the units; a large (approximately 1 meter by 1 meter by 0.5 meter) power box. The hardware consists of a Robotics Research Corporation K-1607 (RRC) manipulator mounted on a large gantry robot, a Kraft handcontroller for teleoperation of RRC, a Lightweight Servicing Tool (LST) mounted on the RRC, and an Explorer Platform mockup (EP) with a removable box (MMS) that has fixtures that mate with the LST. Sensors include a wrist wrench sensor on the RRC and Capaciflectors mounted on the LST and the MMS. There are also several cameras, but no machine vision is used. The control system for the RRC is entirely written by Goddard; it consists of Ada code on three Multibus I 386/387 CPU boards doing the real-time robot control, and C on a 386 PC processing Capaciflector data. The gantry is not moved during this experiment. The task is the exchange of the MMS; it is removed and replaced. This involves four basic steps: mating the LST to the MMS, demating the MMS from the EP, mating the MMS to the EP, and demating the LST form the MMS. Each of the mating steps must be preceeded by an alignment to bring the mechanical fixtures within their capture range. Two basic approaches to alignment are explored: teleoperation with the operator viewing thru cameras, and Capaciflector based autonomy. To evaluate the two alignment approaches, several runs were run with each approach and the final pose was recorded. Comparing this to the ideal alignment pose gives accuracy and repeatability data. In addition the wrenches exerted during the mating tasks were recorded; this gives information on how the alignment step affects the mating step. There are also two approaches to mating; teleoperation, and impedance based autonomy. The wrench data taken during mating using these two approaches is used to evaluate them. Section 2 describes the alignment results, section 3 describes the mating results, and finally Section 4 gives some conclusions.

Leake, Stephen↗
NASA NTRS1994

Space/ground systems as cooperating agents

Within NASA and the European Space Agency (ESA) it is agreed that autonomy is an important goal for the design of future spacecraft and that this requires on-board artificial intelligence. NASA emphasizes deep space and planetary rover missions, while ESA considers on-board autonomy as an enabling technology for missions that must cope with imperfect communications. ESA's attention is on the space/ground system. A major issue is the optimal distribution of intelligent functions within the space/ground system. This paper describes the multi-agent architecture for space/ground systems (MAASGS) which would enable this issue to be investigated. A MAASGS agent may model a complete spacecraft, a spacecraft subsystem or payload, a ground segment, a spacecraft control system, a human operator, or an environment. The MAASGS architecture has evolved through a series of prototypes. The paper recommends that the MAASGS architecture should be implemented in the operational Dutch Utilization Center.

Grant, T. J.↗
NASA NTRS1994

Space Station Module Power Management and Distribution System (SSM/PMAD)

This report provides an overview of the Space Station Module Power Management and Distribution (SSM/PMAD) testbed system and describes recent enhancements to that system. Four tasks made up the original contract: (1) common module power management and distribution system automation plan definition; (2) definition of hardware and software elements of automation; (3) design, implementation and delivery of the hardware and software making up the SSM/PMAD system; and (4) definition and development of the host breadboard computer environment. Additions and/or enhancements to the SSM/PMAD test bed that have occurred since July 1990 are reported. These include: (1) rehosting the MAESTRO scheduler; (2) reorganization of the automation software internals; (3) a more robust communications package; (4) the activity editor to the MAESTRO scheduler; (5) rehosting the LPLMS to execute under KNOMAD; implementation of intermediate levels of autonomy; (6) completion of the KNOMAD knowledge management facility; (7) significant improvement of the user interface; (8) soft and incipient fault handling design; (9) intermediate levels of autonomy, and (10) switch maintenance.

Miller, William↗
NASA NTRS1996

Cost efficient operations: Challenge from NASA administrator and lessons learned from hunting sacred cows

The conclusions and recommendations that resulted from NASA's Hunting Sacred Cows Workshop are summarized, where a sacred cow is a belief or assumption that is so well established that it appears to be unreasonably immune to criticism. A link was identified between increased complexity and increased costs, especially in relation to automation and autonomy. An identical link was identified for outsourcing and commercialization. The work of NASA's Cost Less team is reviewed. The following conclusions were stated by the Cost Less team and considered at the workshop: the way Nasa conducts business must change; NASA makes its best contributions to the public areas not addressed by other government organizations; the management tool used for the last 30 years is no longer suitable; the most important work on any program or project is carried out before the development or operations stages; automation should only be used to achieve autonomy if the reasons for automation are well understood, and NASA's most critical resources are its personnel.

Hornstein, Rhoda Shaller↗
NASA NTRS1999

Grand Challenge Problems in Real-Time Mission Control Systems for NASA's 21st Century Missions

Space missions of the 21st Century will be characterized by constellations of distributed spacecraft, miniaturized sensors and satellites, increased levels of automation, intelligent onboard processing, and mission autonomy. Programmatically, these missions will be noted for dramatically decreased budgets and mission development lifecycles. Current progress towards flexible, scaleable, low-cost, reusable mission control systems must accelerate given the current mission deployment schedule, and new technology will need to be infused to achieve desired levels of autonomy and processing capability. This paper will discuss current and future missions being managed at NASA's Goddard Space Flight Center in Greenbelt, MD. It will describe the current state of mission control systems and the problems they need to overcome to support the missions of the 21st Century.

Pfarr, Barbara B.↗
NASA NTRS2000

Formal Analysis of the Remote Agent Before and After Flight

This paper describes two separate efforts that used the SPIN model checker to verify deep space autonomy flight software. The first effort occurred at the beginning of a spiral development process and found five concurrency errors early in the design cycle that the developers acknowledge would not have been found through testing. This effort required a substantial manual modeling effort involving both abstraction and translation from the prototype LISP code to the PROMELA language used by SPIN. This experience and others led to research to address the gap between formal method tools and the development cycle used by software developers. The Java PathFinder tool which directly translates from Java to PROMELA was developed as part of this research, as well as automatic abstraction tools. In 1999 the flight software flew on a space mission, and a deadlock occurred in a sibling subsystem to the one which was the focus of the first verification effort. A second quick-response "cleanroom" verification effort found the concurrency error in a short amount of time. The error was isomorphic to one of the concurrency errors found during the first verification effort. The paper demonstrates that formal methods tools can find concurrency errors that indeed lead to loss of spacecraft functions, even for the complex software required for autonomy. Second, it describes progress in automatic translation and abstraction that eventually will enable formal methods tools to be inserted directly into the aerospace software development cycle.

Havelund, Klaus↗
NASA NTRS2000

ISS Payload Operations: The Need for and Benefit of Responsive Planning

International Space Station (ISS) payload operations are controlled through implementation of a payload operations plan. This plan, which represents the defined approach to payload operations in general, can vary in terms of level of definition. The detailed plan provides the specific sequence and timing of each component of a payload's operations. Such an approach to planning was implemented in the Spacelab program. The responsive plan provides a flexible approach to payload operations through generalization. A responsive approach to planning was implemented in the NASA/Mir Phase 1 program, and was identified as a need during the Skylab program. The current approach to ISS payload operations planning and control tends toward detailed planning, rather than responsive planning. The use of detailed plans provides for the efficient use of limited resources onboard the ISS. It restricts flexibility in payload operations, which is inconsistent with the dynamic nature of the ISS science program, and it restricts crew desires for flexibility and autonomy. Also, detailed planning is manpower intensive. The development and implementation of a responsive plan provides for a more dynamic, more accommodating, and less manpower intensive approach to planning. The science program becomes more dynamic and responsive as the plan provides flexibility to accommodate real-time science accomplishments. Communications limitations and the crew desire for flexibility and autonomy in plan implementation are readily accommodated with responsive planning. Manpower efficiencies are accomplished through a reduction in requirements collection and coordination, plan development, and maintenance. Through examples and assessments, this paper identifies the need to transition from detailed to responsive plans for ISS payload operations. Examples depict specific characteristics of the plans. Assessments identify the following: the means by which responsive plans accommodate the dynamic nature of science programs and the crew desire for flexibility; the means by which responsive plans readily accommodate ISS communications constraints; manpower efficiencies to be achieved through use of responsive plans; and the implications of responsive planning relative to resource utilization efficiency.

Nahay, Ed↗
NASA NTRS1999

Deep Space Control Challenges of the New Millennium

The exploration of deep space presents a variety of significant control challenges. Long communication delays coupled with challenging new science objectives require high levels of system autonomy and increasingly demanding pointing and control capabilities. Historically, missions based on the use of a large single spacecraft have been successful and popular since the early days of NASA. However, these large spacecraft missions are currently being displaced by more frequent and more focused missions based on the use of smaller and less expensive spacecraft designs. This trend drives the need to design smart software and good algorithms which together with the miniaturization of control components will improve performance while replacing the heavier and more expensive hardware used in the past. NASA's future space exploration will also include mission types that have never been attempted before, posing significant challenges to the underlying control system. This includes controlled landing on small bodies (e.g., asteroids and comets), sample return missions (where samples are brought back from other planets), robotic exploration of planetary surfaces (e.g., intelligent rovers), high precision formation flying, and deep space optical interferometry, While the control of planetary spacecraft for traditional flyby and orbiter missions are based on well-understood methodologies, control approaches for many future missions will be fundamentally different. This paradigm shift will require completely new control system development approaches, system architectures, and much greater levels of system autonomy to meet expected performance in the presence of significant environmental disturbances, and plant uncertainties. This paper will trace the motivation for these changes and will layout the approach taken to meet the new challenges. Emerging missions will be used to explain and illustrate the need for these changes.

Bayard, David S.↗
NASA NTRS2000

From Livingstone to SMV: Formal Verification for Autonomous Spacecrafts

To fulfill the needs of its deep space exploration program, NASA is actively supporting research and development in autonomy software. However, the reliable and cost-effective development and validation of autonomy systems poses a tough challenge. Traditional scenario-based testing methods fall short because of the combinatorial explosion of possible situations to be analyzed, and formal verification techniques typically require a tedious, manual modelling by formal method experts. This paper presents the application of formal verification techniques in the development of autonomous controllers based on Livingstone, a model-based health-monitoring system that can detect and diagnose anomalies and suggest possible recovery actions. We present a translator that converts the models used by Livingstone into specifications that can be verified with the SMV model checker. The translation frees the Livingstone developer from the tedious conversion of his design to SMV, and isolates him from the technical details of the SMV program. We describe different aspects of the translation and briefly discuss its application to several NASA domains.

Pecheur, Charles↗
NASA NTRS1997

A Generative Control Capability for a Model-based Executive

This paper describes Burton, a core element of a new generation of goal-directed model-based autonomous executives. This executive makes extensive use of component-based declarative models to analyze novel situations and generate novel control actions both at the goal and hardware levels. It uses an extremely efficient online propositional inference engine to efficiently determine likely states consistent with current observations and optimal target states that achieve high level goals. It incorporates a flexible generative control sequencing algorithm within the reactive loop to bridge the gap between current and target states. The system is able to detect and avoid damaging and irreversible situations, After every control action it uses its model and sensors to detect anomalous situations and immediately take corrective action. Efficiency is achieved through a series of model compilation and online policy construction methods, and by exploiting general conventions of hardware design that permit a divide and conquer approach to planning. The paper presents a formal characterization of Burton's capability, develops efficient algorithms, and reports on experience with the implementation in the domain of spacecraft autonomy. Burton is being incorporated as one of the key elements of the Remote Agent core autonomy architecture for Deep Space One, the first spacecraft for NASA's New Millenium program.

Williams, Brian C.↗