Search NASA⌕ Search

SEARCH · Search NASA

Results for “Automation & control systems”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

A Tool for Requirements-Based Programming

Absent a general method for mathematically sound, automated transformation of customer requirements into a formal model of the desired system, developers must resort to either manual application of formal methods or to system testing (either manual or automated). While formal methods have afforded numerous successes, they present serious issues, e.g., costs to gear up to apply them (time, expensive staff), and scalability and reproducibility when standards in the field are not settled. The testing path cannot be walked to the ultimate goal, because exhaustive testing is infeasible for all but trivial systems. So system verification remains problematic. System or requirements validation is similarly problematic. The alternatives available today depend on either having a formal model or pursuing enough testing to enable the customer to be certain that system behavior meets requirements. The testing alternative for non-trivial systems always have some system behaviors unconfirmed and therefore is not the answer. To ensure that a formal model is equivalent to the customer s requirements necessitates that the customer somehow fully understands the formal model, which is not realistic. The predominant view that provably correct system development depends on having a formal model of the system leads to a desire for a mathematically sound method to automate the transformation of customer requirements into a formal model. Such a method, an augmentation of requirements-based programming, will be briefly described in this paper, and a prototype tool to support it will be described. The method and tool enable both requirements validation and system verification for the class of systems whose behavior can be described as scenarios. An application of the tool to a prototype automated ground control system for NASA mission is presented.

Rash, James L.↗
DOE OSTI2023

Necessary and sufficient conditions for quadratic stabilizability of switched systems on non-uniform time domains

In this paper, we consider the quadratic stabilizability via state feedback for a particular class of switched systems that evolve on a non-uniform time domain by introducing time scales theory. The system considered switches between a continuous-time subsystem with variable lengths and a discrete-time subsystem with variable discrete step sizes. Necessary and sufficient conditions are derived to guarantee the quadratic stability of this class of switched systems via a switching state feedback law based on the existence of a common positive definite matrix satisfying the quadratic stabilizability condition by considering that the two subsystems are unstable. By state feedback, we mean that the switching among subsystems depends on the system states. Current results for this kind of state switching feedback control are derived only for switched systems evolving on a continuous time domain or a discrete time domain with fixed step’s size. These results are not applicable for the particular class of switched systems where there is a mixing between the continuous and discrete dynamics. This motivates the derivation of a new and more general state feedback control law for switched systems in this work. Here, a numerical example illustrating the results is presented.

42 ENGINEERING↗
NASA NTRS1997

Sensor Validation Software

Under a Small Business Innovation Research contract from Lewis Research Center, Expert Microsystems, Inc. developed SureSense, real-time sensor data validation software. This ultra-reliable control and sensing system product was produced through a partnership in 1994 between Expert Microsystems and Intelligent Software Associates, Inc. SureSense was created in response to a NASA need for verifying the reliability of sensor input that operated advanced automation and control systems. The immediate applications included improving the safety and reliability of Space Shuttle Main Engine operations. The company has structured the software to enable application to virtually any process control environment, such as computer integrated manufacturing, power plants, and hazardous gas sensing and control systems.

Source record↗
NASA NTRS1994

VSTOL Systems Research Aircraft (VSRA) Harrier

NASA's Ames Research Center has developed and is testing a new integrated flight and propulsion control system that will help pilots land aircraft in adverse weather conditions and in small confined ares (such as, on a small ship or flight deck). The system is being tested in the V/STOL (Vertical/Short Takeoff and Landing) Systems research Aircraft (VSRA), which is a modified version of the U.S. Marine Corps's AV-8B Harrier jet fighter, which can take off and land vertically. The new automated flight control system features both head-up and panel-mounted computer displays and also automatically integrates control of the aircraft's thrust and thrust vector control, thereby reducing the pilot's workload and help stabilize the aircraft for landing. Visiting pilots will be encouraged to test the new system and provide formal evaluation flights data and feedback. An actual flight test and the display panel of control system are shown in this video.

Source record↗
NASA NTRS1992

Automated Power-Distribution System

Autonomous power-distribution system includes power-control equipment and automation equipment. System automatically schedules connection of power to loads and reconfigures itself when it detects fault. Potential terrestrial applications include optimization of consumption of power in homes, power supplies for autonomous land vehicles and vessels, and power supplies for automated industrial processes.

Ashworth, Barry↗
NASA NTRS1987

An expert system for air traffic control system

The objective was to design a control logic which automates all or part of the guidance function for air traffic control systems. Particular interest was focused on automation of the terminal area control system. A preliminary study was done on the development of an expert system. The system may be used to assist controllers by providing them with feasible options in guiding each aircraft in the control area to its desired destination.

Sensui, Takashi↗
NASA NTRS1993

Investigation of cloud/water vapor motion winds from geostationary satellite

This report summarizes the research work accomplished on the NASA grant contract NAG8-892 during 1992. Research goals of this contract are the following: to complete upgrades to the Cooperative Institute for Meteorological Satellite Studies (CIMSS) wind system procedures for assigning heights and incorporating first guess information; to evaluate these modifications using simulated tracer fields; to add an automated quality control system to minimize the need for manual editing, while maintaining product quality; and to benchmark the upgraded algorithm in tests with NMC and/or MSFC. Work progressed on all these tasks and is detailed. This work was done in collaboration with CIMSS NOAA/NESDIS scientists working on the operational winds software, so that NASA funded research can benefit NESDIS operational algorithms.

Source record↗
NASA NTRS1979

An approach to automated longwall mining

The longwall system of mining coal, providing advantages in the areas of productivity as well as health and safety, is described, and technological developments leading to a full automation of the system are discussed. In the longwall system large blocks of coal (up to 600 feet wide and up to 5000 feet long) are developed, with each block mined out by taking successive slices across the short dimension of the block and loading the broken coal onto a conveyor. A self-advancing system supports the roof over the length of the face throughout cutting and loading, with the supports advanced with the face, and the roof allowed to collapse behind them. A double-ranging drum longwall shearer provides the system with an efficient yaw, roll, and variable-thickness vertical control. Currently two machine operators function as error detectors and controllers. It is shown that electronic sensors can lead to a fully automated vertical control system, and automatic roll control is achievable with available instruments and machine tilt actuators.

Palowitch, E. R.↗
NASA NTRS1993

Performance consequences of automation-induced 'complacency'

The effect of variations in the reliability of an automated monitoring system on human operator detection of automation failures was examined in two experiments. For four 30-min sessions, 40 subjects performed an IBM PC-based flight simulation that included manual tracking and fuel-management tasks, as well as a system-monitoring task that was under automation control. Automation reliability - the percentage of system malfunctions detected by the automation routine - either remained constant at a low or high level over time or alternated every 10 min from low to high. Operator detection of automation failures was substantially worse for constant-reliability than for variable-reliability automation after about 20 min under automation control, indicating that the former condition induced 'complacency'. When system monitoring was the only task, detection was very efficient and was unaffected by variations in automation reliability. The results provide the first empirical evidence of the performance consequences of automation-induced 'complacency'. We relate findings to operator attitudes toward automation and discuss implications for cockpit automation design.

Parasuraman, Raja↗