Search NASA⌕ Search

SEARCH · Search NASA

Results for “Industrial 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 361 records · Page 20
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

Modeling Guidelines for Code Generation in the Railway Signaling Context

Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue. Introduction of Model-Based Development (MBD) and code generation in the industrial safety-critical sector created a crucial paradigm shift in the development process of dependable systems. While traditional software development focuses on the code, with MBD practices the focus shifts to model abstractions. The change has fundamental implications for safety-critical systems, which still need to guarantee a high degree of confidence also at code level. Usage of the Simulink/Stateflow platform for modeling, which is a de facto standard in control software development, does not ensure by itself production of high-quality dependable code. This issue has been addressed by companies through the definition of modeling rules imposing restrictions on the usage of design tools components, in order to enable production of qualified code. The MAAB Control Algorithm Modeling Guidelines (MathWorks Automotive Advisory Board)[3] is a well established set of publicly available rules for modeling with Simulink/Stateflow. This set of recommendations has been developed by a group of OEMs and suppliers of the automotive sector with the objective of enforcing and easing the usage of the MathWorks tools within the automotive industry. The guidelines have been published in 2001 and afterwords revisited in 2007 in order to integrate some additional rules developed by the Japanese division of MAAB [5]. The scope of the current edition of the guidelines ranges from model maintainability and readability to code generation issues. The rules are conceived as a reference baseline and therefore they need to be tailored to comply with the characteristics of each industrial context. Customization of these recommendations has been performed for the automotive control systems domain in order to enforce code generation [7]. The MAAB guidelines have been found profitable also in the aerospace/avionics sector [1] and they have been adopted by the MathWorks Aerospace Leadership Council (MALC). General Electric Transportation Systems (GETS) is a well known railway signaling systems manufacturer leading in Automatic Train Protection (ATP) systems technology. Inside an effort of adopting formal methods within its own development process, GETS decided to introduce system modeling by means of the MathWorks tools [2], and in 2008 chose to move to code generation. This article reports the experience performed by GETS in developing its own modeling standard through customizing the MAAB rules for the railway signaling domain and shows the result of this experience with a successful product development story.

Ferrari, Alessio↗
NASA NTRS2016

Integration Tests of the 4 kW-class High Voltage Hall Accelerator Power Processing Unit with the HiVHAc and the SPT-140 Hall Effect Thrusters

NASAs Science Mission Directorate is sponsoring the development of a 4 kW-class Hall propulsion system for implementation in NASA science and exploration missions. The main components of the system include the High Voltage Hall Accelerator (HiVHAc), an engineering model power processing unit (PPU) developed by Colorado Power Electronics, and a xenon flow control module (XFCM) developed by VACCO Industries. NASA Glenn Research Center is performing integrated tests of the Hall thruster propulsion system. This presentation presents results from integrated tests of the PPU and XFCM with the HiVHAc engineering development thruster and a SPT-140 thruster provided by Space System Loral. The results presented in this paper demonstrate thruster discharge initiation, open-loop and closed-loop control of the discharge current with anode flow for both the HiVHAc and the SPT-140 thrusters. Integrated tests with the SPT-140 thruster indicated that the PPU was able to repeatedly initiate the thrusters discharge, achieve steady state operation, and successfully throttle the thruster between 1.5 and 4.5 kW. The measured SPT-140 performance was identical to levels reported by Space Systems Loral.

Hall Thrusters↗
NASA NTRS1972

Seventh Annual Conference on Manual Control

The Seventh Annual NASA/AF/University Conference on Manual Control was held at the University of Southern California from June 2-4, 1971. Some eighty specialists, including colleagues from Canada, Netherlands and West Germany, attended the Conference, which was organized by the authors of this Summary. Generally at this conference there was less emphasis on theory and more on applications than at some previous meetings. In addition to the well-established areas of human operator modeling and display systems, this conference devoted considerable time to the extensions of manual control theory to such diverse areas as automobile driving, air traffic control and industrial management. This interest in meaningful applications of the existing theoretical knowledge in man-machine systems is encouraging and timely.

Source record↗
NASA NTRS2016

Integration Tests of the 4 kW-Class High Voltage Hall Accelerator Power Processing Unit with the HiVHAc and the SPT-140 Hall Effect Thrusters

NASA's Science Mission Directorate is sponsoring the development of a 4 kW-class Hall propulsion system for implementation in NASA science and exploration missions. The main components of the system include the High Voltage Hall Accelerator (HiVHAc), an engineering model power processing unit (PPU) developed by Colorado Power Electronics, and a xenon flow control module (XFCM) developed by VACCO Industries. NASA Glenn Research Center is performing integrated tests of the Hall thruster propulsion system. This paper presents results from integrated tests of the PPU and XFCM with the HiVHAc engineering development thruster and a SPT-140 thruster provided by Space System Loral. The results presented in this paper demonstrate thruster discharge initiation along with open-loop and closed-loop control of the discharge current with anode flow for both the HiVHAc and the SPT-140 thrusters. Integrated tests with the SPT-140 thruster indicated that the PPU was able to repeatedly initiate the thruster's discharge, achieve steady state operation, and successfully throttle the thruster between 1.5 and 4.5 kW. The measured SPT-140 performance was identical to levels reported by Space Systems Loral.

Power Processing Unit↗
DOE OSTI2025

ON THE EFFECTIVENESS OF LLMS IN UNIT TEST GENERATION FOR STRUCTURED TEXT PROGRAMS

The reliability of industrial automation systems heavily depends on the correctness of Programmable Logic Controller (PLC) programs, which are often written in Structured Text (ST). While Large Language Models (LLMs) have shown promise in automating test generation for mainstream programming languages, their effectiveness for the syntactically strict ST language remains underexplored. This thesis presents a systematic empirical evaluation of three state-of-the-art LLMs—GPT-4o, Gemini 2.5 Pro, and Claude Sonnet 4.5—for generating ST unit tests. We examine three prompting strategies: Natural Language (NL), Code Language (CL), and Chain-of-Thought (CoT), across a curated set of 11 ST function blocks. The quality of the generated tests is assessed using Compilation Success Rate (CSR), Statement Coverage (SC), and Branch Coverage (BC). In the zero-shot setting, Claude Sonnet 4.5 achieves the highest CSR, while Gemini 2.5 Pro consistently delivers the best statement and branch coverage, particularly under CL prompts. By incorporating a one-shot CL prompt, all models exhibit substantial improvements—most notably GPT-4o, whose CSR increases from 45.45% to 90.91%, with substantial gains in both SC and BC. To further contextualize these findings, we compare GPT-4o’s one-shot results with PLCAutoTester, a state-ofthe- art ST unit test generation tool, on an additional benchmark dataset. While LLMgenerated tests approach competitive coverage levels, PLCAutoTester maintains significantly higher and more stable coverage across programs. This study provides the first comprehensive benchmark of modern LLMs for ST unit testing, highlighting their strengths, limitations, and improvements through one-shot prompting, and positioning their performance relative to specialized automated testing tools in industrial automation.

42 ENGINEERING↗
DOE OSTI2024

Impacts of Control, Penetration, and Distribution of Embedded Storage Network in Bulk Power System

The current shift in generation mix from fossil fuel plants towards variable and intermittent renewable energy sources is poised to create a future grid with reduced physical inertia and mismatch between generation and demand. Embedded storage, which is a concept of a coordinated network of storage units sited at the interface between the transmission and distribution system, is proposed as a mechanism to provide a buffer between generation and demand. This paper proposes an automated framework to model and integrate embedded storage in large-scale power systems with industry-grade grid-following (GFL) and grid-forming (GFM) control technologies. More importantly, the developed framework is used to explore the impacts of embedded storage control, penetration, location, and capacity in providing fast frequency response to the grid under contingency events such as generator trips and faults. The framework and study are conducted using the transient-stability simulation tool PSS/E and a realistic model of the Puerto Rico grid as a chosen test system. The simulation results show that GFL and GFM embedded storage, distributed throughout the system, with sufficient penetration and capacity, can effectively improve primary frequency response of the system under the studied contingency events.

Battery Energy Storage, embedded storage, grid-for↗
NASA NTRS2016

Green Propellant Test Capabilities of the Altitude Combustion Stand at the NASA Glenn Research Center

The NASA Glenn Research Center (GRC) is committed to providing simulated altitude rocket test capabilities to NASA programs, other government agencies, private industry partners, and academic partners. A primary facility to support those needs is the Altitude Combustion Stand (ACS). ACS provides the capability to test combustion components at a simulated altitude up to 100,000 ft. (approx.0.2 psia/10 Torr) through a nitrogen-driven ejector system. The facility is equipped with an axial thrust stand, gaseous and cryogenic liquid propellant feed systems, data acquisition system with up to 1000 Hz recording, and automated facility control system. Propellant capabilities include gaseous and liquid hydrogen, gaseous and liquid oxygen, and liquid methane. A water-cooled diffuser, exhaust spray cooling chamber, and multi-stage ejector systems can enable run times up to 180 seconds to 16 minutes. The system can accommodate engines up to 2000-lbf thrust, liquid propellant supply pressures up to 1800 psia, and test at the component level. Engines can also be fired at sea level if needed. The NASA GRC is in the process of modifying ACS capabilities to enable the testing of green propellant (GP) thrusters and components. Green propellants are actively being explored throughout government and industry as a non-toxic replacement to hydrazine monopropellants for applications such as reaction control systems or small spacecraft main propulsion systems. These propellants offer increased performance and cost savings over hydrazine. The modification of ACS is intended to enable testing of a wide range of green propellant engines for research and qualification-like testing applications. Once complete, ACS will have the capability to test green propellant engines up to 880 N in thrust, thermally condition the green propellants, provide test durations up to 60 minutes depending on thrust class, provide high speed control and data acquisition, as well as provide advanced imaging and diagnostics such as infrared (IR) imaging.

Testing↗
NASA NTRS1992

Communications and control for electric power systems

A long-term strategy for the integration of new control technologies for power generation and delivery is proposed: the industry would benefit from an evolutionary approach that would adapt to its needs future technologies as well as those that it has so far not heeded. The integrated operation of the entire system, including the distribution system, was proposed as a future goal. The AbNET communication protocols are reviewed, and additions that were made in 1991 are described. In the original network, traffic was controlled by polling at the master station, located at the substation, and routed by a flooding algorithm. In a revised version, the polling and flooding are modified. The question of interfacing low-energy measurement transducers or instrument transformers is considered. There is presently little or no agreement on what the output of optical current transducers (CT's) should be. Appendices deal with the calibration of current transducers; with Delta modulation, a simple means of serially encoding the output of an OCT; and with noise shaping, a method of digital signal processing that trades off the number of bits in a digital sample for a higher number of samples.

Kirkham, H.↗
NASA NTRS2019

Development Considerations for Implementing a Voice-Controlled Spacecraft System

As computational power and speech recognition algorithms improve, the consumer market will see better-performing speech recognition applications. The cell phone and Internet-related service industry have further enhanced speech recognition applications using artificial intelligence and statistical data-mining techniques. These improvements to speech recognition technology (SRT) may one day help astronauts on future deep space human missions that require control of complex spacecraft systems or spacesuit applications by voice. Though SRT and more advanced speech recognition techniques show promise, use of this technology for a space application such as vehicle/habitat/spacesuit requires careful considerations. This paper provides considerations and guidance for the use of SRT in voice-controlled spacecraft systems (VCSS) applications for space missions, specifically in command-and-control (C2) applications where the commanding is user-initiated. First, current SRT limitations as known at the time of this report are given. Then, highlights of SRT used in the space program provide the reader with a history of some of the human spaceflight applications and research. Next, an overview of the speech production process and the intrinsic variations of speech are provided. Finally, general guidance and considerations are given for the development of a VCSS using a human-centered design approach for space applications that includes vocabulary selection and performance testing, as well as VCSS considerations for C2 dialogue management design, feedback, error handling, and evaluation/usability testing.

Salazar, George↗
DOE OSTI2022

Industrialized and Robotic Construction Advances in Terrestrial Construction and Opportunities in Space Construction

Advanced Building Construction (ABC) methods such as industrialized prefabrication and robotically controlled additive deposition are becoming promising technologies to support rapid construction of buildings at volume and scale. However, apart from the structural shell of the building, optimal integration of other systems – mechanical, electrical, plumbing, thermal, power generation, storage and distribution, is key to enabling functional buildings. Leveraging ABC methods to integrate such systems in the buildings requires the building design to be optimized for constructability constraints imposed by the industrialized and robotically controlled production setups entailing such ABC methods. The Industrialized Construction Innovation (ICI) team at the National Renewable Energy Laboratory (NREL) has been focusing on research and development of such ABC technologies and processes that can lead to production of buildings which are resilient to extreme climatic conditions at reduced cost and time. There is a potential synergy between such advancements in terrestrial construction, which can be leveraged for the benefit of space (orbital and extra-terrestrial) construction. Similarly, advances in space construction can lend itself to accelerated adoption of robotic construction methods in terrestrial construction. This presentation will give an overview of selective research efforts of the ICI team at NREL, along with a vision for potential collaborations with agencies like NASA.

3D printing↗
NASA NTRSDate not supplied

A Verification Framework for Runtime Assurance of Autonomous UAS

Runtime Assurance (RTA) is a design-time architecture for safety-critical systems where an internal monitor acts upon detecting a violation of a property. The simplex architecture is an instance of RTA, where the action taken is to hand control of the overall system to a trusted controller when an untrusted one violates a safety property. Simplex RTA is emerging as a method for allowing AI/ML and other unverified software to be integrated into safety-critical applications like aircraft. To this end, the American Society for Testing and Materials (ASTM) and NASA have each published guidelines on the use of RTA in such systems. In the simplex RTA framework, a system has an advanced controller (AC) and a reversionary controller (RC). The system is allowed to operate with the AC until a runtime monitor detects that some property has been violated and then the RC takes over. Assuming that the sample rate of the monitor will detect improper functioning with enough time for the RC to correct the impending problem, and that the RC is trusted, the system will operate as intended. This use of the simplex RTA framework can allow for the integration of untrusted, but possibly more performant, controllers in a safe way. This paper presents a formalization of a simplex RTA framework in the Prototype Verification System (PVS) theorem prover using an embedding of differential dynamic logic (DDL) called Plaidypvs. A novel feature of this framework is that it can be instantiated at different levels of abstraction. This feature allows for the formal verification of a system with an untrusted black box component, such as an AI/ML controller. This paper does not address the many difficulties in deploying RTA in an industrial-level system. Instead, the focus is on the formal verification of the simplex RTA framework in the language of hybrid programs. Hybrid programs are programs that include both discrete and continuous dynamics and can be used to model complex cyber-physical systems. Plaidypvs is a tool that enables formalization of hybrid programs in the PVS theorem prover. Plaidypvs enables the verification of the general simplex RTA framework and then, by specializing some components of the hybrid program, verifying instances of the framework while treating the untrusted component as a black box. A selection of Unmanned Aircraft Systems (UAS) operations are shown as instances of the general RTA framework in PVS. This offers the benefit of design time verification of relevant safety properties to the system, and it also gives requirements on the sample rate of sensors that determine the time interval in which the ‘switch’ property of the RTA framework is checked.

PVS↗
NASA NTRS1987

IECON '87: Industrial applications of control and simulation; Proceedings of the 1987 International Conference on Industrial Electronics, Control, and Instrumentation, Cambridge, MA, Nov. 3, 4, 1987

Recent advances in control-system design and simulation are discussed in reviews and reports. Among the topics considered are fast algorithms for generating near-optimal binary decision programs, trajectory control of robot manipulators with compensation of load effects via a six-axis force sensor, matrix integrators for real-time simulation, a high-level control language for an autonomous land vehicle, and a practical engineering design method for stable model-reference adaptive systems. Also addressed are the identification and control of flexible-limb robots with unknown loads, adaptive control and robust adaptive control for manipulators with feedforward compensation, adaptive pole-placement controllers with predictive action, variable-structure strategies for motion control, and digital signal-processor-based variable-structure controls.

Hartley, Tom T.↗
NASA NTRS1982

PKI solar thermal plant evaluation at Capitol Concrete Products, Topeka, Kansas

A system feasibility test to determine the technical and operational feasibility of using a solar collector to provide industrial process heat is discussed. The test is of a solar collector system in an industrial test bed plant at Capitol Concrete Products in Topeka, Kansas, with an experiment control at Sandia National Laboratories, Albuquerque. Plant evaluation will occur during a year-long period of industrial utilization. It will include performance testing, operability testing, and system failure analysis. Performance data will be recorded by a data acquisition system. User, community, and environmental inputs will be recorded in logs, journals, and files. Plant installation, start-up, and evaluation, are anticipated for late November, 1981.

Hauger, J. S.↗
NASA NTRS1980

Noise Protection

Environmental Health Systems puts forth an increasing effort in the U.S. to develop ways of controlling noise, particularly in industrial environments due to Federal and State laws, labor union insistence and new findings relative to noise pollution impact on human health. NASA's Apollo guidance control system aided in the development of a noise protection product, SMART. The basis of all SMART products is SMART compound a liquid plastic mixture with exceptional energy/sound absorbing qualities. The basic compound was later refined for noise protection use.

Source record↗
NASA NTRSDate not supplied

Towards Understanding Data Requirements for Developing Automatic Speech Recognition Systems for Air Traffic Control

In recent years, the application of automatic speech recognition has gained popularity across diverse industries, including aviation. Given the many applications focusing on transcribing air traffic control and management communication, this paper explores the training of OpenAI's Whisper model across multiple existing public and private air traffic control voice datasets in an effort to improve robustness. Combining roughly 60+ hours of various air traffic datasets, our goal is to train a unified Whisper model and expect an average word error rate reduction across testing datasets. Furthermore, this work aims to understand the data quantity requirements for achieving state-of-the art results by comprehensively training Whisper on varying dataset sizes. This work has the potential to improve automatic speech recognition performance across the domain, improve understanding of the quantity of data required by an aviation speech recognition system, and lastly provide metrics to compare and improve upon in future research.

ATC↗
DOE OSTI2022

Cyber-Physical Security and Resiliency Analysis Testbed for Critical Microgrids with IEEE 2030.5: Preprint

IEEE 2030.5, also known as the Common Smart Inverter Standard (CSIP) is a protocol that specifies the interface between the end user and the smart grid. This standard was proposed recently, and provides many functions which if implemented incorrectly might lead to vulnerabilities. This paper proposes a cyber-physical microgrid testbed using OpenDSS and IEEE 2030.5 that can be used to study the performance of the CSIP protocol various scenarios. For critical microgrid installations, it is essential that the critical loads are served in spite of multiple contingencies. A resiliency analysis is performed for a military microgrid to study its performance and the results are analyzed.

CVSS↗
NASA NTRS1978

Making aerospace technology work for the automotive industry, introduction

NASA derived technology already in use in the automotive industry include: (1) developments in electronics design, computer systems, and quality control methods for line testing of cars and trucks; (2) a combustion analysis computer program for automotive engine research and development; (3) an infrared scanner and television display for analyzing tire design and performance, and for studying the effects of heat on the service life of V-belts, shock mounts, brakes, and rubber bearings; (4) exhaust gas analyzers for trouble shooting and emissions certification; (5) a device for reducing noise from trucks; and (6) a low cost test vehicle for measuring highway skid resistance. Services offered by NASA to facilitate access to its technology are described.

Olson, W. T.↗
NASA NTRS1985

Differential Pressure Helps Seal Ball Valve

Leakage suppressed despite O-ring wear. New design eliminates leakage in vacuum selector valve on Space Shuttle waste-control subsystem. Applied to improve sealing in laboratory and industrial vacuum systems and other plumbing involving switching among lines with pressure differentials of order of 1 atmosphere (0.1 MPa).

Mangialardi, J. K.↗