Search NASA⌕ Search

SEARCH · Search NASA

Results for “Safety Controls”

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 415 records · Page 23

Preparation for Pick-and-Eat Food Production on the International Space Station: Flight Definition for the VEG-04 and VEG-05 Missions

Growth of fresh, nutritious, palatable produce for crew consumption during spaceflight may provide health-promoting, bioavailable nutrients and enhance the dietary experience as we move toward longer-duration missions. Tending plants also may serve as a countermeasure for crew psychological stresses associated with long duration spaceflight. However, requirements to support consistent growth of a variety of high quality, nutritious crops under spaceflight environmental conditions is unknown. This study is exploring the potential to grow plants for food production on the International Space Station (ISS) using the Veggie vegetable production system. Ground testing is underway to compare the impacts of several fertilizer and lighting treatments on growth, quality, and nutritional composition of the leafy green crop mizuna, and the dwarf tomato crop "Red Robin" when subjected to Veggie ISS environmental conditions. Early testing focused on the leafy crop "Tokyo Bekana" Chinese cabbage, but ground tests indicated that this plant suffered from stress responses when grown under LEDs and the chronically elevated CO2 levels found on the ISS. Mizuna, a related leafy variety that grows well in the presence of high CO2, and has excellent organoleptic characteristics, was selected as an alternate crop. Tomato crops have been grown using two fertilizer formulations and two pollination techniques, and growth tests using different red:blue lighting environments are underway. Chemical analysis is also being conducted and these data, when coupled with the growth results, will be used to down-select to the two best lighting treatments and best fertilizer treatment for future testing of each crop on the ISS. Additionally, seed-source testing has become important, with mizuna seeds from two different vendors growing very differently. A seed source has been selected, and seed-surface-sanitizing methods have been confirmed for mizuna, but these remain under development for tomato. A crop-handling protocol is also being evaluated to support food safety. All harvests reserve a subset of samples for microbial analysis to determine baseline microbial levels and help establish critical control points for food safety. Testing was initially conducted in hardware analogs of the standard Veggie plant pillows. However, a new Veggie watering system, the Passive Orbital Nutrient Delivery System or PONDS, has been designed and is being prepared for future flight experiments. With the selection of this growth system, ground tests have shifted to analog PONDS systems. Crop tests on ISS, designated VEG-04 for mizuna and VEG-05 for tomato, are planned in 2018 to evaluate any additional impacts of spaceflight on the light and fertilizer conditions down-selected from ground tests. A set of Veggie-specific questions has been developed to characterize the psychological impacts of plant growth and plant-care activities during spaceflight. Organoleptic questionnaires have been developed to assess produce attributes in microgravity taste sessions. These tests for plants growing in the Veggie hardware on ISS will help to mitigate the risk of an inadequate food supply for long duration missions by developing methods and determining hardware requirements to integrate fresh vegetables as a dietary supplement. This research was co-funded by the Human Research Program and Space Biology (MTL#1075) in the ILSRA 2015 NRA call.

LED light↗

Fuzzy Logic Controller Stability Analysis Using a Satisfiability Modulo Theories Approach

While many widely accepted methods and techniques exist for validation and verification of traditional controllers, at this time no solutions have been accepted for Fuzzy Logic Controllers (FLCs). Due to the highly nonlinear nature of such systems, and the fact that developing a valid FLC does not require a mathematical model of the system, it is quite difficult to use conventional techniques to prove controller stability. Since safety-critical systems must be tested and verified to work as expected for all possible circumstances, the fact that FLC controllers cannot be tested to achieve such requirements poses limitations on the applications for such technology. Therefore, alternative methods for verification and validation of FLCs needs to be explored. In this study, a novel approach using formal verification methods to ensure the stability of a FLC is proposed. Main research challenges include specification of requirements for a complex system, conversion of a traditional FLC to a piecewise polynomial representation, and using a formal verification tool in a nonlinear solution space. Using the proposed architecture, the Fuzzy Logic Controller was found to always generate negative feedback, but inconclusive for Lyapunov stability.

Fuzzy Logic Controller↗

Human-in-the-loop Robotic Control for Human-Robot Collaboration

The prospect of a collaborative work environment between humans and robotic automation in a manufacturing setting [1] provides the motivation for finding innovative solutions to human-in-the-loop control for safe, efficient, and trustworthy human-robot collaboration (HRC), or HR interaction (HRI), in cyberphysical human systems (CPHSs) [2], [3]. Studies in [4] show that collaborative automation can be beneficial to 90% of approximately 300,000 small-to-medium-scale enterprises in the United States. In the paradigm of human-centered automation [5], human safety, ergonomics, and the collaborative efficiency of the work are given the utmost importance. Traditional methods to ensure the safety of humans around factory robots involve the use of cages. Recent work looked beyond cage-based safety to provide robot control and sensing-driven solutions for human safety around robots [6]-[8].

Ashwin P. Dani↗

A Model-based Framework for Risk Assessment in Human-Computer Controlled Systems

The rapid growth of computer technology and innovation has played a significant role in the rise of computer automation of human tasks in modem production systems across all industries. Although the rationale for automation has been to eliminate "human error" or to relieve humans from manual repetitive tasks, various computer-related hazards and accidents have emerged as a direct result of increased system complexity attributed to computer automation. The risk assessment techniques utilized for electromechanical systems are not suitable for today's software-intensive systems or complex human-computer controlled systems. This thesis will propose a new systemic model-based framework for analyzing risk in safety-critical systems where both computers and humans are controlling safety-critical functions. A new systems accident model will be developed based upon modem systems theory and human cognitive processes to better characterize system accidents, the role of human operators, and the influence of software in its direct control of significant system functions. Better risk assessments will then be achievable through the application of this new framework to complex human-computer controlled systems.

Hatanaka, Iwao↗

UAS Conflict-Avoidance Using Multiagent RL with Abstract Strategy Type Communication

The use of unmanned aerial systems (UAS) in the national airspace is of growing interest to the research community. Safety and scalability of control algorithms are key to the successful integration of autonomous system into a human-populated airspace. In order to ensure safety while still maintaining efficient paths of travel, these algorithms must also accommodate heterogeneity of path strategies of its neighbors. We show that, using multiagent RL, we can improve the speed with which conflicts are resolved in cases with up to 80 aircraft within a section of the airspace. In addition, we show that the introduction of abstract agent strategy types to partition the state space is helpful in resolving conflicts, particularly in high congestion.

Unmanned Autonomous Systems↗

Announced Strategy Types in Multiagent RL for Conflict-Avoidance in the National Airspace

The use of unmanned aerial systems (UAS) in the national airspace is of growing interest to the research community. Safety and scalability of control algorithms are key to the successful integration of autonomous system into a human-populated airspace. In order to ensure safety while still maintaining efficient paths of travel, these algorithms must also accommodate heterogeneity of path strategies of its neighbors. We show that, using multiagent RL, we can improve the speed with which conflicts are resolved in cases with up to 80 aircraft within a section of the airspace. In addition, we show that the introduction of abstract agent strategy types to partition the state space is helpful in resolving conflicts, particularly in high congestion.

National Airspace↗

Instrumentation and Control Digital Modernization Research Plan for Long-Term Sustainability in the Nuclear Industry

This report, developed by Idaho National Laboratory (INL) in collaboration with Oak Ridge National Laboratory (ORNL), outlines a comprehensive research plan to support the digital modernization of safety-related instrumentation and control (I&C) systems in the U.S. nuclear industry. The modernization effort is critical to ensuring the long-term safety, reliability, and economic viability of both existing and future nuclear power plants (NPPs), particularly as aging analog systems become increasingly obsolete and difficult to maintain.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Aerospace Industries Association (AIA) work practices report for composites

In an effort to gain a better understanding of effective safety and health work practice controls for composite manufacturing operations, the Aerospace Industries Association (AIA) Occupational Safety and Health Committee established a Composites Task Group. The group's task was to provide AIA members with recommendations for minimizing occupational exposure risk and to determine research needs and information gaps. The strategy included a review of toxicological information on composites, a review of member company experience and control methods, and interaction with other professional organizations who share an interest in composite work practices.

Luca, Jackie↗

Engineering Controls Database

Cyber-Informed Engineering (CIE) addresses the reality that cyber attacks on engineered systems can have consequences far beyond data loss or disruption of digital networks. When control systems are compromised, safety, reliability, and performance of the physical process itself may be threatened. This database is meant to establish clear examples and guidance for defining and applying engineered controls in CIE. It explains what engineered controls are, how they differ from information security measures, and how they are integrated into system design. The goal is to ensure that resilience is engineered into systems from the outset. Unlike cybersecurity protections that defend the digital layer, engineered controls act directly at the physical and algorithmic levels to guarantee that unacceptable consequences are prevented or limited. CIE keeps the consequences of a cyber attack from impacting the safety, reliability, and performance of engineered systems.

Source record↗

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

Xanthohumol Microbiome and Signature in Healthy Adults (the XMaS Trial): Safety and Tolerability Results of a Phase I Triple-Masked, Placebo-Controlled Clinical Trial

Scope Xanthohumol, a prenylflavonoid from hops, has been extensively studied preclinically but has undergone limited research in human subjects. A triple-masked, placebo-controlled phase I clinical trial was conducted to examine the safety and tolerability of xanthohumol. Methods and results Thirty healthy volunteers were randomized to 24?mg/day xanthohumol (99.8% pure) or placebo for eight weeks. Comprehensive metabolic panels, complete blood counts, body weight, vital signs, and health-related quality of life questionnaires were assessed every two weeks. Participants were interviewed for adverse events (AEs) throughout the trial. Thirteen of 14 (93%) and 14 of 16 (88%) participants completed the trial in Group A and B respectively. There were no withdrawals due to AEs. There were no clinically relevant, between-group differences in laboratory biomarkers, body weight, vital signs, or health-related quality of life. There were no severe or FDA-defined serious AEs, but non-serious AEs were documented in both Group A (n=42) and Group B (n=58). Conclusion Over an eight-week period, 24 mg daily xanthohumol was safe and well-tolerated by healthy adults.

Langley, Blake↗

Real-Time UAV Trajectory Prediction for Safety Monitoring in Low-Altitude Airspace

The rising number of small unmanned aerial vehicles (UAVs) expected in the next decade will enable a new series of commercial, service, and military operations in low altitude airspace as well as above densely populated areas. These operations may include on-demand delivery, medical transportation services, law enforcement operations, traffic surveillance and many more. Such unprecedented scenarios create the need for robust, efficient ways to monitor the UAV state in time to guarantee safety and mitigate contingencies throughout the operations. This work proposes a generalized monitoring and prediction methodology that utilizes realtime measurements of an autonomous UAV following a series of way-points. Two different methods, based on sinusoidal acceleration profiles and high-order splines, are utilized to generate the predicted path. The monitoring approach includes dynamic trajectory re-planning in the event of unexpected detour or hovering of the UAV during flight. It can be further extended to different vehicle types, to quantify uncertainty affecting the state variables, e.g., aerodynamic and other environmental effects, and can also be implemented to prognosticate safety-critical metrics which depend on the estimated flight path and required thrust. The proposed framework is implemented on a simplified, scalable UAV modeling and control system traversing 3D trajectories. Results presented include examples of real-time predictions of the UAV trajectories during flight and a critical analysis of the proposed scenarios under uncertainty constraints.

UAV trajectory prognosis↗

Noise Control in Space Shuttle Orbiter

Acoustic limits in habitable space enclosures are required to ensure crew safety, comfort, and habitability. Noise control is implemented to ensure compliance with the acoustic requirements. The purpose of this paper is to describe problems with establishing acoustic requirements and noise control efforts, and present examples of noise control treatments and design applications used in the Space Shuttle Orbiter. Included is the need to implement the design discipline of acoustics early in the design process, and noise control throughout a program to ensure that limits are met. The use of dedicated personnel to provide expertise and oversight of acoustic requirements and noise control implementation has shown to be of value in the Space Shuttle Orbiter program. It is concluded that to achieve acceptable and safe noise levels in the crew habitable space, early resolution of acoustic requirements and implementation of effective noise control efforts are needed. Management support of established acoustic requirements and noise control efforts is essential.

Goodman, Jerry R.↗

The Relationship Between Workload and Performance in Air Traffic Control: Exploring the Influence of Levels of Automation and Variation in Task Demand

In an air traffic environment, task demand is dynamic. However, previous research has largely considered the association of task demand and controller performance using conditions of stable task demand. Further, there is a comparatively restricted understanding of the influence of task demand transitions on workload and performance in association with different types and levels of automation that are available to controllers. This study used an air traffic control simulation to investigate the influence of task demand transitions, and two conditions of automation, on workload and efficiency-related performance. Findings showed that both the direction of the task demand variation and the amount of automation influenced the relationship between workload and performance. Findings are discussed in relation to capacity and arousal theories. Further research is needed to enhance understanding of demand transition and workload history effects on operator experience and performance, in both air traffic control and other safety-critical domains.

function allocation↗

A pilot rating scale for evaluating failure transients in electronic flight control systems

A pilot rating scale was developed to describe the effects of transients in helicopter flight-control systems on safety-of-flight and on pilot recovery action. The scale was applied to the evaluation of hardovers that could potentially occur in the digital flight-control system being designed for a variable-stability UH-60A research helicopter. Tests were conducted in a large moving-base simulator and in flight. The results of the investigation were combined with existing airworthiness criteria to determine quantitative reliability design goals for the control system.

Hindson, William S.↗

Survivable flight control system fly-by-wire development and flight test

Results from an intensive FBW advanced development effort indicate significant improvements in overall flight control system performance, reliability, safety and maintainability. Additionally, the strong and credible FBW technology base developed as a result paved the way for further exploitation through the application of advanced concepts such as control configured vehicles and multi-mode controls.

Hunter, J. E.↗

Human Monitoring for Medical Operator Assistance

Measurement of multiple biologic and non-biologic signals can be exploited for the task of monitoring the physiological status of individuals - either as patients during and following illness or injury or as those engaged in operational activities. Assessing physiological status is accomplished by measuring vital signs and wellness measures that support clinical decision-making for physical optimization, illness/injury prevention and treatment, recovery progression, and general delivery of care, or monitoring an operator's moment-to-moment personal "readiness" state. Physiological measures are beneficial for monitoring the medical state of vehicle operators, for example, through the detection of incapacitation in the realm of transportation safety. Measuring physiological signals or control inputs can also be beneficial for monitoring operator state to optimize human-autonomy-teaming performance for safety and efficiency. Similarly, monitoring a health care provider during the performance of medical procedures could provide valuable feedback on optimizing human-robot interactions and human teaming with autonomous systems. In this sense, the provider can be seen as a "Medical Operator" in the same way other "operators" drive, aviate, or control vehicles by performing manual, attention-demanding tasks during safety-critical activities.

Neuroergonomics↗