SEARCH · Search NASA
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.
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away extraneous complexity, the state space of the model could be exhaustively searched allowing critical functional requirements to be validated down to the design level.
Mathematical models for the dynamics of the DLR BO 105 helicopter are extracted from flight test data using two different approaches: frequency-domain and time-domain identification. Both approaches are reviewed. Results from an extensive data consistency analysis are given. Identifications for 6 degrees of freedom (DOF) rigid body models are presented and compared in detail. The extracted models compare favorably and their prediction capability is demonstrated in verification results. Approaches to extend the 6 DOF models are addressed and first results are presented. System identification is broadly defined as the deduction of system characteristics from measured data. It provides the only possibility to extract both non-parametric (e.g., frequency responses) and parametric (e.g., state space matrices) aircraft models from flight test data and therefore gives a reliable characterization of the dynamics of the actually existing aircraft. Main applications of system identification are seen in areas where higher accuracies of the mathematical models are required: Simulation validation, control system design (in particular model-following control system design for in-flight simulation), and handling qualities.
Mathematical models for the dynamics of the DLR BO 105 helicopter are extracted from flight test data using two different approaches: frequency-domain and time-domain identification. Both approaches are reviewed. Results from an extensive data consistency analysis are given. Identifications for 6 degrees of freedom (DOF) rigid body models are presented and compared in detail. The extracted models compare favorably and their prediction capability is demonstrated in verification results. Approaches to extend the 6 DOF models are addressed and first results are presented. System identification is broadly defined as the deduction of system characteristics from measured data. It provides the only possibility to extract both non-parametric (e.g., frequency responses) and parametric (e.g., state space matrices) aircraft models from flight test data and therefore gives a reliable characterization of the dynamics of the actually existing aircraft. Main applications of system identification are seen in areas where higher accuracies of the mathematical models are required: Simulation validation, control system design (in particular model-following control system design for in-flight simulation), and handling qualities.
Innovative systems and software engineering solutions are required to meet the increasingly challenging demands of deep-space robotic missions. While recent advances in the development of an integrated systems and software engineering approach have begun to address some of these issues, they are still at the core highly manual and, therefore, error-prone. This paper describes a task aimed at infusing MIT's model-based executive, Titan, into JPL's Mission Data System (MDS), a unified state-based architecture, systems engineering process, and supporting software framework. Results of the task are presented, including a discussion of the benefits and challenges associated with integrating mature model-based programming techniques and technologies into a rigorously-defined domain specific architecture.
This paper presents development of multi-input multi-output (MIMO) Generalized Pre-dictive Control (GPC) law and its application to reconfigurable control design in the event of actuator saturation. A Controlled Auto-Regressive Integrating Moving Average (CARIMA) model is used to describe the plant dynamics. The control law is derived using input-output description of the system and is also related to the state-space form of the model. The stability of the GPC control law without reconfiguration is first established using Riccati-based approach and state-space formulation. A novel reconfiguration strategy is developed for the systems which have actuator redundancy and are faced with actuator saturation type failure. An elegant reconfigurable control design is presented with stability proof. Several numerical examples are presented to demonstrate the application of various results.
Development of generalized, transient and steady-state simulation models for space shuttle attitude control propulsion system
A users manual for a hypothetical turbofan engine simplified simulation is presented. This digital simulation exists as FORTRAN source code. The program is self-contained and was developed to offer those interested in engine dynamics and controls research an efficient, realistic, and easily used engine simulation. The engine is modeled using a state space formulation. Matrix elements within the linear state space structure are nonlinear functions of various engine variables.
This paper presents a discussion of the applicability of neural networks in the identification and control of dynamic systems. Emphasis is placed on the understanding of how the neural networks handle linear systems and how the new approach is related to conventional system identification and control methods. Extensions of the approach to nonlinear systems are then made. The paper explains the fundamental concepts of neural networks in their simplest terms. Among the topics discussed are feed forward and recurrent networks in relation to the standard state-space and observer models, linear and nonlinear auto-regressive models, linear, predictors, one-step ahead control, and model reference adaptive control for linear and nonlinear systems. Numerical examples are presented to illustrate the application of these important concepts.
Earlier, we introduced GARIC-Q, a new method for doing incremental Dynamic Programming using a society of intelligent agents which are controlled at the top level by Fuzzy Relearning and at the local level, each agent learns and operates based on ANTARCTIC, a technique for fuzzy reinforcement learning. In this paper, we show that it is possible for these agents to compete in order to affect the selected control policy but at the same time, they can collaborate while investigating the state space. In this model, the evaluator or the critic learns by observing all the agents behaviors but the control policy changes only based on the behavior of the winning agent also known as the super agent.
This document summarizes the safety analysis performed on a Flight Guidance System (FGS) requirements model. In particular, the safety properties desired of the FGS model are identified and the presence of the safety properties in the model is formally verified. Chapter 1 provides an introduction to the entire project, while Chapter 2 gives a brief overview of the problem domain, the nature of accidents, model based development, and the four-variable model. Chapter 3 outlines the approach. Chapter 4 presents the results of the traditional safety analysis techniques and illustrates how the hazardous conditions associated with the system trace into specific safety properties. Chapter 5 presents the results of the formal methods analysis technique model checking that was used to verify the presence of the safety properties in the requirements model. Finally, Chapter 6 summarizes the main conclusions of the study, first and foremost that model checking is a very effective verification technique to use on discrete models with reasonable state spaces. Additional supporting details are provided in the appendices.
This document summarizes the safety analysis performed on a Flight Guidance System (FGS) requirements model. In particular, the safety properties desired of the FGS model are identified and the presence of the safety properties in the model is formally verified. Chapter 1 provides an introduction to the entire project, while Chapter 2 gives a brief overview of the problem domain, the nature of accidents, model based development, and the four-variable model. Chapter 3 outlines the approach. Chapter 4 presents the results of the traditional safety analysis techniques and illustrates how the hazardous conditions associated with the system trace into specific safety properties. Chapter 5 presents the results of the formal methods analysis technique model checking that was used to verify the presence of the safety properties in the requirements model. Finally, Chapter 6 summarizes the main conclusions of the study, first and foremost that model checking is a very effective verification technique to use on discrete models with reasonable state spaces. Additional supporting details are provided in the appendices.
The configuration complexity and code size of an automated testing framework may grow to a point that the tester itself becomes a significant software artifact, prone to poor configuration and implementation errors. Unfortunately, testing the tester by using old versions of the software under test (SUT) may be impractical or impossible: test framework changes may have been motivated by interface changes in the tested system, or fault detection may become too expensive in terms of computing time to justify running until errors are detected on older versions of the software. We propose the use of path coverage measures as a "quick and dirty" method for detecting many faults in complex test frameworks. We also note the possibility of using techniques developed to diversify state-space searches in model checking to diversify test focus, and an associated classification of tester changes into focus-changing and non-focus-changing modifications.
Time accurate solutions of the Euler and Navier{Stokes equations are used as an approach to elucidate aerodynamic coefficients that include rigid body motion effects. The Army-Navy Finner geometry is used for work flow development due to its simple shape, inexpensive grid generation, and available literature that include aerodynamic damping derivatives obtained from ight test, wind tunnel tests, and computational fluid dynamics. Supersonic conditions for pitch and roll damping include angles of attack up to 90 deg. Aerodynamic responses due to rigid body maneuvers with prescribed wind incidence angles and body rates are computed using the DoD CREATE Kestrel and NASA FUN3D flow solvers. First, reference numerical and experimental results provide validation of aero- dynamic damping terms computed by traditional periodic motion in roll and pitch. Next, individual, impulse motion inputs provide the canonical responses for general input-output modeling based on classical superposition and convolution concepts. Finally, simultaneous impulse excitation of all inputs provides an efficient system identification training scenario for accurate aerodynamic model construction in state space via the NASA Sys- tem/Observer/Controller Identification Toolbox.
This paper discusses an analysis tool, the Reliability Model Generator, that reasons from structural and functional system design specifications to generate a reliability model for the system under investigation. The resultant model defines a system state space sufficient to characterize the effects of single and multiple component failures. This model may then be examined by the analyst or used as input to an existing reliability evaluation tool, the Semi-Markov Unreliability Range Evaluator (SURE), to compute numeric bounds for system reliability (i.e., safety, mission success, availability, etc.). In defining the input to the Reliability Model Generator, a separation of the component function from structural specification is proposed to allow easy modification for analysis of alternative architectures. A hierarchical system description paradigm promotes multiple abstractions, thereby enabling analysis at all phases of the design process. The work described in this paper has been supported under NASA contract NAS1-10899, Integrated Airframe/Propulsion Control System Architecture (IAPSA II). IAPSA II promotes a system engineering methodology and supporting analytical tools to evaluate flight control architecture configuration alternatives during early phases of the design cycle when the cost and schedule impact of design revisions is minimal. Emphasis is placed on traceability to ensure that the requirements drive the resulting design.
The contents include: 1. State space, spectral space, and observation space; 2. Variances and correlations; 3. Isotropic and anisotropic correlation modeling on the sphere; 4. Operational ozone data assimilation; and 5. Kalman filtering for trace constituents.
Space science models are essential component of integrated data environment. Space science models are indispensable tools to facilitate effective use of wide variety of distributed scientific sources and to place multi-point local measurements into global context. The Community Coordinated Modeling Center (CCMC) hosts a set of state-of-the- art space science models ranging from the solar atmosphere to the Earth's upper atmosphere. The majority of models residing at CCMC are comprehensive computationally intensive physics-based models. To allow the models to be driven by data relevant to particular events, the CCMC developed an online data file generation tool that automatically downloads data from data providers and transforms them to required format. CCMC provides a tailored web-based visualization interface for the model output, as well as the capability to download simulations output in portable standard format with comprehensive metadata and user-friendly model output analysis library of routines that can be called from any C supporting language. CCMC is developing data interpolation tools that enable to present model output in the same format as observations. CCMC invite community comments and suggestions to better address science needs for the integrated data environment.
Discrete state space analysis is applied to the development of a model for predicting the reduction in the amount of stratospheric ozone due to stratospheric pollution. The modeling approach is to segment the stratosphere into a number of altitudinal bands and to associate state variables with the state of ozone reduction in each band due to NO(x) injections. The ozone reductions in each band are then combined into an estimate of total global ozone reduction. The model proposed predicts changes in stratospheric ozone based on altitude of pollutant injection and volume of pollutant injected at that altitude. The present approach is not a detailed analysis of stratospheric constituents and their interactions, but rather an analysis procedure for modeling the results of other researchers in the field.
A directed graph is used to model the search space of a state space representation with single input operators, an AND/OR is used for problem reduction representations, and a theorem proving graph is used for state space representations with multiple input operators. These three graph models and heuristic strategies for searching them are surveyed. The completeness, admissibility, and optimality properties of search strategies which use the evaluation function f = (1 - omega)g = omega(h) are presented and interpreted using a representation of the search process in the plane. The use of multiple output operators to imply dependent successors, and thus obtain a formalism which includes all three types of representations, is discussed.