Search NASA⌕ Search

SEARCH · Search NASA

Results for “goal based control”

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 19 records

Safety Verification of a Fault Tolerant Reconfigurable Autonomous Goal-Based Robotic Control System

Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System (MDS), developed at the Jet Propulsion Laboratory, takes a goal-based control approach. In this paper, a method for converting goal network control programs into linear hybrid systems is developed. The linear hybrid system can then be verified for safety in the presence of failures using existing symbolic model checkers. An example task is simulated in MDS and successfully verified using HyTech, a symbolic model checking software for linear hybrid systems.

goal network↗

A UML Profile for State Analysis

State Analysis is a systems engineering methodology for the specification and design of control systems, developed at the Jet Propulsion Laboratory. The methodology emphasizes an analysis of the system under control in terms of States and their properties and behaviors and their effects on each other, a clear separation of the control system from the controlled system, cognizance in the control system of the controlled system's State, goal-based control built on constraining the controlled system's States, and disciplined techniques for State discovery and characterization. State Analysis (SA) introduces two key diagram types: State Effects and Goal Network diagrams. The team at JPL developed a tool for performing State Analysis. The tool includes a drawing capability, backed by a database that supports the diagram types and the organization of the elements of the SA models. But the tool does not support the usual activities of software engineering and design - a disadvantage, since systems to which State Analysis can be applied tend to be very software-intensive. This motivated the work described in this paper: the development of a preliminary Unified Modeling Language (UML) profile for State Analysis. Having this profile would enable systems engineers to specify a system using the methods and graphical language of State Analysis, which is easily linked with a larger system model in SysML (Systems Modeling Language), while also giving software engineers engaged in implementing the specified control system immediate access to and use of the SA model, in the same language, UML, used for other software design. That is, a State Analysis profile would serve as a shared modeling bridge between system and software models for the behavior aspects of the system. This paper begins with an overview of State Analysis and its underpinnings, followed by an overview of the mapping of SA constructs to the UML metamodel. It then delves into the details of these mappings and the constraints associated with them. Finally, we give an example of the use of the profile for expressing an example SA model.

Murray, Alex↗

Knowledge-Based Aircraft Automation: Managers Guide on the use of Artificial Intelligence for Aircraft Automation and Verification and Validation Approach for a Neural-Based Flight Controller

The ultimate goal of this report was to integrate the powerful tools of artificial intelligence into the traditional process of software development. To maintain the US aerospace competitive advantage, traditional aerospace and software engineers need to more easily incorporate the technology of artificial intelligence into the advanced aerospace systems being designed today. The future goal was to transition artificial intelligence from an emerging technology to a standard technology that is considered early in the life cycle process to develop state-of-the-art aircraft automation systems. This report addressed the future goal in two ways. First, it provided a matrix that identified typical aircraft automation applications conducive to various artificial intelligence methods. The purpose of this matrix was to provide top-level guidance to managers contemplating the possible use of artificial intelligence in the development of aircraft automation. Second, the report provided a methodology to formally evaluate neural networks as part of the traditional process of software development. The matrix was developed by organizing the discipline of artificial intelligence into the following six methods: logical, object representation-based, distributed, uncertainty management, temporal and neurocomputing. Next, a study of existing aircraft automation applications that have been conducive to artificial intelligence implementation resulted in the following five categories: pilot-vehicle interface, system status and diagnosis, situation assessment, automatic flight planning, and aircraft flight control. The resulting matrix provided management guidance to understand artificial intelligence as it applied to aircraft automation. The approach taken to develop a methodology to formally evaluate neural networks as part of the software engineering life cycle was to start with the existing software quality assurance standards and to change these standards to include neural network development. The changes were to include evaluation tools that can be applied to neural networks at each phase of the software engineering life cycle. The result was a formal evaluation approach to increase the product quality of systems that use neural networks for their implementation.

Broderick, Ron↗

Task-based configuration control of redundant manipulators

This article establishes new goals for redundancy resolution based on manipulator dynamics and end-effector characteristics. These goals can be accomplished by employing the recently developed configuration control approach. Redundancy resolution is achieved by controlling the joint inertia matrix or the end-effector mass matrix that affect the inertial torques or by reducing the joint torques due to gravity loading and payload. The manipulator mechanical advantages and velocity ratio are also used as performance measurements to be improved by proper utilization of redundancy. Furthermore, end-effector compliance, sensitivity, and impulsive force at impact are introduced as redundancy-resolution criteria. The new goals for redundancy resolution presented in this article allow a more efficient utilization of the redundant joints based on the desired task requirements. Simple case studies using computer simulations are described for illustration.

Seraji, Homayoun↗

Rule-based fault-tolerant flight control

Fault tolerance has always been a desirable characteristic of aircraft. The ability to withstand unexpected changes in aircraft configuration has a direct impact on the ability to complete a mission effectively and safely. The possible synergistic effects of combining techniques of modern control theory, statistical hypothesis testing, and artificial intelligence in the attempt to provide failure accommodation for aircraft are investigated. This effort has resulted in the definition of a theory for rule based control and a system for development of such a rule based controller. Although presented here in response to the goal of aircraft fault tolerance, the rule based control technique is applicable to a wide range of complex control problems.

Handelman, Dave↗

Development of a space qualified high reliability rotary actuator. Volume 1: Technical report

A space-qualified, high reliability, 150 ft-lb rated torque rotary acutator based on the Bendix Dynavector drive concept was developed. This drive is an integrated variable reluctance orbit motor-epicyclic transmission actuator. The performance goals were based on future control moment gyro torquer applications and represent a significant advancement in the torque-to-weight ratio, backlash, inertia and response characteristics of electric rotary drives. The program accomplishments have been in two areas: (1) the development of two high ratio (818:1) actuator configurations (breadboard and flightweight), and (2) the invention of a reliable proximity switch sensor system for self-commutation without use of optical or electrical brush techniques.

Presley, R. W.↗

Development of a space qualified high reliability rotary actuator for spaceflight use. Volume 2: Appendices to technical report

A space-qualified, high reliability, 150 ft-lb rated torque rotary actuator is described. This drive is an integrated variable reluctance orbit motor-epicyclic transmission actuator. The performance goals were based on future control moment gyrotorquer applications and represent an advancement in the torque-to-weight ratio, backlash, inertia and response characteristics of electric rotary drives. The program accomplishments have been in two areas (1) the development of two high ratio (818:1) actuator configurations (breadboard and flightweight) and (2) the invention of a reliable proximity switch sensor system for self-commutation without use of optical or electrical brush techniques.

Presley, R. W.↗

Evaluation of Performance, Fatigue and Workload during Real-time, Reactive Telerobotic Mission Control Operations

Telerobotic operations involve a user operating a robot from a different location from where the activity is taking place. It can be difficult for humans to maintain performance when faced with physiological stressors, such as fatigue or illness. Operations require vigilance for extended periods, raising safety concerns surrounding operator’s fatigue and workload. Every hour of wakefulness increases the drive to sleep, causing decreased reaction time (RT), increased lapses in attention (RT > 500 ms), and decreased memory capability. The NASA Task Load Index (NASA-TLX) was created to evaluate the multiple attributes surrounding workload (e.g., mental and physical demands). The upcoming Volatiles Investigating Polar Exploration Rover (VIPER) mission involves remotely controlling a lunar vehicle from an Earth-based mission control station. The goal of VIPER is to excavate the moon for volatiles (water) deep in the surface near the South Pole for a 100-day, continuous operation.

Fatigue↗

Model-Free Dynamic Voltage Control of a Synchronous Generator-Based Microgrid

The main goal of this paper is to present a new dynamic voltage stability mechanism, based on model-free control (MFC), for effective control and coordination of synchronous generator (SG)-based reactive power resources in a microgrid setting. MFC has shown successful operation in various domains, and this paper presents its first use in the voltage stability of a power system. It is utilized as an online controller to achieve the dynamic voltage stability of a microgrid system under different disturbances and fault conditions. A 21-bus microgrid system fed by SG-based distributed energy resources (DERs) is considered as a use case study. The overall dynamic voltage stability of the microgrid system is investigated using time-domain dynamic simulations during emergency, hazard, and disaster events. Simulation results show that there are significant improvements and enhancements on the dynamic load bus voltage profiles of the microgrid system by the effective model-free control and coordination of the reactive power reserves of the SG-based DERs.

Hatipoglu, Kenan↗

Kinematic functions for redundancy resolution using configuration control

The invention fulfills new goals for redundancy resolution based on manipulator dynamics and end-effector characteristics. These goals are accomplished by employing the recently developed configuration control approach. Redundancy resolution is achieved by controlling the joint inertia matrix of the end-effector mass matrix that affect the inertial torques or by reducing the joint torques due to gravity loading and payload. The manipulator mechanical-advantage and velocity-ratio are also used as performance measures to be improved by proper utilization of redundancy. Furthermore, end-effector compliance, sensitivity, and impulsive force at impact are introduced as redundancy resolution criteria. The new goals for redundancy resolution allow a more efficient utilization of the redundant joints based on the desired task requirements.

Seraji, Homayoun↗

A flexible telerobotic system for space operations

This paper describes the objective and design of a proposed goal-oriented knowledge-based telerobotic system for space operations. This design effort encompasses the elements of the system executive and user interface and the distribution and general structure of the knowledge base, the displays, and the task sequencing. The objective of the design effort is to provide an expandable structure for a telerobotic system that provides cooperative interaction between the human operator and computer control. The initial phase of the implementation provides a rule-based, goal-oriented script generator to interface to the existing control modes of a telerobotic research system, in the Intelligent Systems Research Lab at NASA Research Center.

Sliwa, Nancy Orlando↗

A flexible telerobotic system for space operations

The objective and design of a proposed goal-oriented knowledge-based telerobotic system for space operations is described. This design effort encompasses the elements of the system executive and user interface and the distribution and general structure of the knowledge base, the displays, and the task sequencing. The objective of the design effort is to provide an expandable structure for a telerobotic system that provides cooperative interaction between the human operator and computer control. The initial phase of the implementation provides a rule-based, goal-oriented script generator to interface to the existing control modes of a telerobotic research system, in the Intelligent Systems Research Lab at NASA Research Center.

Sliwa, N. O.↗

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.↗

A unifying framework for systems modeling, control systems design, and system operation

Current engineering practice in the analysis and design of large-scale multi-disciplinary control systems is typified by some form of decomposition- whether functional or physical or discipline-based-that enables multiple teams to work in parallel and in relative isolation. Too often, the resulting system after integration is an awkward marriage of different control and data mechanisms with poor end-to-end accountability. System of systems engineering, which faces this problem on a large scale, cries out for a unifying framework to guide analysis, design, and operation. This paper describes such a framework based on a state-, model-, and goal-based architecture for semi-autonomous control systems that guides analysis and modeling, shapes control system software design, and directly specifies operational intent. This paper illustrates the key concepts in the context of a large-scale, concurrent, globally distributed system of systems: NASA's proposed Array-based Deep Space Network.

systems modeling↗

Investigation of the Crystal Growth of Dielectric Materials by the Bridgman Technique Using Vibrational Control

The principal goal of this ground-based program, which started on February 1, 1998 and concluded on April 30, 2002, was to investigate the influence of low frequency vibrations on the fluid flow and quality of dielectric oxide crystals grown by the vertical Bridgman method. This experimental program was a collaborative effort between Stanford University and the General Physics Institute of the Russian Academy of Sciences in Moscow, and included a strong emphasis on both physical modeling and the growth of some technologically important materials. Additionally it was carried out initially in collaboration with the theoretical and numerical investigations of A.Fedoseyev and I.Alexander (ongoing in another NASA sponsored program). This latter program involved a study of vibro-convective buoyancy-driven flows in cylindrical configurations with the expectation of being able to use vibrational flows to control buoyancy driven fluid transport to off-set the effect of "g-jitter" during microgravity Bridgman crystal growth. These two programs taken together, were designed to lead to a new parametric control variable which can be used to either suppress or control convection, and thereby heat and mass transport during Bridgman crystal growth. It was expected to be effective in either a terrestrial or space environment.

Feigelson, Robert S.↗

Anisotropic Goal-Based Mesh Adaptation Metric Clarification and Development

Adaptive unstructured mesh techniques have a limited, but growing impact on production analysis workflows to control discretization error for reliable simulation results. Multiple independent implementations of flow solvers, anisotropic metric construction methods, and anisotropic mesh adaptation mechanics have matured. Goal-based metrics target estimated error in output functions, such as lift and drag, through the guidance of an adjoint solution. A unification of goal-based anisotropic metrics is presented for steady viscous flows, which is an active area of research. These goal-based metrics drive robust and efficient anisotropic mesh adaptation for the calculation of output functions. The super-convergent functional output error behavior of stabilized finite-element methods is exploited without a formal proof, and evidence of super-convergence is shown in numerical experiments. Mesh adapted drag and lift outputs for two simple bodies in compressible viscous flow show convergence of error to less than a single drag count. Asymptotic behavior established for relatively coarse meshes shows the efficiency of this goal-based metric when compared to solution interpolation error control and expert-guided meshing. Anisotropic mesh adaptation techniques are applied to a transport aircraft in a high-lift configuration where variation between approaches decreases with mesh refinement, but asymptotic behavior is not observed with available resources.

goal-based↗

Intelligent fault management for the Space Station active thermal control system

The Thermal Advanced Automation Project (TAAP) approach and architecture is described for automating the Space Station Freedom (SSF) Active Thermal Control System (ATCS). The baseline functionally and advanced automation techniques for Fault Detection, Isolation, and Recovery (FDIR) will be compared and contrasted. Advanced automation techniques such as rule-based systems and model-based reasoning should be utilized to efficiently control, monitor, and diagnose this extremely complex physical system. TAAP is developing advanced FDIR software for use on the SSF thermal control system. The goal of TAAP is to join Knowledge-Based System (KBS) technology, using a combination of rules and model-based reasoning, with conventional monitoring and control software in order to maximize autonomy of the ATCS. TAAP's predecessor was NASA's Thermal Expert System (TEXSYS) project which was the first large real-time expert system to use both extensive rules and model-based reasoning to control and perform FDIR on a large, complex physical system. TEXSYS showed that a method is needed for safely and inexpensively testing all possible faults of the ATCS, particularly those potentially damaging to the hardware, in order to develop a fully capable FDIR system. TAAP therefore includes the development of a high-fidelity simulation of the thermal control system. The simulation provides realistic, dynamic ATCS behavior and fault insertion capability for software testing without hardware related risks or expense. In addition, thermal engineers will gain greater confidence in the KBS FDIR software than was possible prior to this kind of simulation testing. The TAAP KBS will initially be a ground-based extension of the baseline ATCS monitoring and control software and could be migrated on-board as additional computation resources are made available.

Hill, Tim↗