SEARCH · Engineering Papers

Results for “building automation 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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 415 records · Page 23

All sources NASA NTRS DOE OSTI

DOE OSTI2024

A Formalization of Core Why3 in Coq

Intermediate verification languages like Why3 and Boogie have made it much easier to build program verifiers, transforming the process into a logic compilation problem rather than a proof automation one. Why3 in particular implements a rich logic for program specification with polymorphism, algebraic data types, recursive functions and predicates, and inductive predicates; it translates this logic to over a dozen solvers and proof assistants. Accordingly, it serves as a backend for many tools, including Frama-C, EasyCrypt, and GNATProve for Ada SPARK. But how can we be sure that these tools are correct? The alternate foundational approach, taken by tools like VST and CakeML, provides strong guarantees by implementing the entire toolchain in a proof assistant, but these tools are harder to build and cannot directly take advantage of SMT solver automation. As a first step toward enabling automated tools with similar foundational guarantees, we give a formal semantics in Coq for the logic fragment of Why3. We show that our semantics are useful by giving a correct-by-construction natural deduction proof system for this logic, using this proof system to verify parts of Why3's standard library, and proving sound two of Why3's transformations used to convert terms and formulas into the simpler logics supported by the backend solvers.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1996

A Model-based Approach to Reactive Self-Configuring Systems

This paper describes Livingstone, an implemented kernel for a self-reconfiguring autonomous system, that is reactive and uses component-based declarative models. The paper presents a formal characterization of the representation formalism used in Livingstone, and reports on our experience with the implementation in a variety of domains. Livingstone's representation formalism achieves broad coverage of hybrid software/hardware systems by coupling the concurrent transition system models underlying concurrent reactive languages with the discrete qualitative representations developed in model-based reasoning. We achieve a reactive system that performs significant deductions in the sense/response loop by drawing on our past experience at building fast prepositional conflict-based algorithms for model-based diagnosis, and by framing a model-based configuration manager as a prepositional, conflict-based feedback controller that generates focused, optimal responses. Livingstone automates all these tasks using a single model and a single core deductive engine, thus making significant progress towards achieving a central goal of model-based reasoning. Livingstone, together with the HSTS planning and scheduling engine and the RAPS executive, has been selected as the core autonomy architecture for Deep Space One, the first spacecraft for NASA's New Millennium program.

Williams, Brian C.↗

NASA NTRS1993

A widely adaptable habitat construction system utilizing space resources

This study suggests that the cost of providing accommodations for various manned activities in space may be reduced by the extensive use of resources that are commonly found throughout the solar system. Several concepts are proposed for converting these resources into simple products with many uses. Concrete is already being considered as a possible moonbase material. Manufacturing equipment should be as small and simple as possible, which leads to the idea of molding it into miniature modules that can be produced and assembled in large numbers to create any conceivable shape. Automated equipment could build up complex structures by laying down layer after layer in a process resembling stereolithography. These tiny concrete blocks handle compression loads and provide a barrier to harmful radiation. They are joined by a web of tension members that could be made of wire or fiber-reinforced plastic. The finished structure becomes air-tight with the addition of a flexible liner. Wire can be made from the iron modules found in lunar soil. In addition to its structural role, a relatively simple apparatus can bend and weld it into countless products like chairs and shelving that would otherwise need to be supplied from Earth. Wire woven into a loose blanket could be an effective micrometeoroid shield, tiny wire compression beams could be assembled into larger beams which in turn form larger beams to create very large space-frame structures. A technology developed with lunar materials could be applied to the moons of Mars or the asteroids. To illustrate its usefulness several designs for free-flying habitats are presented. They begin with a minimal self-contained living unit called the Cubicle. It may be multiplied into clusters called Condos. These are shown in a rotating tether configuration that provides a substitute for gravity. The miniature block proposal is compared with an alternate design based on larger triangular components and a tetrahedral geometry. The overall concept may be expanded to envision city-sized self-sufficient environments where humans could confortably live their entire lives. One such proposal is the Hive. It is configured around a unique sunlight collection system that could provide all its energy needs and that could be scaled up to compensate for the reduced solar intensity at greater distances from the sun. Its outer perimeter consists of a cylindrical section mated to two conical end walls that taper inwards toward a small aperture at the center of rotation. Light collected by two huge mirrors of unusual design enters the aperture and is redirected to the inside of the cylinder. The conical end walls are shielded from direct sunlight and are designed to radiate heat into space. They are lined with air ducts that passively recirculate the atmosphere while extracting moisture by condensation. Although there is no immediate demand for spacecraft on this scale, their consideration can influence even the earliest stages of the development process.

Wykes, Harry B.↗

DOE OSTI2022

Towards automating structural discovery in scanning transmission electron microscopy *

Abstract Scanning transmission electron microscopy is now the primary tool for exploring functional materials on the atomic level. Often, features of interest are highly localized in specific regions in the material, such as ferroelectric domain walls, extended defects, or second phase inclusions. Selecting regions to image for structural and chemical discovery via atomically resolved imaging has traditionally proceeded via human operators making semi-informed judgements on sampling locations and parameters. Recent efforts at automation for structural and physical discovery have pointed towards the use of ‘active learning’ methods that utilize Bayesian optimization with surrogate models to quickly find relevant regions of interest. Yet despite the potential importance of this direction, there is a general lack of certainty in selecting relevant control algorithms and how to balance a priori knowledge of the material system with knowledge derived during experimentation. Here we address this gap by developing the automated experiment workflows with several combinations to both illustrate the effects of these choices and demonstrate the tradeoffs associated with each in terms of accuracy, robustness, and susceptibility to hyperparameters for structural discovery. We discuss possible methods to build descriptors using the raw image data and deep learning based semantic segmentation, as well as the implementation of variational autoencoder based representation. Furthermore, each workflow is applied to a range of feature sizes including NiO pillars within a La:SrMnO 3 matrix, ferroelectric domains in BiFeO 3 , and topological defects in graphene. The code developed in this manuscript is open sourced and will be released at github.com/nccreang/AE_Workflows .

47 OTHER INSTRUMENTATION↗

NASA NTRS2005

Mixed-Initiative Activity Planning for Mars Rovers

One of the ground tools used to operate the Mars Exploration Rovers is a mixed-initiative planning system called MAPGEN. The role of the system is to assist operators building daily plans for each of the rovers, maximizing science return, while maintaining rover safety and abiding by science and engineering constraints. In this paper, we describe the MAPGEN system, focusing on the mixed-initiative planning aspect. We note important challenges, both in terms of human interaction and in terms of automated reasoning requirements. We then describe the approaches taken in MAPGEN, focusing on the novel methods developed by our team.

Bresina, John↗

NASA NTRSDate not supplied

Automated Reconfigurable Mission Adaptive Digital Assembly Systems (ARMADAS): Robotically Assembled Sustainable Lunar Infrastructure

Introduction: The Automated Reconfigurable Mission Adaptive Digital Assembly Systems (ARMADAS) project at NASA Ames Research Center is developing autonomous infrastructure, instrumentation, and spacecraft assembly and manufacturing capabilities for next generation exploration and science missions, with a goal to change the cost scaling of these missions relative to mission size and duration. Using a building-block approach with a 'kit of parts' composed of ultra-light, high-performance mechanical metamaterials, simplified robots leverage the period environment to achieve high levels of autonomy and reliability for in-space and surface assembly of large-scale apertures, solar-arrays, towers, habitats, and other infrastructure. Robots and structure break down into a compact form factor for launch. By leveraging economies of scale and achieving high-packing ratios, ARMADAS technology can revolutionize possible space missions by breaking the tyranny of the launch shroud, decreasing development times, decreasing mission costs for transformative science capability, and providing a scalable and versatile space infrastructure strategy. Capabilities: To date, the ARMADAS project has demonstrated autonomous assembly of large numbers of structural modules into a meters-scale structure in an earth gravity environment. The mechanical performance is on par with conventional space structures, at a fraction of the cost. By using highly repeatable manufacturing processes (injection molding carbon fiber reinforced space-rated polymers), the structures are both cost effective and highly precise. The ARAMADAS system carefully designs parts for high-precision assembly–the simple and cost-effective robots build structures much larger and more precise than themselves. While maintaining structural efficiency, the ARMADAS system encompasses many functional module types, including for solar power, comm/power routing, etc., that will enable entire infrastructure systems to be engineered and autonomously assembled with modular parts. With well-defined interfaces, custom instrumentation modules can easily be added to fit many mission objectives. Lunar Infrastructure Vision: At the LSIC spring meeting, ARMADAS will present a vision for a general-purpose lunar construction kit capable of meeting a wide variety of lunar surface infrastructure needs (Figure 1). Investing in an ecosystem of reconfigurable, discretely repairable parts and robots enables systems than can expand their capability, reconfigure to meet emergency or unforeseen needs, self-repair and reduce spare-part needs. With a small set of parts (module types), a wide variety of infrastructure needs can be met. Footing modules will allow infrastructure construction at locations with no surface preparation. Footer, primary structure, and rail modules can create reconfigurable rail systems. These rail systems can be used to reduce cost-of-transport between frequently accessed sites, provide dust mitigation, and convey power and communications. High-performance structure modules combined with power-routing and solar modules can create tall towers for power and communication. Concepts for habitats and garages encompass a structure to support regolith cover for a pre-integrated module to an entirely ARMADAS system-based structure. This system can be leveraged by many in-situ resource utilization (ISRU) technologies to simplify processes and augment capabilities.

C. E. Gregg↗

NASA NTRSDate not supplied

Autonomous Lunar Infrastructure Outfitting

The Automated Reconfigurable Mission Adaptive Digital Assembly Systems (ARMADAS) project at NASA Ames Research Center is developing autonomous infrastructure, instrumentation, and spacecraft assembly and manufacturing capabilities for next generation exploration and science missions, with a goal to change the cost scaling of these missions relative to mission size and duration. Using a building-block approach with a 'kit of parts' composed of ultra-light, high-performance mechanical metamaterials, simplified robots leverage the period environment to achieve high levels of autonomy and reliability for in-space and surface assembly of large-scale apertures, solar-arrays, towers, habitats, and other infrastructure. Robots and structure break down into a compact form factor for launch. By leveraging economies of scale and achieving high-packing ratios, ARMADAS technology can revolutionize space missions by breaking the tyranny of the launch shroud, decreasing development times, decreasing mission costs for transformative science capability, and providing a scalable and versatile space infrastructure strategy. An ecosystem of reconfigurable infrastructure modules can be reused, repaired, expanded reconfigured to meet emergency or unforeseen needs, and reduce spare parts.

Christine Gregg↗

NASA NTRS2024

Integration of Automated Systems Test Campaign NC-IAS

NASA’s 2022 strategic plan included the goal to catalyze economic growth and drive innovation in the aviation industry, and to address challenges in air transportation and airspace management within the National Airspace System (NAS). The Aeronautics Research Mission Directorate (ARMD) specifically was tasked with leading aviation innovation to enable safe and sustainable air transportation through revolutionary vehicle advances and efficient flight operations. As a part of meeting these objectives and advancing air mobility concepts, NASA initiated the National Campaign (NC) in the Advanced Air Mobility (AAM) Project within the Airspace Operations and Safety Program (AOSP). The NC was designed to support operational demonstrations with industry as well as the research and development needed to support NASA-led research flight demonstrations. Within NC, the Integration of Automated Systems (IAS), an NC activity, tested and evaluated flight deck automation and airspace operations management functions needed to enable Urban Air Mobility (UAM) operations. This was accomplished through a partnership with Sikorsky Aircraft (specifically Sikorsky Innovations), a Lockheed Martin company, and DARPA (Defense Advanced Research Projects Agency), by leveraging two automation-enabled helicopters equipped with unique capabilities that enabled NASA to develop and test two-ship conflict encounters to demonstrate flight path management and hazard avoidance technologies. The enabler in this testing was NASA-developed “Middleware” (MW) software (also known as Expandable Variable Autonomy Architecture, or EVAA), which among other things allowed multiple algorithms to be incorporated into one software build that was hosted on the dissimilar-type Sikorsky helicopters. The IAS test campaign period of performance was from March 2022 through October 2023 and was structured as a phased, or spiral, approach that ultimately led to the first-ever demonstration of two-ship UAM/AAM operations designed to safely choreograph specific conflict encounters and mission scenarios to test the research algorithms for strategic and tactical aircraft deconfliction. Lessons learned are included in the body of the report. Data collected will be used to inform FAA and industry standards groups on the increasingly automated systems needed for future AAM operations. The test encounters developed for these flight tests were proven to be highly predictable, repeatable, and safely exercised flight path planning and Detect and Avoid (DAA) algorithms. These same test encounters should be leveraged by future flight test campaigns to verify that operational safety is not compromised as the AAM architecture matures. Next steps include repeating similar encounters using unmanned aircraft carrying DAA sensors in the National Airspace.

AAM↗

NASA NTRS1979

Aerospace power systems - A building surge

Dramatic changes in both aircraft and space power systems are being projected. The primary driver is mission cost, although more stringent performance requirements are also being imposed. The order-of-magnitude reductions anticipated in space power, both in cost and specific mass, are partially related to the advent of the Shuttle and the continuing evolution of the STS over the next decade. Automation, microcircuitry, batteries, and structural materials are common aircraft and space technology needs.

Barthelemy, R. R.↗

DOE OSTI2020

Leveraging Flexible Smart Manufacturing to Accelerate Industrial Supply Chain Recovery

Any major crisis such as the latest coronavirus disease pandemic will have a monumental effect on the worldwide economy and on the international supply chain. Much of the global supply chain relies on China, Germany, and the United States for manufacturing and distribution; this fragile system is subject to failure. Climactic changes in demand and rapid shortages in necessities are the results of the pandemic’s disruption. The recovery forecast for the ongoing pandemic is uncertain and, therefore, any recovery effort will need to be adaptable to build the supply chain resiliency. A wide adoption of flexible smart automated technologies in the manufacturing sector are helping to build robust supply chains and assisting in recovery. Here, a brief discussion of these smart manufacturing technologies is presented, along with a list of potential supply chain issues and corresponding solutions. Such smart manufacturing technologies possess the potential to empower and revolutionize the traditional manufacturing environment by enhancing its resiliency and flexibility. These smart technologies will play a crucial role in accelerating the worldwide supply chain recovery in and after a pandemic.

99 GENERAL AND MISCELLANEOUS↗

NASA NTRS1993

Parallel runway requirement analysis study. Volume 1: The analysis

The correlation of increased flight delays with the level of aviation activity is well recognized. A main contributor to these flight delays has been the capacity of airports. Though new airport and runway construction would significantly increase airport capacity, few programs of this type are currently underway, let alone planned, because of the high cost associated with such endeavors. Therefore, it is necessary to achieve the most efficient and cost effective use of existing fixed airport resources through better planning and control of traffic flows. In fact, during the past few years the FAA has initiated such an airport capacity program designed to provide additional capacity at existing airports. Some of the improvements that that program has generated thus far have been based on new Air Traffic Control procedures, terminal automation, additional Instrument Landing Systems, improved controller display aids, and improved utilization of multiple runways/Instrument Meteorological Conditions (IMC) approach procedures. A useful element to understanding potential operational capacity enhancements at high demand airports has been the development and use of an analysis tool called The PLAND_BLUNDER (PLB) Simulation Model. The objective for building this simulation was to develop a parametric model that could be used for analysis in determining the minimum safety level of parallel runway operations for various parameters representing the airplane, navigation, surveillance, and ATC system performance. This simulation is useful as: a quick and economical evaluation of existing environments that are experiencing IMC delays, an efficient way to study and validate proposed procedure modifications, an aid in evaluating requirements for new airports or new runways in old airports, a simple, parametric investigation of a wide range of issues and approaches, an ability to tradeoff air and ground technology and procedures contributions, and a way of considering probable blunder mechanisms and range of blunder scenarios. This study describes the steps of building the simulation and considers the input parameters, assumptions and limitations, and available outputs. Validation results and sensitivity analysis are addressed as well as outlining some IMC and Visual Meteorological Conditions (VMC) approaches to parallel runways. Also, present and future applicable technologies (e.g., Digital Autoland Systems, Traffic Collision and Avoidance System II, Enhanced Situational Awareness System, Global Positioning Systems for Landing, etc.) are assessed and recommendations made.

Ebrahimi, Yaghoob S.↗

NASA NTRS2011

Mission Operations Planning and Scheduling System (MOPSS)

MOPSS is a generic framework that can be configured on the fly to support a wide range of planning and scheduling applications. It is currently used to support seven missions at Goddard Space Flight Center (GSFC) in roles that include science planning, mission planning, and real-time control. Prior to MOPSS, each spacecraft project built its own planning and scheduling capability to plan satellite activities and communications and to create the commands to be uplinked to the spacecraft. This approach required creating a data repository for storing planning and scheduling information, building user interfaces to display data, generating needed scheduling algorithms, and implementing customized external interfaces. Complex scheduling problems that involved reacting to multiple variable situations were analyzed manually. Operators then used the results to add commands to the schedule. Each architecture was unique to specific satellite requirements. MOPSS is an expert system that automates mission operations and frees the flight operations team to concentrate on critical activities. It is easily reconfigured by the flight operations team as the mission evolves. The heart of the system is a custom object-oriented data layer mapped onto an Oracle relational database. The combination of these two technologies allows a user or system engineer to capture any type of scheduling or planning data in the system's generic data storage via a GUI.

Wood, Terri↗

DOE OSTI2025

BOPTest As a Platform for Building Controls and Grid-Interactive Buildings Workforce Training

Building automation and controls are becoming increasingly complex with the emergence of Grid Integrated Efficient Buildings (GEBs) as well as new highly efficient sequences of operation and data-driven control schemes. However, there remains a significant gap in hands-on training opportunities for building operators and technicians to gain practical experience with advanced control systems in a low-risk environment. This paper presents BOPTEST (Building Optimization Performance Test) as a suitable platform for workforce training in building controls and GEB technologies. BOPTEST provides a suite of standardized building simulation test cases with a REST API, real-time control interfaces through BACnet, semantic models connecting users to building data, and built-in calculation of control metrics and performance indicators. The platform enables trainees to interact with virtual buildings using industry-standard protocols while learning how to implement and innovate control strategies. The training platform is designed to offer a structured and interactive learning experience for building engineers, helping them effectively develop, learn, and retain skills in fault identification, troubleshooting, and correction. The workflow is divided into three main phases: 1) Setup, 2) Exercise, and 3) Review, each comprising specific activities performed by either the instructor or the student. Initial pilot training sessions have yielded positive feedback from instructors and participants and demonstrates that BOPTEST effectively fills an industry need for a low-risk training resource via simulation of real building control systems, allowing trainees to gain practical experience before working in the field. The platform's ability to provide immediate performance feedback while maintaining familiar industry interfaces makes it particularly suitable for workforce development programs. This work provides a replicable model for leveraging building simulation in control education and training.

Paul, Lazlo↗

DOE OSTI2025

BOPTEST as a Platform for Building Controls and Grid-Interactive Buildings Workforce Training

Paul, Lazlo↗

NASA NTRS1984

LANDSAT-4 MSS Geometric Correction: Methods and Results

An automated image registration system such as that developed for LANDSAT-4 can produce all of the information needed to verify and calibrate the software and to evaluate system performance. The on-line MSS archive generation process which upgrades systematic correction data to geodetic correction data is described as well as the control point library build subsystem which generates control point chips and support data for on-line upgrade of correction data. The system performance was evaluated for both temporal and geodetic registration. For temporal registration, 90% errors were computed to be .36 IFOV (instantaneous field of view) = 82.7 meters) cross track, and .29 IFOV along track. Also, for actual production runs monitored, the 90% errors were .29 IFOV cross track and .25 IFOV along track. The system specification is .3 IFOV, 90% of the time, both cross and along track. For geodetic registration performance, the model bias was measured by designating control points in the geodetically corrected imagery.

Brooks, J.↗

DOE OSTI2026

AI-Based Analytics and Energy Modeling Framework for Characterizing Urban Energy Systems

Developing location-specific district energy models is essential for understanding energy patterns and supporting efficient management and planning decisions. However, accurately characterizing these models remains challenging due to gaps in building characteristics and labor-intensive traditional modeling workflows. To address these challenges, we develop an AI-based framework that integrates top-down and bottom-up building energy data to automate urban energy model characterization. The framework trains multimodal deep learning models using heterogeneous ResStockTM datasets to infer missing building characteristics from varying levels of known information and generate simulation-ready inputs for district-scale energy modeling. It also employs a conditioning-based injection approach to generate ”what-if” scenarios, enabling users to explore retrofit, efficiency, and technology-upgrade pathways. Integrated within URBANoptTM, a bottom-up district energy modeling platform for simulating co-located buildings, the framework infers detailed building-level inputs required for bottom-up simulations. Both localized and generalized AI models are developed to learn relationships across categorical, numerical, and time-series data, enabling reconstruction of missing attributes and generation of targeted upgrade scenarios. We demonstrate this methodology on a residential neighborhood in Baltimore, MD, assessing internal consistency against ResStock reference data and URBANopt simulation, and comparing selected attributes against real-world building characteristics. Results show strong overall predictive accuracy in data completion and scenario generation, with localized and generalized models offering complementary trade-offs between precision and scalability. Overall, our automated framework streamlines energy modeling and provides a reliable framework for urban building energy characterization.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

DOE OSTI2024

Enabling Efficient Surveillance, Control, and Automation of Geothermal Operations with Advanced Predictive Analytics

Automation and control of geothermal energy production and operations require reliable and efficient predictive tools. While physics-based simulation offers a comprehensive tool for predicting energy production performance in geothermal systems, predicting the behavior of geothermal reservoirs involves complex multi-physics processes with coupling effects, highly uncertain input parameters and subsurface descriptions. Moreover, building, running, and integrating simulation models into standard model calibration and optimization workflows entail significant technical and computational efforts. An emerging alternative to physics-based simulation is data-driven predictive analytics models that have gained popularity in energy industry. In this report, we develop novel predictive models for integration into real-time fault diagnosis and model predictive control algorithms to improve the efficiency of energy production operations in geothermal reservoirs. The report includes two major research Thrust Areas, that is, the surface power plant and the subsurface reservoir.

15 GEOTHERMAL ENERGY↗

NASA NTRS1992

Automated Characterization Of Vibrations Of A Structure

Automated method of characterizing dynamical properties of large flexible structure yields estimates of modal parameters used by robust control system to stabilize structure and minimize undesired motions. Based on extraction of desired modal and control-design data from responses of structure to known vibrational excitations. Applicable to terrestrial structures where vibrations are important - aircraft, buildings, bridges, cranes, and drill strings.

Bayard, David S.↗