SEARCH · Engineering Papers

Results for “temporal 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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 127 records · Page 7

All sources NASA NTRS DOE OSTI

NASA NTRS2000

Executing Temporal Networks With Uncertainty

Simple Temporal Networks (STNs) have proved useful in applications that involve metric time. However, many applications involve events whose timing is uncertain in the sense that it is not controlled by the execution agent. In this paper we consider execution algorithms for temporal networks with events of uncertain duration. We present two such algorithms. The first retains maximum flexibility, but requires potentially costly updates during execution. The second surrenders some flexibility in order to obtain a fast execution comparable to that available for ordinary STNs.

Morris, Paul↗

NASA NTRS1993

Knowledge Engineering for Temporal Dependency Networks as Operations Procedures

This paper presents a case study of the knowledge engineering process employed to support the Link Monitor & Control Operator Assistant (LMCOA). The LMCOA is a prototype system which automates equipment used to support space-ground communication with deep space spacecraft in NASA's Deep Space Network (DSN). The primary knowledge base in the LMCOA is the Temporal Dependency Network (TDN). The paper provides a brief background on the DSN, and describes the evolution of the TDN and supporting knowledge bases, the process used for knowledge engineering, and an analysis of the successes--and problems--of the knowledge engineering effort.

operations↗

NASA NTRS2008

From Informal Safety-Critical Requirements to Property-Driven Formal Validation

Most of the efforts in formal methods have historically been devoted to comparing a design against a set of requirements. The validation of the requirements themselves, however, has often been disregarded, and it can be considered a largely open problem, which poses several challenges. The first challenge is given by the fact that requirements are often written in natural language, and may thus contain a high degree of ambiguity. Despite the progresses in Natural Language Processing techniques, the task of understanding a set of requirements cannot be automatized, and must be carried out by domain experts, who are typically not familiar with formal languages. Furthermore, in order to retain a direct connection with the informal requirements, the formalization cannot follow standard model-based approaches. The second challenge lies in the formal validation of requirements. On one hand, it is not even clear which are the correctness criteria or the high-level properties that the requirements must fulfill. On the other hand, the expressivity of the language used in the formalization may go beyond the theoretical and/or practical capacity of state-of-the-art formal verification. In order to solve these issues, we propose a new methodology that comprises of a chain of steps, each supported by a specific tool. The main steps are the following. First, the informal requirements are split into basic fragments, which are classified into categories, and dependency and generalization relationships among them are identified. Second, the fragments are modeled using a visual language such as UML. The UML diagrams are both syntactically restricted (in order to guarantee a formal semantics), and enriched with a highly controlled natural language (to allow for modeling static and temporal constraints). Third, an automatic formal analysis phase iterates over the modeled requirements, by combining several, complementary techniques: checking consistency; verifying whether the requirements entail some desirable properties; verify whether the requirements are consistent with selected scenarios; diagnosing inconsistencies by identifying inconsistent cores; identifying vacuous requirements; constructing multiple explanations by enabling the fault-tree analysis related to particular fault models; verifying whether the specification is realizable.

Cimatti, Alessandro↗

NASA NTRS2013

Scheduling and Separating Departures Crossing Arrival Flows in Shared Airspace

Flight efficiency and reduction of flight delays are among the primary goals of NextGen. In this paper, we propose a concept of shared airspace where departures fly across arrival flows, provided gaps are available in these flows. We have explored solutions to separate departures temporally from arrival traffic and pre-arranged procedures to support controllers' decisions. We conducted a Human-in-the-Loop simulation and assessed the efficiency and safety of 96 departures from the San Jose airport (SJC) climbing across the arrival airspace of the Oakland and San Francisco arrival flows. In our simulation, the SJC tower had a tool to schedule departures to fly across predicted gaps in the arrival flow. When departures were mistimed and separation could not be ensured, a safe but less efficient route was provided to the departures to fly under the arrival flows. A coordination using a point-out procedure allowed the arrival controller to control the SJC departures right after takeoff. We manipulated the accuracy of departure time (accurate vs. inaccurate) as well as which sector took control of the departures after takeoff (departure vs. arrival sector) in a 2x2 full factorial plan. Results show that coordination time decreased and climb efficiency increased when the arrival sector controlled the aircraft right after takeoff. Also, climb efficiency increased when the departure times were more accurate. Coordination was shown to be a critical component of tactical operations in shared airspace. Although workload, coordination, and safety were judged by controllers as acceptable in the simulation, it appears that in the field, controllers would need improved tools and coordination procedures to support this procedure.

shared airspace↗

NASA NTRS1991

On the integration of reinforcement learning and approximate reasoning for control

The author discusses the importance of strengthening the knowledge representation characteristic of reinforcement learning techniques using methods such as approximate reasoning. The ARIC (approximate reasoning-based intelligent control) architecture is an example of such a hybrid approach in which the fuzzy control rules are modified (fine-tuned) using reinforcement learning. ARIC also demonstrates that it is possible to start with an approximately correct control knowledge base and learn to refine this knowledge through further experience. On the other hand, techniques such as the TD (temporal difference) algorithm and Q-learning establish stronger theoretical foundations for their use in adaptive control and also in stability analysis of hybrid reinforcement learning and approximate reasoning-based controllers.

Berenji, Hamid R.↗

NASA NTRS2014

Temporal Wind Pairs for Space Launch Vehicle Capability Assessment and Risk Mitigation

Space launch vehicles incorporate upper-level wind assessments to determine wind effects on the vehicle and for a commit to launch decision. These assessments make use of wind profiles measured hours prior to launch and may not represent the actual wind the vehicle will fly through. Uncertainty in the winds over the time period between the assessment and launch introduces uncertainty in assessment of vehicle controllability and structural integrity that must be accounted for to ensure launch safety. Temporal wind pairs are used in engineering development of allowances to mitigate uncertainty. Five sets of temporal wind pairs at various times (0.75, 1.5, 2, 3 and 4-hrs) at the United States Air Force Eastern Range and Western Range, as well as the National Aeronautics and Space Administration's Wallops Flight Facility are developed for use in upper-level wind assessments on vehicle performance. Historical databases are compiled from balloon-based and vertically pointing Doppler radar wind profiler systems. Various automated and manual quality control procedures are used to remove unacceptable profiles. Statistical analyses on the resultant wind pairs from each site are performed to determine if the observed extreme wind changes in the sample pairs are representative of extreme temporal wind change. Wind change samples in the Eastern Range and Western Range databases characterize extreme wind change. However, the small sample sizes in the Wallops Flight Facility databases yield low confidence that the sample population characterizes extreme wind change that could occur.

Decker, Ryan K.↗

NASA NTRS2015

Temporal Wind Pairs for Space Launch Vehicle Capability Assessment and Risk Mitigation

Decker, Ryan K.↗

NASA NTRS1994

Vibratory tactile display for textures

We have developed a tactile display that produces vibratory stimulus to a fingertip in contact with a vibrating tactor matrix. The display depicts tactile surface textures while the user is exploring a virtual object surface. A piezoelectric actuator drives the individual tactor in accordance with both the finger movement and the surface texture being traced. Spatiotemporal display control schemes were examined for presenting the fundamental surface texture elements. The temporal duration of vibratory stimulus was experimentally optimized to simulate the adaptation process of cutaneous sensation. The selected duration time for presenting a single line edge agreed with the time threshold of tactile sensation. Then spatial stimulus disposition schemes were discussed for representation of other edge shapes. As an alternative means not relying on amplitude control, a method of augmented duration at the edge was investigated. Spatial resolution of the display was measured for the lines presented both in perpendicular and parallel to a finger axis. Discrimination of texture density was also measured on random dot textures.

Ikei, Yasushi↗

NASA NTRS1985

Precipitation of radiation belt electrons by man-made waves A comparison between theory and measurement

The temporal and spectral shape and the absolute flux level of particle pulses precipitated by a VLF transmitter are examined from a theoretical point of view. A test-particle model of the gyroresonant wave-particle interaction is applied to the parameters of the observed cases for calculating the precipitation characteristics. The temporal shapes of the precipitation pulses are found to be controlled (1) by the pitch angle dependence of the particle distribution near the edge of the loss cone and (2) by the multiple interaction of the particles with the waves due to significant atmospheric backscatter.

Inan, U. S.↗

NASA NTRS1988

Controlling basins of attraction in a neural network-based telemetry monitor

The size of the basins of attraction around fixed points in recurrent neural nets (NNs) can be modified by a training process. Controlling these attractive regions by presenting training data with various amount of noise added to the prototype signal vectors is discussed. Application of this technique to signal processing results in a classification system whose sensitivity can be controlled. This new technique is applied to the classification of temporal sequences in telemetry data.

Bell, Benjamin↗

NASA NTRS1996

On the Visual Input Driving Human Smooth-Pursuit Eye Movements

Current computational models of smooth-pursuit eye movements assume that the primary visual input is local retinal-image motion (often referred to as retinal slip). However, we show that humans can pursue object motion with considerable accuracy, even in the presence of conflicting local image motion. This finding indicates that the visual cortical area(s) controlling pursuit must be able to perform a spatio-temporal integration of local image motion into a signal related to object motion. We also provide evidence that the object-motion signal that drives pursuit is related to the signal that supports perception. We conclude that current models of pursuit should be modified to include a visual input that encodes perceived object motion and not merely retinal image motion. Finally, our findings suggest that the measurement of eye movements can be used to monitor visual perception, with particular value in applied settings as this non-intrusive approach would not require interrupting ongoing work or training.

Stone, Leland S.↗

NASA NTRS2003

Airborne Geophysics and Remote Sensing Applied to Study Greenland Ice Dynamics

Overview of project: we combined and jointly analysed geophysical, remote sensing and glaciological data for investigating the temporal changes in ice flow and the role of geologic control on glacial drainage. The project included two different studies, the investigation of recent changes of the Kangerlussuaq glacier and the study of geologic control of ice flow in NW Greenland, around the Humboldt, Petermann and Ryder glaciers.

Csatho, Beata M.↗

NASA NTRS1998

Molecular regulation of plant cell wall extensibility

Gravity responses in plants often involve spatial and temporal changes in cell growth, which is regulated primarily by controlling the ability of the cell wall to extend. The wall is thought to be a cellulose-hemicellulose network embedded in a hydrated matrix of complex polysaccharides and a small amount of structural protein. The wall extends by a form of polymer creep, which is mediated by expansins, a novel group of wall-loosening proteins. Expansins were discovered during a molecular dissection of the "acid growth" behavior of cell walls. Expansin alters the rheology of plant walls in profound ways, yet its molecular mechanism of action is still uncertain. It lacks detectable hydrolytic activity against the major components of the wall, but it is able to disrupt noncovalent adhesion between wall polysaccharides. The discovery of a second family of expansins (beta-expansins) sheds light on the biological role of a major group of pollen allergens and implies that expansins have evolved for diverse developmental functions. Finally, the contribution of other processes to wall extensibility is briefly summarized.

Review↗

NASA NTRS2016

The Mathematics of Dispatchability Revisited

Dispatchability is an important property for the efficient execution of temporal plans where the temporal constraints are represented as a Simple Temporal Network (STN). It has been shown that every STN may be reformulated as a dispatchable STN, and dispatchability ensures that the temporal constraints need only be satisfied locally during execution. Recently it has also been shown that Simple Temporal Networks with Uncertainty, augmented with wait edges, are Dynamically Controllable provided every projection is dispatchable. Thus, the dispatchability property has both theoretical and practical interest. One thing that hampers further work in this area is the underdeveloped theory. The existing definitions are expressed in terms of algorithms, and are less suitable for mathematical proofs. In this paper, we develop a new formal theory of dispatchability in terms of execution sequences. We exploit this to prove a characterization of dispatchability involving the structural properties of the STN graph. This facilitates the potential application of the theory to uncertainty reasoning.

control↗

NASA NTRS2016

The Mathematics of Dispatchability, Revisited

Dispatchability is an important property for the efficient execution of temporal plans where the temporal constraints are represented as a Simple Temporal Network (STN). It has been shown that every STN may be reformulated as a dispatchable STN, and dispatchability ensures that the temporal constraints need only be satisfied locally during execution. Recently, it has also been shown that Simple Temporal Networks with Uncertainty, augmented with wait edges, are Dynamically Controllable provided every projection is dispatchable. Thus, dispatchability has considerable theoretical as well as practical significance. One thing that hampers further work in this area is the underdeveloped theory. Moreover, the existing foundation is inadequate in certain respects. In this paper, we develop a new mathematical theory of dispatchability and its relationship to execution. We also provide several characterizations of dispatchability, including characterizations in terms of the structural properties of the STN graph. This facilitates the potential application of the theory to other areas.

mathematical models↗

NASA NTRS2021

LUVOIR-ECLIPS Closed-Loop Adaptive Optics Performance and Contrast Predictions

One of the primary science goals of the Large UV/Optical/Infrared Surveyor (LUVOIR) mission concept is to detect and characterize Earth-like exoplanets orbiting nearby stars with direct imaging. The success of its coronagraph instrument ECLIPS (Extreme Coronagraph for Living Planetary Systems) depends on the ability to stabilize the wavefront from a large segmented mirror such that optical path differences are limited to tens of picometers RMS during an exposure time of a few hours. In order to relax the constraints on the mechanical stability, ECLIPS will be equipped with a wavefront sensing and control (WS\&C) architecture to correct wavefront errors up to temporal frequencies $\gtrsim$1 Hz. These errors may be dominated by spacecraft structural dynamics exciting vibrations at the segmented primary mirror. In this work, we present detailed simulations of the WS\&C system within the ECLIPS instrument and the resulting contrast performance. This study assumes wavefront aberrations based on a finite element model of a simulated telescope with spacecraft structural dynamics. Wavefront residuals are then computed according to a model of the adaptive optics system that includes numerical propagation to simulate a realistic wavefront sensor and an analytical model of the temporal performance. An end-to-end numerical propagation model of ECLIPS is then used to estimate the residual starlight intensity distribution at the science detector. We show that the contrast performance depends strongly on the target star magnitude and the spatio-temporal distribution of wavefront errors from the telescope. In cases with significant vibration, we advocate for the use of laser metrology to mitigate high temporal frequency wavefront errors and increase the mission yield.

Sirbu, Dan↗

NASA NTRS2018

A Low Cost Thermal Control Method for Testing in a Mars Environment

Due to the unique thermal vacuum testing requirements for a Mars Rover instrument, NASA Goddard developed a low cost, high fidelity thermal control system utilizing Thermal Electric Coolers (TECs) combined with a heat rejection fluid loop to actively control 8 independent payload thermal boundary zones in a simulated Mars pressure vacuum chamber with a Carbon Dioxide atmosphere. These zones could control instrument components to a specific temperature as a function of time to simulate exact temporal flight boundary predictions.The Mars Organic Molecule Analyzer (MOMA) instrument is a dual source (pyrolysis gas chromatograph and laser desorption) mass spectrometer (MS) based package that detects and characterizes organic molecules, as part of ESA's 2020 ExoMars Rover mission to seek the signs of life on Mars.Due to the unique thermal vacuum testing requirements for a Mars Rover instrument, NASA Goddard developed a low cost, high fidelity thermal control system utilizing Thermal Electric Coolers (TECs) combined with a heat rejection fluid loop to actively control 8 independent payload thermal boundary zones in a simulated Mars pressure vacuum chamber with a Carbon Dioxide atmosphere. These zones could control instrument components to a specific temperature as a function of time to simulate exact temporal flight boundary predictions.The Mars Organic Molecule Analyzer (MOMA) instrument is a dual source (pyrolysis gas chromatograph and laser desorption) mass spectrometer (MS) based package that detects and characterizes organic molecules, as part of ESA's 2020 ExoMars Rover mission to seek the signs of life on Mars.

MOMA↗

NASA NTRS1986

Design and evaluation of a failure detection and isolation algorithm for restructurable control systems

The use of a decentralized approach to failure detection and isolation for use in restructurable control systems is examined. This work has produced: (1) A method for evaluating fundamental limits to FDI performance; (2) Application using flight recorded data; (3) A working control element FDI system with maximal sensitivity to critical control element failures; (4) Extensive testing on realistic simulations; and (5) A detailed design methodology involving parameter optimization (with respect to model uncertainties) and sensitivity analyses. This project has concentrated on detection and isolation of generic control element failures since these failures frequently lead to emergency conditions and since knowledge of remaining control authority is essential for control system redesign. The failures are generic in the sense that no temporal failure signature information was assumed. Thus, various forms of functional failures are treated in a unified fashion. Such a treatment results in a robust FDI system (i.e., one that covers all failure modes) but sacrifices some performance when detailed failure signature information is known, useful, and employed properly. It was assumed throughout that all sensors are validated (i.e., contain only in-spec errors) and that only the first failure of a single control element needs to be detected and isolated. The FDI system which has been developed will handle a class of multiple failures.

Weiss, Jerold L.↗