Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Guaranteed performance”

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 91 records · Page 5

Designing and Implementing a Distributed System Architecture for the Mars Rover Mission Planning Software (Maestro)

Distributed systems allow scientists from around the world to plan missions concurrently, while being updated on the revisions of their colleagues in real time. However, permitting multiple clients to simultaneously modify a single data repository can quickly lead to data corruption or inconsistent states between users. Since our message broker, the Java Message Service, does not ensure that messages will be received in the order they were published, we must implement our own numbering scheme to guarantee that changes to mission plans are performed in the correct sequence. Furthermore, distributed architectures must ensure that as new users connect to the system, they synchronize with the database without missing any messages or falling into an inconsistent state. Robust systems must also guarantee that all clients will remain synchronized with the database even in the case of multiple client failure, which can occur at any time due to lost network connections or a user's own system instability. The final design for the distributed system behind the Mars rover mission planning software fulfills all of these requirements and upon completion will be deployed to MER at the end of 2005 as well as Phoenix (2007) and MSL (2009).

Goldgof, Gregory M.↗

A new approach to active vibration isolation for microgravity space experiments

A new method was developed to design an active vibration isolation system for microgravity space experiments. This method yields the required controller transfer functions for a specified transmissibility ratio. Hence, it is a straightforward task to guarantee that the desired vibration isolation performance is achieved at each frequency. The theory for such a controller design was presented by considering a single degree of freedom system. In addition, the magnitude of the input required by the new method has been found to be less than that used by a standard phase lead/lag compensator.

Sinha, Alok↗

A new approach to controller design for microgravity isolation systems

A new method has been developed to design an active vibration isolation system for microgravity space experiments. This method yields the required controller transfer functions for a specified transmissibility. Hence, it is a straightforward task to guarantee that the desired vibration isolation performance is achieved at each frequency. The theory for such a controller design has been presented by considering a single degree of freedom system. The magnitude of the control force required by the new method has been found to be less than that used by a standard phase lead/lag compensator.

Sinha, A.↗

Capillary Channel Flow (CCF) EU2-02 on the International Space Station (ISS): An Experimental Investigation of Passive Bubble Separations in an Open Capillary Channel

It would be signicantly easier to design fluid systems for spacecraft if the fluid phases behaved similarly to those on earth. In this research an open 15:8 degree wedge-sectioned channel is employed to separate bubbles from a two-phase flow in a microgravity environment. The bubbles appear to rise in the channel and coalesce with the free surface in much the same way as would bubbles in a terrestrial environment, only the combined effects of surface tension, wetting, and conduit geometry replace the role of buoyancy. The host liquid is drawn along the channel by a pump and noncondensible gas bubbles are injected into it near the channel vertex at the channel inlet. Control parameters include bubble volume, bubble frequency, liquid volumetric flow rate, and channel length. The asymmetrically confined bubbles are driven in the cross-flow direction by capillary forces until they at least become inscribed within the section or until they come in contact with the free surface, whereupon they usually coalesce and leave the flow. The merging of bubbles enhances, but does not guarantee, the latter. The experiments are performed aboard the International Space Station as a subset of the Capillary Channel Flow experiments. The flight hardware is commanded remotely and continuously from ground stations during the tests and an extensive array of experiments is conducted identifying numerous bubble flow regimes and regime transitions depending on the ratio and magnitude of the gas and liquid volumetric flow rates. The breadth of the publicly available experiments is conveyed herein primarily by narrative and by regime maps, where transitions are approximated by simple expressions immediately useful for the purposes of design and deeper analysis.

fluid dynamics↗

Fuzzy Modeling and Parallel Distributed Compensation for Aircraft Flight Control from Simulated Flight Data

A method is described that combines fuzzy system identification techniques with Parallel Distributed Compensation (PDC) to develop nonlinear control methods for aircraft using minimal a priori knowledge, as part of NASA’s Learn-to-Fly initiative. A fuzzy model was generated with simulated flight data, and consisted of a weighted average of multiple linear time invariant state-space cells having parameters estimated using the equation-error approach and a least-squares estimator. A compensator was designed for each subsystem using Linear Matrix Inequalities (LMI) to guarantee closed-loop stability and performance requirements. This approach is demonstrated using simulated flight data to automatically develop a fuzzy model and design control laws for a simplified longitudinal approximation of the F-16 nonlinear flight dynamics simulation. Results include a comparison of flight data with the estimated fuzzy models and simulations that illustrate the feasibility and utility of the combined fuzzy modeling and control approach.

Weinstein, Rose↗

Algorithm That Synthesizes Other Algorithms for Hashing

An algorithm that includes a collection of several subalgorithms has been devised as a means of synthesizing still other algorithms (which could include computer code) that utilize hashing to determine whether an element (typically, a number or other datum) is a member of a set (typically, a list of numbers). Each subalgorithm synthesizes an algorithm (e.g., a block of code) that maps a static set of key hashes to a somewhat linear monotonically increasing sequence of integers. The goal in formulating this mapping is to cause the length of the sequence thus generated to be as close as practicable to the original length of the set and thus to minimize gaps between the elements. The advantage of the approach embodied in this algorithm is that it completely avoids the traditional approach of hash-key look-ups that involve either secondary hash generation and look-up or further searching of a hash table for a desired key in the event of collisions. This algorithm guarantees that it will never be necessary to perform a search or to generate a secondary key in order to determine whether an element is a member of a set. This algorithm further guarantees that any algorithm that it synthesizes can be executed in constant time. To enforce these guarantees, the subalgorithms are formulated to employ a set of techniques, each of which works very effectively covering a certain class of hash-key values. These subalgorithms are of two types, summarized as follows: Given a list of numbers, try to find one or more solutions in which, if each number is shifted to the right by a constant number of bits and then masked with a rotating mask that isolates a set of bits, a unique number is thereby generated. In a variant of the foregoing procedure, omit the masking. Try various combinations of shifting, masking, and/or offsets until the solutions are found. From the set of solutions, select the one that provides the greatest compression for the representation and is executable in the minimum amount of time. Given a list of numbers, try to find one or more solutions in which, if each number is compressed by use of the modulo function by some value, then a unique value is generated.

James, Mark↗

Control system design for flexible structures using data models

The dynamics and control of flexible aerospace structures exercises many of the engineering disciplines. In recent years there has been considerable research in the developing and tailoring of control system design techniques for these structures. This problem involves designing a control system for a multi-input, multi-output (MIMO) system that satisfies various performance criteria, such as vibration suppression, disturbance and noise rejection, attitude control and slewing control. Considerable progress has been made and demonstrated in control system design techniques for these structures. The key to designing control systems for these structures that meet stringent performance requirements is an accurate model. It has become apparent that theoretically and finite-element generated models do not provide the needed accuracy; almost all successful demonstrations of control system design techniques have involved using test results for fine-tuning a model or for extracting a model using system ID techniques. This paper describes past and ongoing efforts at Ohio University and NASA MSFC to design controllers using 'data models.' The basic philosophy of this approach is to start with a stabilizing controller and frequency response data that describes the plant; then, iteratively vary the free parameters of the controller so that performance measures become closer to satisfying design specifications. The frequency response data can be either experimentally derived or analytically derived. One 'design-with-data' algorithm presented in this paper is called the Compensator Improvement Program (CIP). The current CIP designs controllers for MIMO systems so that classical gain, phase, and attenuation margins are achieved. The center-piece of the CIP algorithm is the constraint improvement technique which is used to calculate a parameter change vector that guarantees an improvement in all unsatisfied, feasible performance metrics from iteration to iteration. The paper also presents a recently demonstrated CIP-type algorithm, called the Model and Data Oriented Computer-Aided Design System (MADCADS), developed for achieving H(sub infinity) type design specifications using data models. Control system design for the NASA/MSFC Single Structure Control Facility are demonstrated for both CIP and MADCADS. Advantages of design-with-data algorithms over techniques that require analytical plant models are also presented.

Irwin, R. Dennis↗

Guaranteed Road Network Search with Small Unmanned Aircraft

The use of teams of small unmanned aircraft in real-world rapid-response missions is fast becoming a reality. One such application is search and detection of an evader in urban areas. This paper draws on results in graph-based pursuit-evasion, developing mappings from these abstractions to primitive motions that may be performed by aircraft, to produce search strategies providing guaranteed capture of road-bound targets. The first such strategy is applicable to evaders of arbitrary speed and agility, offering a conservative solution that is insensitive to motion constraints pursuers may possess. This is built upon to generate two strategies for capture of targets having a known speed bound that require searcher teams of much smaller size. The efficacy of these algorithms is demonstrated by evaluation in extensive simulation using realistic vehicle models across a spectrum of environment classes.

unmanned aircraft systems↗

Cassini atmospheric chemistry mapper. Volume 1. Investigation and technical plan

The Cassini Atmospheric Chemistry Mapper (ACM) enables a broad range of atmospheric science investigations for Saturn and Titan by providing high spectral and spatial resolution mapping and occultation capabilities at 3 and 5 microns. ACM can directly address the major atmospheric science objectives for Saturn and for Titan, as defined by the Announcement of Opportunity, with pivotal diagnostic measurements not accessible to any other proposed Cassini instrument. ACM determines mixing ratios for atmospheric molecules from spectral line profiles for an important and extensive volume of the atmosphere of Saturn (and Jupiter). Spatial and vertical profiles of disequilibrium species abundances define Saturn's deep atmosphere, its chemistry, and its vertical transport phenomena. ACM spectral maps provide a unique means to interpret atmospheric conditions in the deep (approximately 1000 bar) atmosphere of Saturn. Deep chemistry and vertical transport is inferred from the vertical and horizontal distribution of a series of disequilibrium species. Solar occultations provide a method to bridge the altitude range in Saturn's (and Titan's) atmosphere that is not accessible to radio science, thermal infrared, and UV spectroscopy with temperature measurements to plus or minus 2K from the analysis of molecular line ratios and to attain an high sensitivity for low-abundance chemical species in the very large column densities that may be achieved during occultations for Saturn. For Titan, ACM solar occultations yield very well resolved (1/6 scale height) vertical mixing ratios column abundances for atmospheric molecular constituents. Occultations also provide for detecting abundant species very high in the upper atmosphere, while at greater depths, detecting the isotopes of C and O, constraining the production mechanisms, and/or sources for the above species. ACM measures the vertical and horizontal distribution of aerosols via their opacity at 3 microns and, particularly, at 5 microns. ACM recovers spatially-resolved atmospheric temperatures in Titan's troposphere via 3- and 5-microns spectral transitions. Together, the mixing ratio profiles and the aerosol distributions are utilized to investigate the photochemistry of the stratosphere and consequent formation processes for aerosols. Finally, ring opacities, observed during solar occultations and in reflected sunlight, provide a measurement of the particle size and distribution of ring material. ACM will be the first high spectral resolution mapping spectrometer on an outer planet mission for atmospheric studies while retaining a high resolution spatial mapping capability. ACM, thus, opens an entirely new range of orbital scientific studies of the origin, physio-chemical evolution and structure of the Saturn and Titan atmospheres. ACM provides high angular resolution spectral maps, viewing nadir and near-limb thermal radiation and reflected sunlight; sounds planetary limbs, spatially resolving vertical profiles to several atmospheric scale heights; and measures solar occultations, mapping both atmospheres and rings. ACM's high spectral and spatial resolution mapping capability is achieved with a simplified Fourier Transform spectrometer with a no-moving parts, physically compact design. ACM's simplicity guarantees an inherent stability essential for reliable performance throughout the lengthy Cassini Orbiter mission.

Smith, William Hayden↗

System monitoring and diagnosis with qualitative models

A substantial foundation of tools for model-based reasoning with incomplete knowledge was developed: QSIM (a qualitative simulation program) and its extensions for qualitative simulation; Q2, Q3 and their successors for quantitative reasoning on a qualitative framework; and the CC (component-connection) and QPC (Qualitative Process Theory) model compilers for building QSIM QDE (qualitative differential equation) models starting from different ontological assumptions. Other model-compilers for QDE's, e.g., using bond graphs or compartmental models, have been developed elsewhere. These model-building tools will support automatic construction of qualitative models from physical specifications, and further research into selection of appropriate modeling viewpoints. For monitoring and diagnosis, plausible hypotheses are unified against observations to strengthen or refute the predicted behaviors. In MIMIC (Model Integration via Mesh Interpolation Coefficients), multiple hypothesized models of the system are tracked in parallel in order to reduce the 'missing model' problem. Each model begins as a qualitative model, and is unified with a priori quantitative knowledge and with the stream of incoming observational data. When the model/data unification yields a contradiction, the model is refuted. When there is no contradiction, the predictions of the model are progressively strengthened, for use in procedure planning and differential diagnosis. Only under a qualitative level of description can a finite set of models guarantee the complete coverage necessary for this performance. The results of this research are presented in several publications. Abstracts of these published papers are presented along with abtracts of papers representing work that was synergistic with the NASA grant but funded otherwise. These 28 papers include but are not limited to: 'Combined qualitative and numerical simulation with Q3'; 'Comparative analysis and qualitative integral representations'; 'Model-based monitoring of dynamic systems'; 'Numerical behavior envelopes for qualitative models'; 'Higher-order derivative constraints in qualitative simulation'; and 'Non-intersection of trajectories in qualitative phase space: a global constraint for qualitative simulation.'

Kuipers, Benjamin↗

Homotopy Algorithm for Fixed Order Mixed H2/H(infinity) Design

Recent developments in the field of robust multivariable control have merged the theories of H-infinity and H-2 control. This mixed H-2/H-infinity compensator formulation allows design for nominal performance by H-2 norm minimization while guaranteeing robust stability to unstructured uncertainties by constraining the H-infinity norm. A key difficulty associated with mixed H-2/H-infinity compensation is compensator synthesis. A homotopy algorithm is presented for synthesis of fixed order mixed H-2/H-infinity compensators. Numerical results are presented for a four disk flexible structure to evaluate the efficiency of the algorithm.

Whorton, Mark↗

Fast, Safe, Propellant-Efficient Spacecraft Motion Planning Under Clohessy-Wiltshire-Hill Dynamics

This paper presents a sampling-based motion planning algorithm for real-time and propellant-optimized autonomous spacecraft trajectory generation in near-circular orbits. Specifically, this paper leverages recent algorithmic advances in the field of robot motion planning to the problem of impulsively actuated, propellant- optimized rendezvous and proximity operations under the Clohessy-Wiltshire-Hill dynamics model. The approach calls upon a modified version of the FMT* algorithm to grow a set of feasible trajectories over a deterministic, low-dispersion set of sample points covering the free state space. To enforce safety, the tree is only grown over the subset of actively safe samples, from which there exists a feasible one-burn collision-avoidance maneuver that can safely circularize the spacecraft orbit along its coasting arc under a given set of potential thruster failures. Key features of the proposed algorithm include 1) theoretical guarantees in terms of trajectory safety and performance, 2) amenability to real-time implementation, and 3) generality, in the sense that a large class of constraints can be handled directly. As a result, the proposed algorithm offers the potential for widespread application, ranging from on-orbit satellite servicing to orbital debris removal and autonomous inspection missions.

spacecraft relative motio↗

A Machine Learning Approach for the Remote Sensing Retrieval of Oil Spills from Polarimetric Measurements

The Fresnel laws of specular reflection directly connect remote sensing observations of light polarization within the sunglint region to the ocean surface refractive index. This parameter is instrumental to identify areas affected by oil, or any other floating substance capable of modifying the refractive index of pure seawater. In preparation for the NASA Plankton, Aerosol, ocean Ecosystem (PACE) mission, we are developing an advanced retrieval scheme that exploits such measurements to deliver the refractive index as an operational product. The original method was developed based on observations of the airborne Research Scanning Polarimeter. Here we present several aspects related to the extension of this technique to the PACE HARP-2 sensor (especially regarding the projected accuracy), and discuss preliminary results obtained by applying neural-network trainings to look-up tables produced with the forward radiative transfer code, with the goal of improving the computational performance. Success in the final implementation will guarantee a version of the retrieval algorithm suitable to fast-response needs and disaster management.

machine learning↗

A methodology for designing robust multivariable nonlinear feedback control systems

This paper presents an outline of a methodology for the design of nonlinear dynamic compensators for nonlinear multivariable systems with guarantees of closed-loop stability, robustness, and performance. The method is an extension of the Linear-Quadratic-Gaussian with Loop-Transfer-Recovery (LQG/LTR) methodology for linear systems, thus hinging upon the idea of constructing an approximate nonlinear inverse operator for the plant. A major feature of the method is a unification of both the state-space and Input-Output formulations. The major results of the paper are: (1) Properties of the solution of certain optimal control problems; (2) New results on nonlinear estimation, including a new nonlinear observer with certain guaranteed properties; (3) The Loop Operator Recovery (LOR) procedure, and (4) Inclusion of command-following and disturbance rejection with a goal of a closed-loop stable, robust system.

Grunberg, D. B.↗

Performance comparison of token ring protocols for hard-real-time communication

The ability to guarantee the deadlines of synchronous messages while maintaining a good aggregate throughput is an important consideration in the design of distributed real-time systems. In this paper, we study two token ring protocols, the priority driven protocol and the timed token protocol, for their suitability for hard real-time systems. Both these protocols use a token to control access to the transmission medium. In a priority driven protocol, messages are assigned priorities and the protocol ensures that messages are transmitted in the order of their priorities. Timed token protocols do not provide for priority arbitration but ensure that the maximum access delay for a station is bounded. For both protocols, we first derive the schedulability conditions under which the transmission deadlines of a given set of synchronous messages can be guaranteed. Subsequently, we use these schedulability conditions to quantitatively compare the average case behavior of the protocols. This comparison demonstrates that each of the protocols has its domain of superior performance and neither dominates the other for the entire range of operating conditions.

Kamat, Sanjay↗

A nonlinear optimization approach for disturbance rejection in flexible space structures

In this paper the design of an active control law for the rejection of persistent disturbances in large space structures is presented. The control system design approach is based on a deterministic model of the disturbances, with a model-based-compensator (MBC) structure, optimizing the magnitude of the disturbance that the structure can tolerate without violating certain predetermined constraints. In addition to closed-loop stability, the explicit treatment of state, control and control rate constraints, such as structural displacement, control actuator effort, and compensator time guarantees that the final design will exhibit desired performance characteristics. The technique is applied for the vibration damping of a simple two bay truss structure which is subjected to persistent disturbances, such as shuttle docking. Preliminary results indicate that the proposed control system can reject considerable persistent disturbances by utilizing most of the available control, while limiting the structural displacements to within desired tolerances. Further work, however, for incorporating additional design criteria, such as compensator robustness to be traded-off against performance specifications, is warranted.

Parlos, Alexander G.↗

Active disturbance rejection in large flexible space structures

The design of an active control law for the rejection of persistent disturbances, in large space structures is presented. The control system design approach is based on a deterministic model of the disturbances and it optimizes the magnitude of the disturbance that the structure can tolerate without violating certain predetermined constraints. In addition to closed-loop stability, the explicit treatment of state, control, and control rate constraints, such as structural displacement and control actuator effort, guarantees that the final design will exhibit desired performance characteristics. The technique is applied to a simple two-bay truss structure, and its response is compared with that obtained using a linear-quadratic-Gaussian/loop-transfer-recovery (LQG/LTR) compensator. Preliminary results indicate that the proposed control system can reject persistent disturbances of greater magnitude by utilizing most of the available control, while limiting the structural displacements to within desired tolerances.

Parlos, Alexander G.↗

Alternative regularizations for Outer-Approximation algorithms for convex MINLP

In this work, we extend the regularization framework from Kronqvist et al. (Math Program 180(1):285–310, 2020) by incorporating several new regularization functions and develop a regularized single-tree search method for solving convex mixed-integer nonlinear programming (MINLP) problems. We propose a set of regularization functions based on distance metrics and Lagrangean approximations, used in the projection problem for finding new integer combinations to be used within the Outer-Approximation (OA) method. The new approach, called Regularized Outer-Approximation (ROA), has been implemented as part of the open-source Mixed-integer nonlinear decomposition toolbox for Pyomo—MindtPy. We compare the OA method with seven regularization function alternatives for ROA. Moreover, we extend the LP/NLP Branch and Bound method proposed by Quesada and Grossmann (Comput Chem Eng 16(10–11):937–947, 1992) to include regularization in an algorithm denoted RLP/NLP. We provide convergence guarantees for both ROA and RLP/NLP. Finally, we perform an extensive computational experiment considering all convex MINLP problems in the benchmark library MINLPLib. The computational results show clear advantages of using regularization combined with the OA method.

Convex Mixed-integer nonlinear programming↗