Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Constrained control”

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 649 records · Page 36
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Risk-averse optimal control of semilinear elliptic PDEs

In this paper, we consider the optimal control of semilinear elliptic PDEs with random inputs. These problems are often nonconvex, infinite-dimensional stochastic optimization problems for which we employ risk measures to quantify the implicit uncertainty in the objective function. In contrast to previous works in uncertainty quantification and stochastic optimization, we provide a rigorous mathematical analysis demonstrating higher solution regularity (in stochastic state space), continuity and differentiability of the control-to-state map, and existence, regularity and continuity properties of the control-to-adjoint map. Our proofs make use of existing techniques from PDE-constrained optimization as well as concepts from the theory of measurable multifunctions. We illustrate our theoretical results with two numerical examples motivated by the optimal doping of semiconductor devices.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Feature Engineering and Ensemble Methods for Imbalanced ICS Intrusion Detection: Pipeline Audit and Constrained Evaluation

Industries are becoming increasingly connected and are more vulnerable to cyberattacks due to the widened attack surface. Industrial Control Systems (ICS) are among the most critical sectors that malicious actors can target, as such attacks can cause significant operational disruption and physical damage. It is imperative to detect such attacks as early as possible. This paper evaluates constraint-conditioned optimistic performance estimates for traditional ML models in ICS intrusion detection (i.e., estimates obtained under contiguous, non-shuffled temporal evaluation without test-set alteration, but with pre-split feature engineering that may introduce temporal leakage, due to dataset constraints). Our findings are threefold. First, we quantify how iterative feature engineering affects tree-based ensemble performance and examine how pipeline decisions (split strategy, sampling scope, and cleaning policy) can inflate or reduce reported IDS results under constraint-bound evaluation. Second, we compare intrinsic class-imbalance handling across ensemble models. Third, under our current pipeline constraints (including pre-split feature engineering), CatBoost achieves the best performance on Water Storage Tank (accuracy: 0.9831, class-1 F1: 0.9682), while Light- GBM achieves the best performance on Gas Pipeline (accuracy: 0.9618, class-1 F1: 0.9086).

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Open Radiation Monitoring: Conceptual System Design

The Open Radiation Monitoring (ORM) Project seeks to develop and demonstrate a modular radiation detection architecture designed specifically for use in arms control treaty verification (ACTV) applications that will facilitate rapid development of trusted systems to meet the needs of potential future treaties. Development of trusted systems to support potential future treaties is a complex and costly endeavor that typically results in a purpose-built system designed to perform one specific task. The majority of prior trusted system development efforts have relied on the use of commercial embedded computers or microprocessors to control the system and process the acquired data. These processors are complex, making authentication and certification of measurement systems and collected data challenging and time consuming. We believe that a modular architecture can be used to reduce more complex systems to a series of single-purpose building blocks that could be used to implement a variety of detection modalities with shared functionalities. With proper design, the functionality of individual modules can be confirmed through simple input/output testing, thereby facilitating equipment inspection and in turn building trust in the equipment by all treaty parties. Furthermore, a modular architecture can be used to control data flow within the measurement system, reducing the risk of "hidden switches" and constraining the amount of sensitive information that could potentially be inadvertently leaked. This report documents a conceptual modular system architecture that is designed to facilitate inspection in an effort to reduce overall authentication and certification burden. As of publication, this architecture remains in a conceptual phase and additional funding is required to prove out the utility of a modular architecture and test the assumptions used to rationalize the design.

61 RADIATION PROTECTION AND DOSIMETRY↗
DOE OSTI2022

The DUNE Near Detector

DUNE is a next-generation experiment aiming to provide precision measurements of neutrino oscillation parameters. It will detect neutrinos produced in the Long-Baseline Neutrino Facility beamline at Fermilab, using a Near Detector situated near the beam target where the neutrinos originate and a Far Detector located 1300 km away in South Dakota. A comparison of the spectra of neutrinos measured at the Far and the Near Detector will allow for the extraction of oscillation probabilities from which the oscillation parameters can be inferred. The specific role of the Near Detector is to serve as the experiment’s control: it will establish the no oscillation null hypothesis, measure and monitor the beam, constrain systematic uncertainties, and provide essential measurements of the neutrino interactions to improve models. The Near Detector complex will include three primary detector components: a liquid argon time projection chamber, a high-pressure gas time projection chamber and an on-axis beam monitor. The three detectors will serve important individual and overlapping functions, with two of them being also able to move transverse to the beam’s axis via the DUNE-PRISM program. The overall mission of the Near Detector, as well as the three sub-detectors’ unique capabilities and physics programs will be discussed in these proceedings.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2023

Patterns and rates of soil movement and shallow failures across several small watersheds on the Seward Peninsula, Alaska

Abstract. Thawing permafrost can alter topography, ecosystems, and sediment and carbon fluxes, but predicting landscape evolution of permafrost-influenced watersheds in response to warming and/or hydrological changes remains an unsolved challenge. Sediment flux and slope instability in sloping saturated soils have been commonly predicted from topographic metrics (e.g., slope, drainage area). In addition to topographic factors, cohesion imparted by soil and vegetation and melting ground ice may also control spatial trends in slope stability, but the distribution of ground ice is poorly constrained and hard to predict. To address whether slope stability and surface displacements follow topographic-based predictions, we document recent drivers of permafrost sediment flux present on a landscape in western Alaska that include creep, solifluction, gullying, and catastrophic hillslope failures ranging in size from a few meters to tens of meters, and we find evidence of rapid and substantial landscape change on an annual timescale. We quantify the timing and rate of surface movements using a multi-pronged, multi-scalar dataset including aerial surveys, interannual GPS surveys, synthetic aperture radar interferometry (InSAR), and climate data. Despite clear visual evidence of downslope soil transport of solifluction lobes, we find that the interannual downslope surface displacement of these features does not outpace downslope displacement of soil in locations where lobes are absent (downslope movement means: 7 cm yr−1 for lobes over 2 years vs. 10 cm yr−1 in landscape positions without lobes over 1 year). Annual displacements do not appear related to slope, drainage area, or modeled total solar radiation but are likely related to soil thickness, and volumetric sediment fluxes are high compared to temperate landscapes of comparable bedrock lithology. Time series of InSAR displacements show accelerated movement in late summer, associated with intense rainfall and/or deep thaw. While mapped slope failures do cluster at slope–area thresholds, a simple slope stability model driven with hydraulic conductivities representative of throughflow in mineral and organic soil drastically overpredicts the occurrence of slope failures. This mismatch implies permafrost hillslopes have unaccounted-for cohesion and/or throughflow pathways, perhaps modulated by vegetation, which stabilize slopes against high rainfall. Our results highlight the breadth and complexity of soil transport processes in Arctic landscapes and demonstrate the utility of using a range of synergistic data collection methods to observe multiple scales of landscape change, which can aid in predicting periglacial landscape evolution.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1977

The automation of remote vehicle control

The automation of remote vehicles is becoming necessary to overcome the requirement of having man present as a controller. By removing man, remote vehicles can be operated in areas where the environment is too hostile for man, his reaction times are too slow, time delays are too long, and where his presence is too costly, or where system performance can be improved. This paper addresses the development of automated remote vehicle control for nonspace and space tasks from warehouse vehicles to proposed Mars rovers. The state-of-the-art and the availability of new technology for implementing automated control are reviewed and the major problem areas are outlined. The control strategies are divided into those where the path is planned in advance or constrained, or where the system is a teleoperator, or where automation or robotics have been introduced.

Paine, G.↗
NASA NTRS1992

Status of F16XL SSLFC numerical design validation

The viewgraphs and discussion of the status of the F-16XL SSLFC numerical design validation are provided. The F-16XL Supersonic Laminar Flow Control Program (SSLFC) is a joint effort involving Rockwell's North American Aircraft Division, NASA Ames-Dryden Flight Research Facility, and NASA Langley Research Center. The objectives of the program are to demonstrate that laminar flow can be obtained on a highly swept wing at supersonic speeds, validate the capabilities of a numerical methodology designed to predict boundary layer transition, and validate the capabilities of the methodology in the design of active and passive laminar flow control (LFC) concepts. The F-16XL SSLFC Program consists of the design, fabrication, installation, and flight test of an active laminar flow control glove for the F-16XL. The glove design emphasized the active (suction) control of attachment line and crossflow boundary condition instabilities. The glove design envelop was constrained by the existing geometry, safety of flight considerations, and space requirements for the suction mechanism. The leading edge extension of the glove was limited to 10 inches for consideration of asymmetric flying qualities and the glove height above the existing surface restricted to two inches. The active (suction) portion of the wing extends to nominally 25 percent chord. The glove was constructed of a micro-perforated titanium sheet (hole diameter = 0.025 inches, spacing ratio = 1/8, and sheet thickness = 0.0025 inches). The glove design includes 22 separate chambers to allow suction variation in the chordwise direction. The F-16XL SSLFC program is currently in the flight test phase.

George, Mike↗
NASA NTRS1999

Constrained Vapor Bubble

The nonisothermal Constrained Vapor Bubble, CVB, is being studied to enhance the understanding of passive systems controlled by interfacial phenomena. The study is multifaceted: 1) it is a basic scientific study in interfacial phenomena, fluid physics and thermodynamics; 2) it is a basic study in thermal transport; and 3) it is a study of a heat exchanger. The research is synergistic in that CVB research requires a microgravity environment and the space program needs thermal control systems like the CVB. Ground based studies are being done as a precursor to flight experiment. The results demonstrate that experimental techniques for the direct measurement of the fundamental operating parameters (temperature, pressure, and interfacial curvature fields) have been developed. Fluid flow and change-of-phase heat transfer are a function of the temperature field and the vapor bubble shape, which can be measured using an Image Analyzing Interferometer. The CVB for a microgravity environment, has various thin film regions that are of both basic and applied interest. Generically, a CVB is formed by underfilling an evacuated enclosure with a liquid. Classification depends on shape and Bond number. The specific CVB discussed herein was formed in a fused silica cell with inside dimensions of 3x3x40 mm and, therefore, can be viewed as a large version of a micro heat pipe. Since the dimensions are relatively large for a passive system, most of the liquid flow occurs under a small capillary pressure difference. Therefore, we can classify the discussed system as a low capillary pressure system. The studies discussed herein were done in a 1-g environment (Bond Number = 3.6) to obtain experience to design a microgravity experiment for a future NASA flight where low capillary pressure systems should prove more useful. The flight experiment is tentatively scheduled for the year 2000. The SCR was passed on September 16, 1997. The RDR is tentatively scheduled for October, 1998.

Huang, J.↗
NASA NTRS2003

Spray Bar Zero-Gravity Vent System for On-Orbit Liquid Hydrogen Storage

During zero-gravity orbital cryogenic propulsion operations, a thermodynamic vent system (TVS) concept is expected to maintain tank pressure control without propellant resettling. In this case, a longitudinal spray bar mixer system, coupled with a Joule-Thompson (J-T) valve and heat exchanger, was evaluated in a series of TVS tests using the 18 cu m multipurpose hydrogen test bed. Tests performed at fill levels of 90, 50, and 25 percent, coupled with heat tank leaks of about 20 and 50 W, successfully demonstrated tank pressure control within a 7-kPa band. Based on limited testing, the presence of helium constrained the energy exchange between the gaseous and liquid hydrogen (LH2) during the mixing cycles. A transient analytical model, formulated to characterize TVS performance, was used to correlate the test data. During self-pressurization cycles following tank lockup, the model predicted faster pressure rise rates than were measured; however, once the system entered the cyclic self-pressurization/mixing/venting operational mode, the modeled and measured data were quite similar. During a special test at the 25-percent fill level, the J-T valve was allowed to remain open and successfully reduced the bulk LH2 saturation pressure from 133 to 70 kPa in 188 min.

Hastings, L. J.↗
NASA NTRS2012

How to Calibrate Edge Sensors on Segmented Mirror Telescopes

The next generation of large ground based telescopes use segmented mirrors. Sensors mounted on the edge of the segments measure the relative heights of the segments. The segments are actively controlled in height by three actuators per segment, but lateral motion is only passively constrained. Thus there will be some small change in the gap and shear between segments as changing telescope orientation and temperature make small distortions in the telescope structure. These "in-plane" motions place an additional performance burden on the edge sensors, and on the precision with which they must be mounted relative to the optical surface. In addition, both the scaling and offset of sensor edge height readings also vary with changes in gap.

segmented mirrors↗
NASA NTRS2017

Airborne Trajectory Management (ABTM): A Blueprint for Greater Autonomy in Air Traffic Management

The aviation users of the National Airspace System (NAS) - the airlines, General Aviation (GA), the military and, most recently, operators of Unmanned Aircraft Systems (UAS) - are constrained in their operations by the design of the current paradigm for air traffic control (ATC). Some of these constraints include ATC preferred routes, departure fix restrictions and airspace ground delay programs. As a result, most flights cannot operate on their most efficient business trajectories and a great many flights are delayed even getting into the air, which imposes a significant challenge to maintaining efficient flight and network operations. Rather than accepting ever more sophisticated scheduling solutions to accommodate the existing constraints in the airspace, a series of increasingly capable airborne technologies, integrated with planned improvements in the ground system through the Federal Aviation Administration (FAA) Next Generation Air Traffic Management System (NextGen) programs, could produce much greater operational flexibility for flight path optimization by the aviation system users. These capabilities, described in research coming out of NASA's Aeronautics Research Mission Directorate, can maintain or improve operational safety while taking advantage of air and ground NextGen technologies in novel ways. The underlying premise is that the nation's physical airspace is still abundant and underused, and that the delays and inefficient flight operations resulting from artificial structure in airspace use and procedural constraints on those operations may not be necessary for safe and efficient flight. This article is not an indictment of today's NAS or the people who run it. Indeed, it is an exceptional achievement that Air Traffic Management (ATM) - the complex human/machine conglomeration of communications, navigation and surveillance equipment and the rules and procedures for controlling traffic in the airspace - has both the capacity and enables the degree of efficiency in air travel that it does. But it is also true that sixty years of the "radar religion" (i.e., reliance on radar-based command and control) has produced several generations of ATM system operators and researchers who believe that introducing automation within the existing functional structure of ATM is the only way to "modernize" the system. Even NextGen, which began as a proposal for "transformational" change in the way ATC is performed, has morphed over the last decade and a half to become just the inclusion of Global Positioning System (GPS) for navigation, Automatic Dependent Surveillance Broadcast (ADS-B) for surveillance, and Data Communications (Data Comm) for communications, while still operating in rigidly structured airspace with human controllers being responsible for separation and traffic flow management (TFM) within defined sectors of airspace, using the same horizontal separation standards that have been in use since raw primary radar was introduced in the 1950s. No system as massive as the current NAS ATM can be replaced with a better system while simultaneously meeting the transportation and other aviation needs of the nation. A new generation of more flexible operations must emerge and yet coexist in harmony with the current operation (i.e., share the same airspace without segregation), thereby enabling a long-term transformation to take place in the way increasing numbers of flights are handled. Market forces will be the ultimate driver of this transformation, and investment realities mandate that real benefits must accrue to the first operators to adopt these new capabilities. In fact, the kinds of missions envisioned in the emerging world of UAS operations, unachievable under conventional ATM, demand that this transformation take place. Airborne Trajectory Management (ABTM) is proposed as a series of transformational steps leading to vastly increased flexibility in flight operations and capacity in the airspace to accommodate many varied airspace uses while improving safety. As will be described, ABTM enables the gradual emergence of a new paradigm for user-based trajectory management in ATM that brings tangible benefits to equipped operators at every step while leveraging the air and ground investments of NextGen. There are five steps in this ABTM transformation.1 NASA has extensively studied the first and last of these steps, and a roadmap of increasing capabilities and benefits is proposed for bridging between these operational concepts.

Cotton, William B.↗
NASA NTRS2018

SLS Navigation Model-Based Design Approach

The SLS Program chose to implement a Model-based Design and Model-based Requirements approach for managing component design information and system requirements. This approach differs from previous large-scale design efforts at Marshall Space Flight Center where design documentation alone conveyed information required for vehicle design and analysis and where extensive requirements sets were used to scope and constrain the design. The SLS Navigation Team has been responsible for the Program-controlled Design Math Models (DMMs) which describe and represent the performance of the Inertial Navigation System (INS) and the Rate Gyro Assemblies (RGAs) used by Guidance, Navigation, and Controls (GN&C). The SLS Navigation Team is also responsible for the navigation algorithms. The navigation algorithms are delivered for implementation on the flight hardware as a DMM. For the SLS Block 1-B design, the additional GPS Receiver hardware is managed as a DMM at the vehicle design level. This paper provides a discussion of the processes and methods used to engineer, design, and coordinate engineering trades and performance assessments using SLS practices as applied to the GN&C system, with a particular focus on the Navigation components. These include composing system requirements, requirements verification, model development, model verification and validation, and modeling and analysis approaches. The Model-based Design and Requirements approach does not reduce the effort associated with the design process versus previous processes used at Marshall Space Flight Center. Instead, the approach takes advantage of overlap between the requirements development and management process, and the design and analysis process by efficiently combining the control (i.e. the requirement) and the design mechanisms. The design mechanism is the representation of the component behavior and performance in design and analysis tools. The focus in the early design process shifts from the development and management of design requirements to the development of usable models, model requirements, and model verification and validation efforts. The models themselves are represented in C/C++ code and accompanying data files. Under the idealized process, potential ambiguity in specification is reduced because the model must be implementable versus a requirement which is not necessarily subject to this constraint. Further, the models are shown to emulate the hardware during validation. For models developed by the Navigation Team, a common interface/standalone environment was developed. The common environment allows for easy implementation in design and analysis tools. Mechanisms such as unit test cases ensure implementation as the developer intended. The model verification and validation process provides a very high level of component design insight. The origin and implementation of the SLS variant of Model-based Design is described from the perspective of the SLS Navigation Team. The format of the models and the requirements are described. The Model-based Design approach has many benefits but is not without potential complications. Key lessons learned associated with the implementation of the Model Based Design approach and process from infancy to verification and certification are discussed

Oliver, T. Emerson↗
NASA NTRS2020

Improved LOLA Elevation Maps for South Pole Landing Sites: Error Estimates and Their Impact on Illumination Conditions

We present new high-resolution topographic models of 4 high-priority lunar south pole landing sites based exclusively on the laser altimetry data acquired by the Lunar Orbiter Laser Altimeter (LOLA) onboard the Lunar Reconnaissance Orbiter. By iteratively adjusting the LOLA tracks to the LOLA-based digital elevation model (LDEM) in a self-consistent fashion, we reduce the orbital geolocation errors by over a factor of 10 such that the new ground track geolocation uncertainty is ~10–20 ​cm horizontally and ~2–4 ​cm vertically over each 16 ​× ​16 km region. These new and improved 5 ​m/pix LDEMs will be useful to constrain higher-resolution topographic models derived from imagery, which are not as well controlled geodetically and which can be hindered by shadows. We developed a method to estimate surface height uncertainty in the new LDEMs, which accounts for the reduced orbital errors and interpolation errors by assuming a fractal behavior for the short-scale topography. The LDEM surface height and slope uncertainties have typical RMS values of ~0.30–0.50 ​m and ~1.5–2.5°, respectively. Finally, we examine how height uncertainties propagate to variations in horizon elevation and thus the predicted illumination conditions at these polar latitudes, and we show how this error characterization can inform landing site studies.

Michael K Barker↗
DOE OSTI2017

A Study Of Geological Disposal Facility (GDF) Ageing Phenomena In Bentonite - 17605

Since the 1950's, the UK's nuclear activity in energy, defence and medicine has led to the accumulation of a large amount of higher activity radioactive waste (HAW). Most of nuclear waste arises in a wide variety of physical and chemical forms with different radioisotopes and loadings. Due to complexity in HAW, it is imperative that there be a rigorous management system that ensures population and environmental safety over extended periods. The concept of Deep Geological Disposal of waste in a stable geological formation is, nowadays, an internationally accepted solution as the surest and the most viable long term method for management. Any future Geological Disposal Facility (GDF) will comprise, among other artificial and natural engineered barriers, a barrier immediately around the waste containers compounded by a sealing material. The long-term stability of a GDF will be determined by the design and construction of the engineered barriers, and the mechanical, hydraulic and geochemical interactions that may happen between the different engineered components as a result of combined processes such as the heat produced by radioactive decay and the ion water composition of the surrounding host rock. Bentonite clay has been selected as the most promising buffer and backfill material in many disposal programmes because of its swelling capacity, low permeability, plasticity and cation exchange capacity. In the nuclear scope, bentonite testing at different scale-lengths (laboratory and field scale) has been performed and implemented in order to examine the thermo-hydro-mechanical (THM) and thermo-hydro-geochemical (THG) processes that may happen in the engineered barriers and geological settings associated with a GDF. Two major European field scale tests have been performed to better understand bentonite performance and behaviour immediately after HAW emplacements. The Full-Scale Engineered Barriers Experiment (FEBEX) at the Grimsel Test Sit (Switzerland) and the Alternative Buffer Material (ABM) Project at the Aespoe Hard Rock Laboratory (Sweden). The Febex Experiment was a pilot project designed for 'field research' of HAW repository hosted in crystalline rock where surrogate HAW canisters were placed horizontally in drifts, surrounded by compacted blocks of bentonite, sealed by a concrete plug and maintaining a constant canister surface temperature of 100 deg. C. After five years of operation, a partial dismantling was carried out in 2002. Heater processes occurring in the surrounding bentonite. The dismantling of the heater no. 2 (after 18 years of operation) started in late 2014 and is planned to be finished at the end of 2016 (termed FEBEX-DP). The FEBEX Project utilised bentonite from the Cortijo de Archidona deposit (Almeria, Spain). This 'Febex' bentonite is sourced from calcium-magnesium montmorillonite with good properties in relation to swelling capacity, permeability, adsorption capacity, and thermal conductivity. The ABM Project is a large-scale programme that has been running since 2006. The programme is designed to study a suite of possible buffer materials and correlate the physical and chemical properties of eleven different types of bentonites to their fundamental mineralogical properties. The ABM test consists in three 'packages' containing a central heater tube surrounded by different pre-compacted bentonite blocks and instrumentation. Each 'package' was installed in separate boreholes. The target temperature for the surface of the heated tubes in contact with the bentonite was 130 deg. C. Both FEBEX and ABM test the bentonite was saturated with water percolating from surrounding host rock (FEBEX and ABM) and also via artificial supply systems (ABM), being the water itself acting as a long term corrosion agent. For both experiments and emerging interest is in the interaction of bentonite with metallic components, under geological disposal conditions are not considered to be thermodynamically stable and hence arising corrosion products could interact with the buffer. These interactions depend on various factors such as the redox potential, temperature, pH, solute concentration and buffer material characteristics. During the operational phases of the FEBEX and ABM and after its 'closure' a significant volume of air was found to be retained in the bentonite. Under these conditions a period of initial aerobic corrosion by the air in the bentonite barrier would have occurred followed by establishment of anaerobic corrosion would be the dominant process ongoing. The anaerobic corrosion began when the bentonite became water saturated. Under these conditions, the water acted as the major oxidant. The present project focuses on the characterization of samples arising from the FEBEX and ABM Projects as well as performing additional independent experiments designed to complement these prior studies. Characterization will focus mainly on corrosion related alteration combined with thermal effects. Through detailed sample characterization, the intention is to achieve a greater knowledge regarding the changes to the bentonite under the experimental conditions to which it was exposed, and plausible alterations in its THM and THG properties occurring during the experiment due to blended effects of temperature,water content, engineering structural components and solutes are also to be measured. The fulfilment of a large-scale 'in-situ' test is intricate, time-consuming and with an abundance of external variables that are not always well controlled. For this reason, the University of Bristol is performing a series of well constrained time-resolved laboratory tests which bentonite is being subjected to different possible scenarios that may happen whilst in a HAW repository. In virtue of this experiment, the UoB aims to understand the illitisation and cementation process and their effects on bentonite safety properties. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2026

Resource-Adaptive Federated Text Generation with Differential Privacy

In cross-silo federated learning (FL), sensitive text datasets remain confined to local organizations due to privacy regulations, making repeated training for each downstream task both communication-intensive and privacy-demanding. A promising alternative is to generate differentially private (DP) synthetic datasets that approximate the global distribution and can be reused across tasks. However, pretrained large language models (LLMs) often fail under domain shift, and federated finetuning is hindered by computational heterogeneity: only resource-rich clients can update the model, while weaker clients are excluded, amplifying data skew and the adverse effects of DP noise. We propose a flexible participation framework that adapts to client capacities. Strong clients perform DP federated finetuning, while weak clients contribute through a lightweight DP voting mechanism that refines synthetic text. To ensure the synthetic data mirrors the global dataset, we apply control codes (e.g., labels, topics, metadata) that represent each client’s data proportions and constrain voting to semantically coherent subsets. This two-phase approach requires only a single round of communication for weak clients and integrates contributions from all participants. Experiments show that our framework improves distribution alignment and downstream robustness under DP and heterogeneity.

Wang, Jiayi [ORNL]↗
DOE OSTI2022

Data-Driven Optimal Control of Traffic Signals for Urban Road Networks

This paper studies the issue of data-driven optimal control design for traffic signals of oversaturated urban road networks. The signal control system based on the store and forward model is generally uncontrollable for which the controllable decomposition is needed. Instead of identifying the unknown parameters like saturation rates and turning ratios, a finite number of measured trajectories can be used to parametrize the system and help directly construct a transformation matrix for Kalman controllable decomposition through the fundamental lemma of J. C. Willems. On top of that, an infinite-horizon linear quadratic regulator (LQR) problem is formulated considering the constraints of green times for traffic signals. The problem can be solved through a two-phase data-driven learning process, where one solves an infinite-horizon unconstrained LQR problem and the other solves a finite-horizon constrained LQR problem. The simulation result shows the theoretical analysis is effective and the proposed data-driven controller can yield desired performance for reducing traffic congestion.

Liu, Tong↗
NASA NTRS1999

A Framework for Dynamic Constraint Reasoning Using Procedural Constraints

Many complex real-world decision and control problems contain an underlying constraint reasoning problem. This is particularly evident in a recently developed approach to planning, where almost all planning decisions are represented by constrained variables. This translates a significant part of the planning problem into a constraint network whose consistency determines the validity of the plan candidate. Since higher-level choices about control actions can add or remove variables and constraints, the underlying constraint network is invariably highly dynamic. Arbitrary domain-dependent constraints may be added to the constraint network and the constraint reasoning mechanism must be able to handle such constraints effectively. Additionally, real problems often require handling constraints over continuous variables. These requirements present a number of significant challenges for a constraint reasoning mechanism. In this paper, we introduce a general framework for handling dynamic constraint networks with real-valued variables, by using procedures to represent and effectively reason about general constraints. The framework is based on a sound theoretical foundation, and can be proven to be sound and complete under well-defined conditions. Furthermore, the framework provides hybrid reasoning capabilities, as alternative solution methods like mathematical programming can be incorporated into the framework, in the form of procedures.

Jonsson, Ari K.↗
NASA NTRS2018

Trajectory Specification Language for Air Traffic Control

Trajectory Specification is a method of specifying aircraft trajectories with tolerances such that the position at any instant in time is constrained to a precisely defined bounding space. The bounding space at any instant in time is defined by tolerances relative to a reference trajectory that specifies position as a function of time. The tolerances are dynamic and are based on the aircraft navigation capabilities and the traffic situation. This paper proposes a standard Trajectory Specification Language (TSL) based on the Extensible Markup Language (XML) to represent these specifications and to communicate them by datalink. The language can be used to downlink trajectory requests from air to ground and to uplink trajectory assignments from ground to air. The XML format can be converted to binary for operational use, if necessary, using Efficient XML Interchange (EXI) or Abstract Syntax Notation (ASN.1).

XM↗