SEARCH · Engineering Papers

Results for “reachability”

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 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS1986

Existence of the time optimal control for robotic manipulators

Using Filipov's Theorem, it is shown that the conditions oif nonfinite escape of trajectories, reachability, and convexity of the dynamics over all admissible controls are needed for the existence of a time optimal solution for the robotic equation. With a lower bound for the finite-escape time established using a Liapunov approach, and an upper bound for the time to reach the target established using the exact linearization idea, a single inequality is found which is closely related to the coriolis and the centrifugal terms, the absence of which implies that the domain of existence of the optimal solution can be made arbitrarily large with a large torque constraint. As the work space is finite, this is essentially a global result in practical situations.

Wen, J.↗

NASA NTRS1986

Adaptive control with saturating inputs

An extension of the results from Goodwin, Ramadge and Caines (1980) to the case where the input of the linear system saturates is presented. A necessary condition for closed loop stability of such a system is shown to be that the system must remain in a region from which y(t) = 0 is reachable with saturating inputs. With a slight modification of the original algorithm, the closed loop system is shown to be stable whenever the plant is exponentially stable.

Abramovitch, Daniel Y.↗

NASA NTRS1988

Penetrator role in Mars sample strategy

The application of the penetrator to a Mars Return Sample Mission (MRSM) has direct advantages to meet science objectives and mission safety. Based on engineering data and work currently conducted at Ball Aerospace Systems Division, the concept of penetrators as scientific instruments is entirely practical. The primary utilization of a penetrator for MRSM would be to optimize the selection of the sample site location and to help in selection of the actual sample to be returned to Earth. It is recognized that the amount of sample to be returned is very limited, therefore the selection of the sample site is critical to the success of the mission. The following mission scenario is proposed. The site selection of a sample to be acquired will be performed by science working groups. A decision will be reached and a set of target priorities established based on data to give geochemical, geophysical and geological information. The first task of a penetrator will be to collect data at up to 4 to 6 possible landing sites. The penetrator can include geophysical, geochemical, geological and engineering instruments to confirm that scientific data requirements at that site will be met. This in situ near real-time data, collected prior to final targeting of the lander, will insure that the sample site is both scientifically valuable and also that it is reachable within limits of the capability of the lander.

Boynton, William↗

NASA NTRS1987

Automatically reconfigurable control for rapid retargeting of flexible pointing systems

A reconfigurable nonlinear control system design methodology is proposed to automatically correct computed slew torque commands of space-based pointing systems for the effects of slew-induced structural deformations. The possibility of forcing an elastic structure, such as that of a space-based instrument frame, to deform in a preselected way in response to rapid slews is demonstrated. To accomplish this, a supervisory controller must select a pair of algorithms, one for structural counterexcitation and the other for slew torque correction. It is shown how the reachability and subsequent tracking of the appropriate 'slow manifold', where the control algorithms are valid, can be ensured by a fast tracking loop, with time-varying gain dependent only on the commanded angular acceleration.

Dwyer, Thomas A. W., III↗

NASA NTRS1989

Decision net, directed graph, and neural net processing of imaging spectrometer data

A decision-net solution involving a novel hierarchical classifier and a set of multiple directed graphs, as well as a neural-net solution, are respectively presented for large-class problem and mixture problem treatments of imaging spectrometer data. The clustering method for hierarchical classifier design, when used with multiple directed graphs, yields an efficient decision net. New directed-graph rules for reducing local maxima as well as the number of perturbations required, and the new starting-node rules for extending the reachability and reducing the search time of the graphs, are noted to yield superior results, as indicated by an illustrative 500-class imaging spectrometer problem.

Casasent, David↗

NASA NTRS1990

The collisional evolution of the spin of a nonspherical body

The nonspherical shapes of asteroids are considered through a generalization of the Harris (1979) model of asteroid spin rates' collisional evolution. Since a body in spin equilibrium rotates about its axis of maximum moment of inertia, the computation of the mean-squared impact parameter through averaging over all directions of flux is not strictly valid; nevertheless, these complications have been found not to alter the conclusions reachable by means of the simpler model.

Harris, A. W.↗

NASA NTRS1990

Time optimal feedback control of discrete systems with bounded inputs

Deadbeat control theory gives a feedback solution to the time optimal control of discrete time systems. Experience has shown the results to be impractical because they ignore bounds on the actuator strength. This paper develops two algorithms for generating time optimal control in feedback form for discrete systems with bounded controls. The results are also applicable for generating recovery regions and the set of reachable states. For multiple control problems a method of generating sublayers is developed which decreases off-line and on-line computational effort. Two algorithms are presented with somewhat different computational and storage requirements. The algorithms are practical within certain dimension constraints, and are natural for implementation with parallel processing.

Chen, Xin↗

NASA NTRS1990

Energy input and HI spin temperatures in low pressure regions

Two recent (unpublished) HI emission/absorption studies carried out with good sensitivity using the Arecibo 21 cm beam are discussed. One study (Colgan, Salpeter and Terzian) looked for high velocity clouds of our own Galaxy in absorption in the directions of 63 of the brightest continuum sources reachable with the Arecibo telescope. HI emission mapping in the neighborhood of these directions was also carried out. The other study (Corbelli and Schneider) looked for absorption along lines of sight to about 50 weaker sources which pass within a few diameters of nearby disk galaxies. Neither study detected any absorption.

Corbelli, E.↗

NASA NTRS1990

Performability analysis using semi-Markov reward processes

Beaudry (1978) proposed a simple method of computing the distribution of performability in a Markov reward process. Two extensions of Beaudry's approach are presented. The method is generalized to a semi-Markov reward process by removing the restriction requiring the association of zero reward to absorbing states only. The algorithm proceeds by replacing zero-reward nonabsorbing states by a probabilistic switch; it is therefore related to the elimination of vanishing states from the reachability graph of a generalized stochastic Petri net and to the elimination of fast transient states in a decomposition approach to stiff Markov chains. The use of the approach is illustrated with three applications.

Ciardo, Gianfranco↗

NASA NTRS1987

SPAN: Astronomy and astrophysics

The Space Physics Analysis Network (SPAN) is a multi-mission, correlative data comparison network which links science research and data analysis computers in the U.S., Canada, and Europe. The purpose of this document is to provide Astronomy and Astrophysics scientists, currently reachable on SPAN, with basic information and contacts for access to correlative data bases, star catalogs, and other astrophysic facilities accessible over SPAN.

Thomas, Valerie L.↗

NASA NTRS1991

Task sequence planning in a robot workcell using AND/OR nets

An approach to task sequence planning for a generalized robotic manufacturing or material handling workcell is described. Given the descriptions of the objects in this system and all feasible geometric relationships among these objects, an AND/OR net which describes the relationships of all feasible geometric states and associated feasibility criteria for net transitions is generated. This AND/OR net is mapped into a Petri net which incorporates all feasible sequences of operations. The resulting Petri net is shown to be bounded and have guaranteed properties of liveness, safeness, and reversibility. Sequences are found from the reachability tree of the Petri net. Feasibility criteria for net transitions may be used to generate an extended Petri net representation of lower level command sequences. The resulting Petri net representation may be used for on-line scheduling and control of the system of feasible sequences. A simulation example of the sequences is described.

Cao, Tiehua↗

NASA NTRS1991

Control of discrete event systems modeled as hierarchical state machines

The authors examine a class of discrete event systems (DESs) modeled as asynchronous hierarchical state machines (AHSMs). For this class of DESs, they provide an efficient method for testing reachability, which is an essential step in many control synthesis procedures. This method utilizes the asynchronous nature and hierarchical structure of AHSMs, thereby illustrating the advantage of the AHSM representation as compared with its equivalent (flat) state machine representation. An application of the method is presented where an online minimally restrictive solution is proposed for the problem of maintaining a controlled AHSM within prescribed legal bounds.

Brave, Y.↗

NASA NTRS1993

The SSABLE system - Automated archive, catalog, browse and distribution of satellite data in near-real time

Historically, locating and browsing satellite data has been a cumbersome and expensive process. This has impeded the efficient and effective use of satellite data in the geosciences. SSABLE is a new interactive tool for the archive, browse, order, and distribution of satellite date based upon X Window, high bandwidth networks, and digital image rendering techniques. SSABLE provides for automatically constructing relational database queries to archived image datasets based on time, data, geographical location, and other selection criteria. SSABLE also provides a visual representation of the selected archived data for viewing on the user's X terminal. SSABLE is a near real-time system; for example, data are added to SSABLE's database within 10 min after capture. SSABLE is network and machine independent; it will run identically on any machine which satisfies the following three requirements: 1) has a bitmapped display (monochrome or greater); 2) is running the X Window system; and 3) is on a network directly reachable by the SSABLE system. SSABLE has been evaluated at over 100 international sites. Network response time in the United States and Canada varies between 4 and 7 s for browse image updates; reported transmission times to Europe and Australia typically are 20-25 s.

Simpson, James J.↗

NASA NTRS1989

A dual-armed free flyer

This summary presents the main conclusions and results of the design studies conducted by a group of 13 students at the University of Maryland. The students, all participants in the spring 1989 course ENEE418 in the Electrical Engineering Department, met weekly in a two-hour class to discuss and evaluate design alternatives. The main problem considered was the design and control of a planar testbed simulating a free-flying space robot for applications in satellite servicing. This project grew out of the 1988 class where a dual-armed free flyer (DAFF) was designed and partially built. This year, a group of six students continued the development of the DAFF, achieving computer-controlled motion of the DAFF's arms. All fabrication and testing of the DAFF is being conducted in the Intelligent Servosystems Laboratory at the University of Maryland. While the work related to the design and development of the DAFF is the main subject of the report, it should be noted that other students in the ENEE418 class have investigated additional issues related to manipulation in space. For example, one group studied a new parallel linkage based manipulator for fine motion applications such as in assembly operations in space. They investigated the mechanism's kinematics, its reachable workspace, and precision of applying forces and torques. In yet another project, a student set out to measure and map the friction characteristics of the actuators used in the Modular Dextrous Hand, which has been recently developed in the Intelligent Servosystems Laboratory. The results are expected to help compensate for this friction, which is a highly nonlinear disturbance and presents significant problems in high-precision, low-speed operations. This summary continues with the discussion of the results obtained by the group of students who have been working on developing the DAFF testbed.

Beck, D.↗

NASA NTRS1992

Mass spectrometer-pyrolysis experiment for atmospheric and soil sample analysis on the surface of Mars

Results from the Viking mission will form the foundation for future in-depth investigations of atmosphere-surface interactions on Mars. The two Viking landers carried impressive instrumentation to obtain and analyze soil samples: the sites were observed by cameras, and the collector head was located on a long boom and allowed the collection of large samples at various depths. A selection of grain sizes was possible and a distribution system supplied a number of experiments with soil material. Despite stationary vehicles, a wide sampling field was reachable. The GCMS system, responsible for atmospheric as well as surface soil analysis, worked well on both landers. Atmospheric measurements resulted in the determination of the abundance of noble gases as well as of other molecular species. Isotopic composition measurements included the important ratios of C-13/C-12, N-15/N-14, and Ar-36/Ar-40. To verify these past results and to advance detailed studies of noble gas isotope ratios and minor constituents, better instrument sensitivities, higher precision, and lower background contributions are required in future Mars missions. Soil analysis during the Viking mission concentrated on organic material. Heating cycles were performed to 500 C and only water and carbon dioxide were identified. Higher pyrolysis temperatures are of primary importance to advance our understanding of the mineralogy and gas loading of surface material and atmospheric exchange.

Mauersberger, Konrad↗

NASA NTRS1992

Deep near-infrared survey of the Southern Sky (DENIS)

DENIS (Deep Near-Infrared Survey of the Southern Sky) will be the first complete census of astronomical sources in the near-infrared spectral range. The challenges of this novel survey are both scientific and technical. Phenomena radiating in the near-infrared range from brown dwarfs to galaxies in the early stages of cosmological evolution, the scientific exploitation of data relevant over such a wide range requires pooling expertise from several of the leading European astronomical centers. The technical challenges of a project which will provide an order of magnitude more sources than given by the IRAS space mission, and which will involve advanced data-handling and image-processing techniques, likewise require pooling of hardware and software resources, as well as of human expertise. The DENIS project team is composed of some 40 scientists, computer specialists, and engineers located in 5 European Community countries (France, Germany, Italy, The Netherlands, and Spain), with important contributions from specialists in Australia, Brazil, Chile, and Hungary. DENIS will survey the entire southern sky in 3 colors, namely in the I band at a wavelength of 0.8 micron, in the 1.25 micron J band, and in the 2.15 micron K' band. The sensitivity limits will be 18th magnitude in the I band, 16th in the J band, and 14.5th in the K' band. The angular resolution achieved will be 1 arcsecond in the I band, and 3.0 arcseconds in the J and K' bands. The European Southern Observatory 1 m telescope on La Silla will be dedicated to survey use during operations expected to last four years, commencing in late 1993. DENIS aims to provide the astronomical community with complete digitized infrared images of the full southern sky and a catalogue of extracted objects, both of the best quality and in readily accessible form. This will be achieved through dedicated software packages and specialized catalogues, and with assistance from the Leiden and Paris Data Analysis Centers. The data will be mailed on DAT tapes from La Silla to the two Data Analysis Centers for further processing. Two centers are necessary because of the shear quantity of data and because of the complementary roles the Centers will develop, each exploiting its own particular expertise. The Leiden Data Analysis Center (LDAC) will extract objects, establish their parameters, and archive them into a source catalogue. The LDAC will collaborate with the Groningen Space Research group that has gained experience in infrared image handling from the IRAS satellite. The Paris Data Analysis Center (PDAC) will be responsible for archiving and preprocessing the raw data to provide a homogeneous set of data suitable for further reduction in both the Leiden and Paris data analysis streams. The PDAC will also extract and archive images for the sources flagged by the LDAC as extended, and create a catalogue of galaxies. In exploiting the DENIS data we foresee the collaboration with other data analysis centers, such as the Observatoire de Lyon where the relevant DENIS catalogue of galaxies can be incorporated into their extragalactic database. The Point Sources and the Small Extended Sources catalogues could be incorporated in the Late Type Star database at Montpellier, and in the SIMBAD database as CDS. At Groningen the IRAS Point Source catalogue and/or image data can be merged with the DENIS catalogues. At Meudon algorithms and software will be developed with main goal assessing the limits reachable for the homogeneity and intrinsic consistency between the ensemble of the images in the data base (flat-fielding, relative positioning of the fields, bootstrapped flux calibration) but also for the data analysis.

Deul, E.↗

NASA NTRS1995

Model checking

Automatic formal verification methods for finite-state systems, also known as model-checking, successfully reduce labor costs since they are mostly automatic. Model checkers explicitly or implicitly enumerate the reachable state space of a system, whose behavior is described implicitly, perhaps by a program or a collection of finite automata. Simple properties, such as mutual exclusion or absence of deadlock, can be checked by inspecting individual states. More complex properties, such as lack of starvation, require search for cycles in the state graph with particular properties. Specifications to be checked may consist of built-in properties, such as deadlock or 'unspecified receptions' of messages, another program or implicit description, to be compared with a simulation, bisimulation, or language inclusion relation, or an assertion in one of several temporal logics. Finite-state verification tools are beginning to have a significant impact in commercial designs. There are many success stories of verification tools finding bugs in protocols or hardware controllers. In some cases, these tools have been incorporated into design methodology. Research in finite-state verification has been advancing rapidly, and is showing no signs of slowing down. Recent results include probabilistic algorithms for verification, exploitation of symmetry and independent events, and the use symbolic representations for Boolean functions and systems of linear inequalities. One of the most exciting areas for further research is the combination of model-checking with theorem-proving methods.

Dill, David L.↗

NASA NTRS1997

Analyzing Tabular and State-Transition Requirements Specifications in PVS

We describe PVS's capabilities for representing tabular specifications of the kind advocated by Parnas and others, and show how PVS's Type Correctness Conditions (TCCs) are used to ensure certain well-formedness properties. We then show how these and other capabilities of PVS can be used to represent the AND/OR tables of Leveson and the Decision Tables of Sherry, and we demonstrate how PVS's TCCs can expose and help isolate errors in the latter. We extend this approach to represent the mode transition tables of the Software Cost Reduction (SCR) method in an attractive manner. We show how PVS can check these tables for well-formedness, and how PVS's model checking capabilities can be used to verify invariants and reachability properties of SCR requirements specifications, and inclusion relations between the behaviors of different specifications. These examples demonstrate how several capabilities of the PVS language and verification system can be used in combination to provide customized support for specific methodologies for documenting and analyzing requirements. Because they use only the standard capabilities of PVS, users can adapt and extend these customizations to suit their own needs. Those developing dedicated tools for individual methodologies may find these constructions in PVS helpful for prototyping purposes, or as a useful adjunct to a dedicated tool when the capabilities of a full theorem prover are required. The examples also illustrate the power and utility of an integrated general-purpose system such as PVS. For example, there was no need to adapt or extend the PVS model checker to make it work with SCR specifications described using the PVS TABLE construct: the model checker is applicable to any transition relation, independently of the PVS language constructs used in its definition.

Owre, Sam↗