Search NASA⌕ Search

SEARCH · Search NASA

Results for “Multi-state system”

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.

A genetic technique for planning a control sequence to navigate the state space with a quasi-minimum-cost output trajectory for a non-linear multi-dimnensional system

There are many multi-stage optimization problems that are not easily solved through any known direct method when the stages are coupled. For instance, we have investigated the problem of planning a vehicle's control sequence to negotiate obstacles and reach a goal in minimum time. The vehicle has a known mass, and the controlling forces have finite limits. We have developed a technique that finds admissible control trajectories which tend to minimize the vehicle's transit time through the obstacle field. The immediate applications is that of a space robot which must rapidly traverse around 2-or-3 dimensional structures via application of a rotating thruster or non-rotating on-off for such vehicles is located at the Marshall Space Flight Center in Huntsville Alabama. However, it appears that the development method is applicable to a general set of optimization problems in which the cost function and the multi-dimensional multi-state system can be any nonlinear functions, which are continuous in the operating regions. Other applications included the planning of optimal navigation pathways through a transversability graph; the planning of control input for under-water maneuvering vehicles which have complex control state-space relationships; the planning of control sequences for milling and manufacturing robots; the planning of control and trajectories for automated delivery vehicles; and the optimization and athletic training in slalom sports.

Hein, C.↗

Reasoning about real-time systems with temporal interval logic constraints on multi-state automata

Models of real-time systems using a single paradigm often turn out to be inadequate, whether the paradigm is based on states, rules, event sequences, or logic. A model-based approach to reasoning about real-time systems is presented in which a temporal interval logic called TIL is employed to define constraints on a new type of high level automata. The combination, called hierarchical multi-state (HMS) machines, can be used to model formally a real-time system, a dynamic set of requirements, the environment, heuristic knowledge about planning-related problem solving, and the computational states of the reasoning mechanism. In this framework, mathematical techniques were developed for: (1) proving the correctness of a representation; (2) planning of concurrent tasks to achieve goals; and (3) scheduling of plans to satisfy complex temporal constraints. HMS machines allow reasoning about a real-time system from a model of how truth arises instead of merely depending of what is true in a system.

Gabrielian, Armen↗

Context and future directions for integrating forest carbon into sub-national climate mitigation planning in the RGGI region of the U.S.

International frameworks for climate mitigation that build from national actions have been developed under the United National Framework Convention on Climate Change and advanced most recently through the Paris Climate Agreement. In parallel, sub-national actors have set greenhouse gas (GHG) reduction goals and developed corresponding climate mitigation plans. Within the U.S., multi-state coalitions have formed to facilitate coordination of related science and policy. Here, utilizing the forum of the NASA Carbon Monitoring System’s Multi-State Working Group, we collected and reviewed climate mitigation plans for 11 states in the Regional Greenhouse Gas Initiative region of the Eastern U.S. For each state we reviewed the (a) policy framework for climate mitigation, (b) GHG reduction goals, (c) inclusion of forest activities in the state’s climate action plan, (d) existing science used to quantify forest carbon estimates, and (e) stated needs for forest carbon monitoring science. Across the region, we found important differences across all categories. While all states have GHG reduction goals and framework documents, nearly three-quarters of all states do not account for forest carbon when planning GHG reductions; those that do account for forest carbon use a variety of scientific methods with various levels of planning detail and guidance. We suggest that a common, efficient, standardized forest carbon monitoring system would provide important benefits to states and the geographic region as a whole. In addition, such a system would allow for more effective transparency and progress tracking to support state, national, and international efforts to increase ambition and implementation of climate goals.

Rachel L Lamb↗

CARETS: An experimental regional information system using ERTS data

The U. S. Geological Survey CARETS (Central Atlantic Regional Ecological Test Site)/ERTS investigation is testing the applicability of ERTS data as input to an environmental information system for a multi-state mid-Atlantic region surrounding the Chesapeake and Delaware Bays. The information system framework encompasses a flow of information through several stages from sensor to user, and involving evaluation and feedback from several potential users. Basic assumptions of the CARETS project model are that there is a measurable environmental impact associated with land use and land use change as determined with remote sensor data, and that the ERTS derived land use data sets, when properly calibrated, may thus provide regional planners and administrators with a shortcut to an understanding of the environmental changes that are going on in their regions.

Alexander, R. H.↗

The Evolution of Software and Its Impact on Complex System Design in Robotic Spacecraft Embedded Systems

The growth in computer hardware performance, coupled with reduced energy requirements, has led to a rapid expansion of the resources available to software systems, driving them towards greater logical abstraction, flexibility, and complexity. This shift in focus from compacting functionality into a limited field towards developing layered, multi-state architectures in a grand field has both driven and been driven by the history of embedded processor design in the robotic spacecraft industry.The combinatorial growth of interprocess conditions is accompanied by benefits (concurrent development, situational autonomy, and evolution of goals) and drawbacks (late integration, non-deterministic interactions, and multifaceted anomalies) in achieving mission success, as illustrated by the case of the Mars Reconnaissance Orbiter. Approaches to optimizing the benefits while mitigating the drawbacks have taken the form of the formalization of requirements, modular design practices, extensive system simulation, and spacecraft data trend analysis. The growth of hardware capability and software complexity can be expected to continue, with future directions including stackable commodity subsystems, computer-generated algorithms, runtime reconfigurable processors, and greater autonomy.

software↗

Reveal, A General Reverse Engineering Algorithm for Inference of Genetic Network Architectures

Given the immanent gene expression mapping covering whole genomes during development, health and disease, we seek computational methods to maximize functional inference from such large data sets. Is it possible, in principle, to completely infer a complex regulatory network architecture from input/output patterns of its variables? We investigated this possibility using binary models of genetic networks. Trajectories, or state transition tables of Boolean nets, resemble time series of gene expression. By systematically analyzing the mutual information between input states and output states, one is able to infer the sets of input elements controlling each element or gene in the network. This process is unequivocal and exact for complete state transition tables. We implemented this REVerse Engineering ALgorithm (REVEAL) in a C program, and found the problem to be tractable within the conditions tested so far. For n = 50 (elements) and k = 3 (inputs per element), the analysis of incomplete state transition tables (100 state transition pairs out of a possible 10(exp 15)) reliably produced the original rule and wiring sets. While this study is limited to synchronous Boolean networks, the algorithm is generalizable to include multi-state models, essentially allowing direct application to realistic biological data sets. The ability to adequately solve the inverse problem may enable in-depth analysis of complex dynamic systems in biology and other fields.

Liang, Shoudan↗

Ground-Based Lidar Measurements During the CALIPSO and Twilight Zone (CATZ) Campaign

The CALIPSO and Twilight Zone (CATZ) field campaign was carried out between June 26th and August 29th of 2007 in the multi-state Maryland-Virginia-Pennsylvania region of the U.S. to study aerosol properties and cloud-aerosol interactions during overpasses of the CALIPSO satellite. Field work was conducted on selected days when CALIPSO ground tracks occurred in the region. Ground-based measurements included data from multiple Cimel sunphotometers that were placed at intervals along a segment of the CALIPSO ground-track. These measurements provided sky radiance and AOD measurements to enable joints inversions and comparisons with CALIPSO retrievals. As part of this activity, four ground-based lidars provided backscatter measurements (at 523 nm) in the region. Lidars at University of Maryland Baltimore County (Catonsville, MD) and Goddard Space Flight Center (Greenbelt, MD) provided continuous data during the campaign, while two micro-pulse lidar (MPL) systems were temporarily stationed at various field locations directly on CALIPSO ground-tracks. As a result, thirteen on-track ground-based lidar observations were obtained from eight different locations in the region. In some cases, nighttime CALIPSO coincident measurements were also obtained. In most studies reported to date, ground-based lidar validation efforts for CALIPSO rely on systems that are at fixed locations some distance away from the satellite ground-track. The CATZ ground-based lidar data provide an opportunity to examine vertical structure properties of aerosols and clouds both on and off-track simultaneously during a CALIPSO overpass. A table of available ground-based lidar measurements during this campaign will be presented, along with example backscatter imagery for a number of coincident cases with CALIPSO. Results indicate that even for a ground-based measurements directly on-track, comparisons can still pose a challenge due to the differing spatio-temporal properties of the ground and satellite observations. The multiple-lidar data during the CATZ campaign is expected to provide additional information on regional aerosol and cloud dynamics for give overpass, and enable a more realistic assessment of ground-to-satellite correlations. Future work is anticipated to finalize calibrated lidar backscatter profiles and utilization of wind trajectory information to further enable comparisons to CALIPS data.

Berkoff, Timothy↗