Search NASA⌕ Search

SEARCH · Search NASA

Results for “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 91 records · Page 5

A Typing Discipline for High-Assurance Control Systems

This poster describes a typing discipline for high-assurance industrial systems based on three novel type systems. The first type system, information flow control (IFC), controls the flow of data through the system. The second system, dependent session types, restricts messages exchanged during the execution of a communication protocol to avoid dangerous states. The third system uses dimensional analysis to avoid subtle bugs that adversaries can exploit to cause the system to enter a dangerous state. This poster describes how a combination of these approaches can prevent sophisticated cyber attacks, such as the infamous Stuxnet incident, from occurring. In addition, we provide experimental evidence to support the claim that these approaches can be applied in control systems that are resource-constrained.

42 - ENGINEERING↗

Demonstrate FARM supervisory capabilities for a thermal energy storage problem for the DETAIL facility: IES Simulation Ecosystem Control System Development

The goal of the power dispatch problem for an Integrated Energy System (IES) is to adjust the power output and the heat flow of each component to maximize the profitability of the whole unit. Facilities that can integrate real-time digital signals, mock nuclear power, thermal energy storage and industrial heat use via high-temperature electrolysis were constructed at INL to support the research activities. The Dynamic Energy Technology and Integration Laboratory (DETAIL) houses the Microreactor Agile Non-nuclear Experimental Test Bed (MAGNET) and the Thermal Energy Distribution System (TEDS). In this report, the hierarchical control system architecture proposed in June 2023 milestone for the flexible operation of DETAIL facility is finalized and demonstrated. A brief description of the components and the corresponding Dymola models from the HYRBID repository is first provided. Then, the current control strategy is presented. In particular, the approach for generating the set-point trajectories to be fed to the PI controllers is analyzed, and its limits were identified. To preserve safe operation over both long-time and real-time horizons, the integration of a Supervisory Control layer embedding a modified version of FARM (Feasible Actuator Range Modifier) module is proposed. FARM is a component of the RAVEN-based FORCE framework designed to support HERON module at optimizing the operation of IES units. The proposed control system for DETAIL foresees FARM to be applied twice, i.e., the original version (“FARM-Validator”) aiding the solution of the power dispatch problem, and a modified version (“FARM-Supervisory”) coordinating the PID controllers. Despite the kernel of the two modules is the same, their tasks are quite different. The former intervenes at the beginning of each hour to prevent constraint violations over long time periods, the latter addresses real-time control tasks and monitors the response of constrained variables at a much finer time resolution. A tentative procedure for training the embedded Digital Twins with the experimental data is also proposed. Finally, the capabilities of the designed architecture and the impact of the added Supervisory Control layer are demonstrated by simulating a representative power dispatch scenario.

25 ENERGY STORAGE↗

The Role of Timing in Industrial Control Systems: A Primer

Accurate and synchronized time is an important dependency within an industrial control system. Manipulation or degradation of timing can result in varying impacts based on the critical infrastructure sector. As control systems continue to be digitized and automated, they require more precise timing elements which increases the potential impact of a cyber-attack on timing elements.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation

Industrial control systems (ICSs) increasingly rely on digital technologies vulnerable to cyber attacks. Cyber attackers can infiltrate ICSs and execute malicious actions. Individually, each action seems innocuous. But taken together, they cause the system to enter an unsafe state. These attacks have resulted in dramatic consequences such as physical damage, economic loss, and environmental catastrophes. This paper introduces a methodology that restricts actions using protocols. These protocols only allow safe actions to execute. Protocols are written in a domain specific language we have embedded in an interactive theorem prover (ITP). The ITP enables formal, machine-checked proofs to ensure protocols maintain safety properties. We use dynamic attestation to ensure ICSs conform to their protocol even if an adversary compromises a component. Since protocol conformance prevents unsafe actions, the previously mentioned cyber attacks become impossible. We demonstrate the effectiveness of our methodology using an example from the Fischertechnik Industry 4.0 platform. We measure dynamic attestation's impact on latency and throughput. Our approach is a starting point for studying how to combine formal methods and protocol design to thwart attacks intended to cripple ICSs.

97 MATHEMATICS AND COMPUTING↗

Resonance Control System for the PIP-II IT HWR Cryomodule

The HWR (half-wave-resonator) cryomodule is the first one in the superconducting section of the PIP-II LINAC project at Fermilab. PIP-II IT is a test facility for the project where the injector, warm front-end, and the first two superconducting cryomodules are being tested. The HWR cryomodule comprises 8 cavities operating at a frequency of 162.5 MHz and accelerating beam up to 10 MeV. Resonance control of the cavities is performed with a pneumatically operated slow tuner which compresses the cavity at the beam ports. Helium gas pressure in a bellows mounted to an end wall of the cavity is controlled by two solenoid valves, one on the pressure side and one on the vacuum side. The resonant frequency of the cavity can be controlled in one of two modes. A pressure feedback control loop can hold the cavity tuner pressure at a fixed value for the desired resonant frequency. Alternately, the feedback loop can regulate the cavity tuner pressure to bring the RF detuning error to zero. The resonance controller is integrated into the LLRF control system for the cryomodule. The control system design and performance of the resonance control system are described in this paper.

43 PARTICLE ACCELERATORS↗

Common Cause Failure Evaluation of High Safety-significant Safety-related Digital Instrumentation and Control Systems

Digital instrumentation and control (DI&C) systems in nuclear power plants (NPPs) have many advantages over analog systems but also pose different engineering and technical challenges, such as potential threats due to common cause failures (CCFs). This paper proposes a Platform for Risk Assessment of DI&C (PRADIC) developed by Idaho National Laboratory for dealing with potential software CCFs in DI&C systems of NPPs. The methodology development of PRADIC on the quantitative evaluation of software CCFs in high safety-significant safety-related DI&C systems in NPPs is illustrated in this paper. In PRADIC, qualitative hazard analysis and quantitative reliability and consequence analysis are successively implemented to obtain quantitative risk information, compare with respective risk evaluation acceptance criteria, and provide suggestions for risk reduction and design optimization. A comprehensive case study was also performed and documented in this paper. Results show that PRADIC can effectively identify potential digital-based CCFs, estimate their failure probabilities, and evaluate their impacts to system and plant safety.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

The Fermilab SSR1 and HB650 Synoptic and EPICS remote cryogenic control system

The 325MHz Single Spoke Resonator 1 (SSR1) Cryomodule (CM) has a 5.3-meter length, and it has 288-liter liquid helium @ 4.5K mode. The High Beta 650 MHz (HB650) CM contains six elliptical cavity cryomodules, has a 9.9-meter overall length and it has 530-liter liquid helium. The SSR1 and HB650 CM had been tested at Fermilab Cryomodule Test Facility (CMTF). Their cryogenic control system includes the Siemens Process Control System S7-400, Automation Direct DL205 PLC, and remote synoptic HMI/EPICS Phoebus GUI. This paper presents a method which has been successfully used by Fermilab PIP2 IT cryogenic remote on-line, real-time control systems.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Remote optical wind detection and aerodynamic control system for ground vehicle

An aerodynamic control system for a ground vehicle comprises a LiDAR module including at least one LiDAR sensor configured to obtain wind data upstream of the ground vehicle; a computing device; an aerodynamic device controller; and an aerodynamic device including a control surface. The computing device is configured to receive the wind data from the LiDAR module and generate output signals based on the wind data. The aerodynamic device controller is configured to receive the output signals from the computing device and generate control signals to control the aerodynamic device to adjust aerodynamic properties of the ground vehicle based at least in part the wind data. Changes to the configuration of the control surface may include increasing or decreasing a deflection angle of the at least one aerodynamic device. The aerodynamic device may include, e.g., a pneumatically actuated aerodynamic device or an electro-mechanically actuated aerodynamic device.

Damon, Kenneth H.↗

Energy-Efficient Actuator for the Control System of Promising Vehicles

A mathematical model is developed to describe the energy-efficient actuator of control systems for promising autonomous vehicles (drones, torpedoes, etc.) with different current sources. The energy and dynamic characteristics of control systems with different power supplies are compared.

42 ENGINEERING↗

An Agile/XP software development process for modernizing the accelerator control system at Fermilab

Fermilab is undergoing the most ambitious upgrade to its accelerator control system of the 21st century. As part of the ACORN project, hundreds of legacy control system applications written in C/C++ will be re-imagined and developed from the ground up. In addition, applications to support Fermilab’s new super-conducting linear accelerator are already under construction. To manage the development of modern controls applications, the Controls department has adopted an Agile software development process based on eXtreme Programming. In this paper we will describe our process and detail our experience applying it to the development of two case studies.

Diamond, John [Fermilab]↗

ML based control systems for nuclear physics experiments

The Experimental Physics Software and Computing Infrastructure (EPSCI) group at Jefferson Lab is leading the use of machine learning (ML) to enhance control systems in nuclear physics experiments. Collaborating closely with domain experts and data scientists, we have developed an ML-based control system that uses a Gaussian process to dynamically adjust the high voltage of the GlueX Central Drift Chamber. This results in stable detector performance by adapting to environmental changes, thereby reducing the offline calibration effort. Furthermore, we are developing ML-driven systems for optimizing the polarization of photon beams and polarized cryotargets. These systems will maintain the optimal microwave frequency in cryogenic targets and make real-time adjustments to diamond radiators for polarized photon sources, tasks traditionally handled by human operators. By automating these functions, we aim to optimize the polarization, reduce downtime, and minimize human error. This talk will highlight the development of reliable ML-based control systems and the policies to ensure they are both effective and trustworthy.

Jeske, Torri↗

Maximum-impact Adversary Design for Network-based Control System: A Case Study on Grid-interactive Efficient Buildings

The Internet of Things (IoT) technology has dramatically improved the efficiency of today's building operation and management. By connecting controllable devices into a communication network, control signals can be easily passed to the devices, and operating status can be acquired from measurable ends with minimal effort. However, this all-connected configuration could also expose the network-based control system (NBCS) to malicious actions, such as cyberattacks. One of the common NBCSs is the building automation system. With the promotion of grid-interactive efficient buildings (GEBs), there has been increasing attention on securing the buildings from the network perspective. This research proposes a maximum-impact adversary design framework so that the adversary can provide the most adversarial impact on the controlled system while remaining stealthy. The proposed framework is numerically demonstrated on a network-based building energy and control system. The building energy system is built in a Modelica-based simulation environment and controlled by the state-of-the-art ASHRAE Guideline 36 control sequences. The control commands at the supervisory level, generated from the Guideline 36 controller, are assumed to be sent to local devices through communication networks using the BACnet protocol. Simulation results show that the proposed maximum-impact adversary on such a system can stealthily affect the building system's performance to its maximum extent. It is anticipated that results can be used by researchers and practitioners in the building automation industry to design efficient and robust cyber-attack detection algorithms, especially for stealthy attacks.

Chu, Mengyuan↗

ICALEPCS 2025: Managing Technical Debt Across Large-Scale Control Systems

This presentation provides an overview of technical debt in the context of control systems for large-scale physics facilities. We explore various forms, common causes, and potential consequences on system reliability, maintainability, and extensibility. Drawing on experiences from multiple projects, including the ACORN control system modernization at Fermilab, we present a range of strategies for proactively managing technical debt, including best practices in design, development, testing, and documentation, as well as reactive approaches for identifying and mitigating existing issues.

Watts, Adam [Fermilab]↗

Control Systems Design for STS Accelerator

The Second Target Station (STS) Project will expand the capabilities of the existing Spallation Neutron Source (SNS), with a suite of neutron instruments optimized for long wavelengths. A new accelerator transport line will be built to deliver one out of four SNS pulses to the new target station. The Integrated Control Systems (ICS) will provide remote control, monitoring, OPI, alarms, and archivers for the accelerator systems, such as magnets power supply, vacuum devices, and beam instrumentation. The ICS will upgrade the existing Linac LLRF controls to allow independent operation of the FTS and STS and support different power levels of the FTS and STS proton beam. The ICS accelerator controls are in the phase of preliminary design for the control systems of magnet power supply, vacuum, LLRF, Timing, Machine protection system (MPS), and computing and machine network. The accelerator control systems build upon the existing SNS Machine Control systems, use the SNS standard hardware and EPICS software, and take full advantage of the performance gains delivered by the PPU Project at SNS.

Yan, Jay↗

Accelerating Control Systems with GitOps: A Path to Automation and Reliability

GitOps is a foundational approach for modernizing infrastructure by leveraging Git as the single source of truth for declarative configurations. The poster explores how GitOps transforms traditional control system infrastructure, services and applications by enabling fully automated, auditable, and version-controlled infrastructure management. Cloud-native and containerized environments are shifting the ecosystem not only in the IT industry but also within the computational science field, as is the case of CERN and Diamond Light Source among other Accelerator/Science facilities which are slowly shifting towards modern software and infrastructure paradigms. The ACORN project, which aims to modernize Fermilab’s control system infrastructure and software is implementing proven best-practices and cutting-edge technology standards including GitOps, containerization, infrastructure as code and modern data pipelines for control system data acquisition and the inclusion of AI/ML in our accelerator complex.

Gonzalez, M. [Fermilab]↗

Managing technical debt across large-scale control systems

This presentation provides a comprehensive overview of technical debt in the context of control systems for large-scale physics facilities. We will explore its various forms, common causes, and potential consequences on system reliability, maintainability, and upgradability. Drawing on experiences from multiple projects, we will present a range of strategies for proactively managing technical debt, including best practices in design, development, testing, and documentation, as well as reactive approaches for identifying and mitigating existing issues. The presentation will also emphasize the importance of a collaborative approach and the use of modern tools, like fault tracking systems, to ensure the long-term health and success of control systems in our field.

Watts, Adam [Fermilab]↗

Powertrain control system and method of operating the same

A system and method are provided for operating a powertrain control system. The method includes receiving data measured from a plurality of sensors, the measured data relating to distance dependent speed values, and receiving information from one or more vehicle modules, the vehicle module information relating to distance independent speed values. The method further includes building a speed trajectory profile for a horizon window that includes a plurality of speed change regions represented by at least some distance dependent speed values or at least some distance independent speed values, and creating a synthesized speed profile for the horizon window by processing the speed trajectory profile. The synthesized speed profile optimizes efficiency of the powertrain control system at each of the plurality of speed change regions.

33 ADVANCED PROPULSION SYSTEMS↗

Control System Plans for SNS Upgrade Projects

The Spallation Neutron Source at Oak Ridge National Laboratory is planning two major upgrades to the facility. The Proton Power Upgrade project, currently underway, will double the machine power from 1.4 to 2.8 MW by adding seven additional cryomodules and associated equipment. The Second Target Station project, currently in conceptual design, will construct a new target station effectively doubling the potential scientific output of the facility. This paper discusses the control system upgrades required to integrate these projects into the existing EPICS based control systems used for the machine and neutron instrument beamlines. While much of the control system can be replicated from existing solutions, some systems require new hardware and software. Operating two target stations simultaneously will require a new run permit system to safely manage beam delivery.

Hartman, Steven↗