Engineering Papers⌕ Search

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.

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

At least 397 records · Page 22

Multiple Views on Safety-Critical Automation: Aircraft, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives

This SIG focuses on the engineering of automation in interactive critical systems. Automation has already been studied in a number of (sub-) disciplines and application fields: design, human factors, psychology, (software) engineering, aviation, health care, games. One distinguishing feature of the area we are focusing on is that in the field of interactive critical systems properties such as reliability, dependability, fault-tolerance are as important as usability, user experience or overall acceptance issues. The SIG targets at two problem areas: first the engineering of the user interaction with (partly-) autonomous systems: how to design, build and assess autonomous behavior, especially in cases where there is a need to represent on the user interface both autonomous and interactive objects. An example of such integration is the representation of an unmanned aerial vehicle (UAV) (where no direct interaction is possible), together with aircrafts (that have to be instructed by an air traffic controller to avoid the UAV). Second the design and engineering of user interaction in general for autonomous objects systems (for example a cruise control in a car or an autopilot in an aircraft). The goal of the SIG is to raise interest in the CHI community on the general aspects of automation and to identify a community of researchers and practitioners interested in those increasingly prominent issues of interfaces towards (semi)-autonomous systems. The expected audience should be interested in addressing the issues of integration of mainly unconnected research domains to formulate a new joint research agenda.

safety-critical automation↗

Learning and Predicting Photonic Responses of Plasmonic Nanoparticle Assemblies via Dual Variational Autoencoders

In this work, the application of machine learning is demonstrated for rapid and accurate extraction of plasmonic particles cluster geometries from hyperspectral image data via a dual variational autoencoder (dual-VAE). In this approach, the information is shared between the latent spaces of two VAEs acting on the particle shape data and spectral data, respectively, but enforcing a common encoding on the shape-spectra pairs. It is shown that this approach can establish the relationship between the geometric characteristics of nanoparticles and their far-field photonic responses, demonstrating that hyperspectral darkfield microscopy can be used to accurately predict the geometry (number of particles, arrangement) of a multiparticle assemblies below the diffraction limit in an automated fashion with high fidelity (for monomers (0.96), dimers (0.86), and trimers (0.58). This approach of building structure-property relationships via shared encoding is universal and should have applications to a broader range of materials science and physics problems in imaging of both molecular and nanomaterial systems.

variational autoencoder↗

Using AI/expert system technology to automate planning and replanning for the HST servicing missions

This paper describes a knowledge-based system that has been developed to automate planning and scheduling for the Hubble Space Telescope (HST) Servicing Missions. This new system is the Servicing Mission Planning and Replanning Tool (SM/PART). SM/PART has been delivered to the HST Flight Operations Team (FOT) at Goddard Space Flight Center (GSFC) where it is being used to build integrated time lines and command plans to control the activities of the HST, Shuttle, Crew and ground systems for the next HST Servicing Mission. SM/PART reuses and extends AI/expert system technology from Interactive Experimenter Planning System (IEPS) systems to build or rebuild time lines and command plans more rapidly than was possible for previous missions where they were built manually. This capability provides an important safety factor for the HST, Shuttle and Crew in case unexpected events occur during the mission.

Bogovich, L.↗

MAPGEN Planner: Mixed-Initiative Activity Planning for the Mars Exploration Rover Mission

This document describes the Mixed-initiative Activity Plan Generation system MAPGEN. The system is be- ing developed as one of the tools to be used during surface operations of NASA's Mars Exploration Rover mission (MER). However, the core technology is general and can be adapted to different missions and applications. The motivation for the system is to better support users that need to rapidly build activity plans that have to satisfy complex rules and fit within resource limits. The system therefore combines an existing tool for activity plan editing and resource modeling, with an advanced constraint-based reasoning and planning framework. The demonstration will show the key capabilities of the automated reasoning and planning component of the system, with emphasis on how these capabilities will be used during surface operations of the MER mission.

Ai-Chang, Mitch↗

National Campaign Partner Demonstration Team Annual Review April 2023

- NASA developed the Advanced Air Mobility Project (AAM) and the National Campaign (NC) series to identify and address challenges ahead for advanced air mobility concepts. - NC seeks to challenge industry as follows; - Execute progressively more difficult ecosystem-wide system-level safety and integration scenarios - Demonstrate practical and scalable system concepts - Build a knowledge base for development of requirements and standards - There are currently three focus areas within the NASA AAM NC Portfolio - Vehicle Development and Operations: test and inform capabilities that are critical enablers for AAM such as electric aircraft propulsion and increasing levels of automation - Airspace Design and Operations: develop and validate an operational concept to integrate and manage AAM traffic safely and efficiently - Community Integration: understand and address critical barriers to community integration, such as public acceptance (noise, security, privacy, etc.), supporting infrastructure, and local regulation

Eric N Becker↗

Safe Operations at Roadway Junctions: Intelligent Roadway Infrastructure as Functional Interlocking

Automated vehicle (AV) technology is quickly maturing, and the corresponding infrastructure systems that evaluate traffic and communicate to vehicles requires sophisticated sensing and perception technologies, referred to as intelligent roadway infrastructure (IRI), to complement emerging AV capabilities. IRI provides signals to vehicles, indicating right-of-way for vehicles and communicating to approaching AVs that no other vehicle is failing to yield. This capability, denoted as safety-affirmative signaling, provides a green light or a green arrow as appropriate and affirms through communication links to connected vehicles when it is safe to proceed. About 36% of collisions occur at intersections, with most occurring upon left turns (22.2%) or crossing over (12.6%), and only a small percentage (1.2%) while turning right at an intersection. Of all intersection crashes about half (52.5%) of those vehicles were traveling through a signalized intersection 2. Safety-affirmative signaling would guarantee safety of AV fleet vehicles, by providing the interlocking principle, a term from automated train control that only allows progression through a railway intersection after affirming no opportunity for a crash exists. IRI through safety-affirmative signaling would bring performance and safety to complex roadway intersections where AV transit fleet service is most needed, as well as safety benefits to traditional, non-automated vehicles and vulnerable road users. The implementation of IRI has functional, programmatic, and technical challenges. Research work performed at the National Renewable Energy Laboratory (NREL) in an integrative approach encapsulating these themes, and termed infrastructure perception and control (IPC) is motivated by improved performance (travel time), improved safety (reduced collisions), and improved energy efficiency (less fuel burned and minimized production of greenhouse gases). IPC is intended not only for roadway and intersection applications but also in extension to inform complementary buildings and grid systems to enable better co-management, as vehicles and their charging needs become increasingly integrated into the built environment. The NREL IPC project presents an open-source framework, architecture, and supporting technology to implement IRI, addressing critical issues such as fusion of data, reliability, standardization of data interfaces, and confidence of detection. The framework is informed by previous experience in U.S. Department of Defense research technology, specifically in the use of radar to detect, identify, and track aerial threats. These principles combined with multi-sensor fusion provides for a complete digital twin with known and measurable confidence and accuracy from which safety-affirmative signaling can be developed and deployed.

ADVANCED PROPULSION SYSTEMS,MATHEMATICS AND COMPUT↗

The Application of Coordination to Magnetic Measurement Automation: An SSW System Example

Magnetic measurements are an integral part of the development cycle of accelerator magnets, a part which provides necessary feedback to drive design and manufacturing improvements and corrections. Automation of these measurements allows for reduction of human errors and reproducibility of measurements. Realization of automation via coordination that is separated at the architectural level from the functional code provides flexibility in defining measurement procedures and substantial extensibility. The described Single Stretched Wire (SSW) system herein is an implementation of such a solution with the use of a component-based framework designed to build a family of measurement systems.

43 PARTICLE ACCELERATORS↗

From Regolith to Living Off the Land: Formulating a Data Model to Catalog Lunar Construction Materials

Artemis Program objectives for sustainable, long-term presence on the Moon and more distant planetary surfaces will require learning to “Live off the Land”, relying on in-situ resource utilization to produce infrastructure and building materials from lunar regolith, icy subsurface deposits, and residual waste materials. Meeting demand for consumables while scaling development with resources found within the landing zone will require detailed data on the geology and environment of the lunar surface. Lunar infrastructure development will generate vast amounts of new engineering data regarding availability of processed feedstocks and their performance in building materials. Lunar engineering data accessible to program partners, research institutions and industry may help situate processes and specifications within the in-situ GIS context. Lunar missions to date have generated geological and ice favorability maps of the lunar surface, and recent technology studies have tested automated construction systems and novel material formulations using regolith simulants and binders. Current discussions focus on identifying key feedstocks, quantities required for nominal mission scenarios and infrastructure plans, and mapping the value chain from regolith to feedstock to consumables and construction materials.

lunar construction↗

From Regolith to Living Off the Land: Formulating a Data Model to Catalog Lunar Construction Materials

Artemis Program objectives for sustainable, long-term presence on the Moon and more distant planetary surfaces will require learning to “Live off the Land”, relying on in-situ resource utilization to produce infrastructure and building materials from lunar regolith, icy subsurface deposits, and residual waste materials. Meeting demand for consumables while scaling development with resources found within the landing zone will require detailed data on the geology and environment of the lunar surface. Lunar infrastructure development will generate vast amounts of new engineering data regarding availability of processed feedstocks and their performance in building materials. Lunar engineering data accessible to program partners, research institutions and industry may help situate processes and specifications within the in-situ GIS context. Lunar missions to date have generated geological and ice favorability maps of the lunar surface, and recent technology studies have tested automated construction systems and novel material formulations using regolith simulants and binders. Current discussions focus on identifying key feedstocks, quantities required for nominal mission scenarios and infrastructure plans, and mapping the value chain from regolith to feedstock to consumables and construction materials.

lunar construction↗

A Multi-Dimensional Benefit Assessment of Automated Mobility Platforms (AMP) for Large Facilities: Mobility, Energy, Equity, and Facility Management & Design

The goal of the automated mobility platforms (AMPs) initiative is to raise the bar of service regarding equity and sustainability for public mobility systems that are crucial to large facilities, and doing so using electrified, energy efficient technology. Using airports as an example, the rapid growth in air travel demand has led to facility expansions and congested terminals, which directly impacts equity (e.g., increased challenges for Passengers with Reduced Mobility [PRMs]) and sustainability - both of which are important metrics often overlooked during the engineering design process. Therefore, to evaluate systems and inform critical near- and long-term decisions more effectively, a holistic evaluation framework is proposed focused on four key areas: (1) mobility, with emphasis on travel time and accessibility within an airport, (2) environment, focused on energy consumption and greenhouse gas (GHG) emissions associated with intra-airport mobility, (3) equity, specifically to the PRM community, but with an eye to the whole of society, and (4) built environment, or the fundamental changes in building design enabled by different mobility systems for larger and more flexible, functional, and energy-efficient structures. Below, AMPs are defined, and each metric is discussed further, all with a focus on airport mobility.

ADVANCED PROPULSION SYSTEMS↗

pvlib python: 2023 project update

pvlib python is a community-developed, open-source software toolbox for simulating the performance of solar photovoltaic (PV) energy components and systems. It provides reference implementations of over 100 empirical and physics-based models from the peer-reviewed scientific literature, including solar position algorithms, irradiance models, thermal models, and PV electrical models. In addition to individual low-level model implementations, pvlib python provides high-level workflows that chain these models together like building blocks to form complete “weather-to-power” photovoltaic system models. It also provides functions to fetch and import a wide variety of weather datasets useful for PV modeling. pvlib python has been developed since 2013 and follows modern best practices for open-source python software, with comprehensive automated testing, standards-based packaging, and semantic versioning. Its source code is developed openly on GitHub and releases are distributed via the Python Package Index (PyPI) and the conda-forge repository. pvlib python’s source code is made freely available under the permissive BSD-3 license. Here we (the project’s core developers) present an update on pvlib python, describing capability and community development since our 2018 publication (Holmgren, Hansen, & Mikofski, 2018).

14 SOLAR ENERGY↗

CSTI high capacity power

In FY-88, the Advanced Technology Program was incorporated into NASA's Civil Space Technology Initiative (CSTI). The CSTI Program was established to provide the foundation for technology development in automation and robotics, information, propulsion, and power. The CSTI High Capacity Power Program builds on the technology efforts of the SP-100 program, incorporates the previous NASA SP-100 Advanced Technology project, and provides a bridge to NASA Project Pathfinder. The elements of CSTI High Capacity Power development include Converrsion Systems, Thermal Management, Power Management, System Diagnostics, and Environmental Interactions. Technology advancement in all areas, including materials, is required to assure the high reliability and 7 to 10 year lifetime demanded for future space nuclear power systems.

Winter, Jerry M.↗

Designing Scenarios for Controller-in-the-Loop Air Traffic Simulations

Within the Human Factors Division at NASA Ames Research Center the Airspace Operations Laboratory (AOL) is developing advanced automation concepts that help to transform the National Airspace System into NextGen, the Next Generation Air Transportation System. High-fidelity human-in-the-loop (HITL) simulations are used as a means to investigate and develop roles, responsibilities, support tools, and requirements for human operators and automation. This paper describes the traffic scenario design process and strategies as used by AOL researchers. Details are presented on building scenarios for specific simulation objectives using various design strategies. A focus is set on creating scenarios based on recorded real world traffic for terminal-area simulations.

scenario design↗

Automated fault detection of residential air-conditioning systems using thermostat drive cycles

Residential air conditioning equipment comprises a significant portion of the total energy consumption of a home. Unfortunately, air-conditioning systems can be susceptible to faulty operation either from installation errors or faults that accrue over the equipment’s lifetime. This paper presents a novel automated fault detection algorithm for residential air-conditioning systems that can alert the homeowner of the presence of these faults. The proposed algorithm utilizes only the home’s thermostat and outside air temperature to perform automated fault detection over the course of the equipment’s lifetime, including immediately after installation. The algorithm uses an extended Kalman filter approach to identify a three-resistor, two-capacitor (3R2C) electrical equivalent thermodynamic model. The identified 3R2C model is used to predict cooling times during a testing period comprising of a series of thermostat drive-cycle experiments. We tested the algorithm on an EnergyPlus™ model of a typical residential building in Orlando, Florida. Duct faults, indoor airflow faults, and refrigerant undercharge faults were introduced into the building model one at a time. The algorithm was able to accurately determine duct-leak faults, 40% airflow faults, 40% undercharge faults, and no-fault cases with an accuracy of 70%, 77%, 82%, and 87%, respectively.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

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↗

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.↗

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.↗

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↗