Multilevel Adaptation for Autonomous Mobile Robot Formations
This paper studies adaptive behavior within multiagent autonomous robot formation-keeping.
Robotics↗
SEARCH · Engineering Papers
Results for “autonomous behavior”
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.
Autogenic-feedback training improves pilot performance during emergency flying conditions
Studies have shown that autonomous mode behavior is one cause of aircraft fatalities due to pilot error. In such cases, the pilot is in a high state of psychological and physiological arousal and tends to focus on one problem, while ignoring more critical information. The effect of training in physiological self-recognition and regulation, as a means of improving crew cockpit performance was examined. Seventeen pilots were assigned to the treatment and control groups matched for accumulated flight hours. The treatment group comprised four pilots of HC-130 Hercules aircraft and four HH-65 Dolphin helicopter pilots; the control group comprised three pilots of HC-130's and six Dolphin helicopter pilots. During an initial flight physiological data were recorded for each crewmember and individual crew performance and rated by an instructor pilot. Eight crewmembers were then taught to regulate their own physiological response levels using Autogenic-Feedback Training (AFT). The remaining subjects received no training. During a second flight, treatment subjects showed significant improvement in performance, while controls did not improve. The results indicate that AFT management of high states of physiological arousal may improve pilot performance during emergency flying conditions.
Kellar, Michael A.↗
Psychophysiological investigations of the biomedical problems of manned spaceflight
The Final Report on psychophysiological investigations of the biomedical problems of manned spaceflight is presented. In the first project, statistical analyses of human autonomic data were performed. The objectives were the following: to establish a relational data base containing human psychophysiological data obtained from Shuttle flight experiments and ground-based research over a 20 year period; to enable multi-user access and retrieval of these data for subsequent analyses and for possible inclusion in the proposed Life Sciences Data Archive; and to enable/conduct statistical analyses across several experiments on large subject populations which can thereby provide definitive answers to questions on human autonomic and behavioral responses and adaptation to environmental stressors on Earth and in space. The second project studied motion sickness. The objectives were: to test/develop hardware and procedures to be incorporated into preflight training of crewmembers of Spacelab-J; and to examine spin-off applications of AFT. The third project studied orthostatic intolerance. The objective was to test the feasibility of applying autogenic-feedback training as a potential treatment for postflight orthostatic intolerance.
Source record↗
Autogenic-feedback training improves pilot performance during emergency flying conditions
Studies have shown that autonomous mode behavior is one cause of aircraft fatalities due to pilot error. In such cases, the pilot is in a high state of psychological and physiological arousal and tends to focus on one problem, while ignoring more critical information. This study examined the effect of training in physiological self-recognition and regulation, as a means of improving crew cockpit performance. Seventeen pilots were assigned to the treatment and control groups matched for accumulated flight hours. The treatment group comprised three pilots of HC-130 Hercules aircraft and four HH-65 Dolphin helicopter pilots; the control group comprised three pilots of HC-130's and six Dolphin helicopter pilots. During an initial flight, physiological data were recorded for each crew member and individual crew performance was rated by an instructor pilot. Eight crewmembers were then taught to regulate their own physiological response levels using Autogenic-Feedback Training (AFT). The remaining subjects received no training. During a second flight, treatment subjects showed significant improvement in performance, while controls did not improve. The results indicate that AFT management of high states of physiological arousal may improve pilot performance during emergency flying conditions.
Kellar, Michael A.↗
Autogenic Feedback Training Exercise and pilot performance: enhanced functioning under search-and-rescue flying conditions
Studies have shown that autonomous mode behavior is one cause of aircraft fatalities due to pilot error. In such cases, the pilot is in a high state of psychological and physiological arousal and tends to focus on one problem, while ignoring more critical information. This study examined the effect of training in physiological self-recognition and regulation, as a means of improving crew cockpit performance. Seventeen pilots were assigned to the treatment and control groups matched for accumulated flight hours. The treatment group contained 4 pilots from HC-130 Hercules aircraft and 4 HH-65 Dolphin helicopter pilots; the control group contained 3 pilots of HC-130s and 6 helicopter pilots. During an initial flight, physiological data were recorded on each crewmember and an instructor pilot rated individual crew performance. Eight crewmembers were then taught to regulate their own physiological response levels using Autogenic-Feedback Training Exercise (AFTE). The remaining participants received no training. During a second flight, treatment participants showed significant improvement in performance (rated by the same instructor pilot as in pretests) while controls did not improve. The results indicate that AFTE management of high states of physiological arousal may improve pilot performance during emergency flying conditions.
NASA Discipline Neuroscience↗
Predictors of response to a behavioral treatment in patients with chronic gastric motility disorders
Chronic gastric motility disorders have proven intractable to most traditional therapies. Twenty-six patients with chronic nausea and vomiting were treated with a behavioral technique, autonomic training (AT) with directed imagery (verbal instructions), to help facilitate physiological control. After treatment, gastrointestinal symptoms decreased by >30% in 58% of the treated patients. We compared those improved patients to the 43% who did not improve significantly. No significant differences existed in baseline symptoms and autonomic measures between both groups. However, baseline measures of gastric emptying and autonomic function predicted treatment outcome. Patients who improved manifested mild to moderate delay in baseline gastric emptying measures. The percent of liquid gastric emptying at 60 mins and the sympathetic adrenergic measure of percent of change in the foot cutaneous blood flow in response to cold stress test predicted improvement in AT outcome, with clinical diagnostic values of 77% and 71%, respectively. We conclude that AT treatment can be efficacious in some patients with impaired gastric emptying and adrenergic dysfunction. More work is warranted to compare biofeedback therapy with gastric motility patients and controls in population-based studies.
NASA Center ARC↗
Humanoids for Lunar and Planetary Surface Operations
Human-like shape makes humanoids well suited for being fostered/taught by humans, and for learning from humans, which we consider the best means to develop cognitive and perceptual/motor skills for truly intelligent, cognitive robots.
autonomous behavior↗
NASA Tech Briefs, April 2011
Topics covered include: Amperometric Solid Electrolyte Oxygen Microsensors with Easy Batch Fabrication; Two-Axis Direct Fluid Shear Stress Sensor for Aerodynamic Applications; Target Assembly to Check Boresight Alignment of Active Sensors; Virtual Sensor Test Instrumentation; Evaluation of the Reflection Coefficient of Microstrip Elements for Reflectarray Antennas; Miniaturized Ka-Band Dual-Channel Radar; Continuous-Integration Laser Energy Lidar Monitor; Miniaturized Airborne Imaging Central Server System; Radiation-Tolerant, SpaceWire-Compatible Switching Fabric; Small Microprocessor for ASIC or FPGA Implementation; Source-Coupled, N-Channel, JFET-Based Digital Logic Gate Structure Using Resistive Level Shifters; High-Voltage-Input Level Translator Using Standard CMOS; Monitoring Digital Closed-Loop Feedback Systems; MASCOT - MATLAB Stability and Control Toolbox; MIRO Continuum Calibration for Asteroid Mode; GOATS Image Projection Component; Coded Modulation in C and MATLAB; Low-Dead-Volume Inlet for Vacuum Chamber; Thermal Control Method for High-Current Wire Bundles by Injecting a Thermally Conductive Filler; Method for Selective Cleaning of Mold Release from Composite Honeycomb Surfaces; Infrared-Bolometer Arrays with Reflective Backshorts; Commercialization of LARC (trade mark) -SI Polyimide Technology; Novel Low-Density Ablators Containing Hyperbranched Poly(azomethine)s; Carbon Nanotubes on Titanium Substrates for Stray Light Suppression; Monolithic, High-Speed Fiber-Optic Switching Array for Lidar; Grid-Tied Photovoltaic Power System; Spectroelectrochemical Instrument Measures TOC; A Miniaturized Video System for Monitoring Drosophila Behavior; Hydrofocusing Bioreactor Produces Anti-Cancer Alkaloids; Creep Measurement Video Extensometer; Radius of Curvature Measurement of Large Optics Using Interferometry and Laser Tracker n-B-pi-p Superlattice Infrared Detector; Safe Onboard Guidance and Control Under Probabilistic Uncertainty; General Tool for Evaluating High-Contrast Coronagraphic Telescope Performance Error Budgets; Hidden Statistics of Schroedinger Equation; Optimal Padding for the Two-Dimensional Fast Fourier Transform; Spatial Query for Planetary Data; Higher Order Mode Coupling in Feed Waveguide of a Planar Slot Array Antenna; Evolutionary Computational Methods for Identifying Emergent Behavior in Autonomous Systems; Sampling Theorem in Terms of the Bandwidth and Sampling Interval; Meteoroid/Orbital Debris Shield Engineering Development Practice and Procedure; Self-Balancing, Optical-Center-Pivot, Fast-Steering Mirror; Wireless Orbiter Hang-Angle Inclinometer System; and Internal Electrostatic Discharge Monitor - IESDM.
Source record↗
Sensory Motor Coordination in Robonaut
As a participant of the year 2000 NASA Summer Faculty Fellowship Program, I worked with the engineers of the Dexterous Robotics Laboratory at NASA Johnson Space Center on the Robonaut project. The Robonaut is an articulated torso with two dexterous arms, left and right five-fingered hands, and a head with cameras mounted on an articulated neck. This advanced space robot, now driven only teleoperatively using VR gloves, sensors and helmets, is to be upgraded to a thinking system that can find, interact with and assist humans autonomously, allowing the Crew to work with Robonaut as a (junior) member of their team. Thus, the work performed this summer was toward the goal of enabling Robonaut to operate autonomously as an intelligent assistant to astronauts. Our underlying hypothesis is that a robot can develop intelligence if it learns a set of basic behaviors (i.e., reflexes - actions tightly coupled to sensing) and through experience learns how to sequence these to solve problems or to accomplish higher-level tasks. We describe our approach to the automatic acquisition of basic behaviors as learning sensory-motor coordination (SMC). Although research in the ontogenesis of animals development from the time of conception) supports the approach of learning SMC as the foundation for intelligent, autonomous behavior, we do not know whether it will prove viable for the development of autonomy in robots. The first step in testing the hypothesis is to determine if SMC can be learned by the robot. To do this, we have taken advantage of Robonaut's teleoperated control system. When a person teleoperates Robonaut, the person's own SMC causes the robot to act purposefully. If the sensory signals that the robot detects during teleoperation are recorded over several repetitions of the same task, it should be possible through signal analysis to identify the sensory-motor couplings that accompany purposeful motion. In this report, reasons for suspecting SMC as the basis for intelligent behavior will be reviewed. A robot control system for autonomous behavior that uses learned SMC will be proposed. Techniques for the extraction of salient parameters from sensory and motor data will be discussed. Experiments with Robonaut will be discussed and preliminary data presented.
Peters, Richard Alan, II↗
Designing a Distributed Web-based Simulation Environment for Enabling Autonomous Systems Research
In the continued pursuit of creating a future with robust Urban Air Mobility (UAM) operations defined as safe and efficient air traffic operations in metropolitan environments for both piloted and autonomous systems, development of the concepts, technologies, and procedures to establish this UAM ecosystem remains an active area of research. In particular, as autonomous systems continue to grow in both complexity and use throughout UAM concepts the need for simulation environments to both test individual components and systems and to study the complex interactions between them is paramount. In this paper we address design considerations, technologies, and challenges of adapting native simulation environment application concepts to an interactive and distributed web-based framework. The proposed web-based design allows for easier and wider access for developing, testing, integrating, and studying emergent behaviors of complex autonomous systems interaction. We demonstrate the utility of the proposed approach by showing multi-agent interaction and emergent behavior in two scenarios: (1) autonomous urban air mobility vehicles flying in a convoy and (2) interaction of a convoy with a search and rescue operation.
Benjamin N Kelley↗
Behavior-based multi-robot collaboration for autonomous construction tasks
The Robot Construction Crew (RCC) is a heterogeneous multi-robot system for autonomous construction of a structure through assembly of Long components. The two robot team demonstrates component placement into an existing structure in a realistic environment. The task requires component acquisition, cooperative transport, and cooperative precision manipulation. A behavior-based architecture provides adaptability. The RCC approach minimizes computation, power, communication, and sensing for applicability to space-related construction efforts, but the techniques are applicable to terrestrial construction tasks.
autonomous construction↗
Behavior-Based Multi-Robot Collaboration for Autonomous Construction Tasks
We present a heterogeneous multi-robot system for autonomous construction of a structure through assembly of long components. Placement of a component within an existing structure in a realistic environment is demonstrated on a two-robot team. The task requires component acquisition, cooperative transport, and cooperative precision manipulation. Far adaptability, the system is designed as a behavior-based architecture. Far applicability to space-related construction efforts, computation, power, communication, and sensing are minimized, though the techniques developed are also applicable to terrestrial construction tasks.
autonomous construction↗
Proceedings of the First NASA Formal Methods Symposium
Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.
Denney, Ewen↗
Numerical analysis of dynamic load following response in a natural circulation molten salt power reactor system
The Molten Salt Reactor (MSR) concept is a rapidly evolving Generation IV design that has recently attracted favorable attention due to the potential for reducing waste generation, realizing passive safety features, and seizing on the opportunity for cost effective economics. An investigation into the power transient behavior of an autonomous load-following, closed-loop, natural circulation MSR system is important to quantifying operational and safety performance under dynamic conditions. This paper presents the results of a STAR-CCM+ and a comparatively simple asymmetric, one-dimensional, numerical model to solve the compound dynamic MSR power behavior subject to flow and temperature reactivity feedback only. Results show that reactor power is affected by fuel salt flow velocity (global) and temperatures (local bulk volume averages) in a coupled, time-delayed manner that results in a unique compound dynamic, closed-loop power feedback mechanism. The 1-D simulation approach opens the possibility of performing inexpensive computations to evaluate time-dependent reactor performance relative to thermo-physical fuel salt limitations. Results also potentially motivate a convincing conclusion that natural circulation MSRs provide a leap in safety and reliability.
21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
Reducing software mass through behavior control
Attention is given to the tradeoff between communication and computation as regards a planetary rover (both these subsystems are very power-intensive, and both can be the major driver of the rover's power subsystem, and therefore the minimum mass and size of the rover). Software techniques that can be used to reduce the requirements on both communciation and computation, allowing the overall robot mass to be greatly reduced, are discussed. Novel approaches to autonomous control, called behavior control, employ an entirely different approach, and for many tasks will yield a similar or superior level of autonomy to traditional control techniques, while greatly reducing the computational demand. Traditional systems have several expensive processes that operate serially, while behavior techniques employ robot capabilities that run in parallel. Traditional systems make extensive world models, while behavior control systems use minimal world models or none at all.
Miller, David P.↗
A Survey of Formal Methods for Intelligent Swarms
Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed for future space exploration missions. Such missions provide greater flexibility and offer the possibility of gathering more science data than traditional single spacecraft missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to assure that the proper behaviors will emerge. These missions are also considerably more complex than previous types of missions, and NASA, like other organizations, has little experience in developing or in verifying and validating these types of missions. A significant challenge when verifying and validating swarms of intelligent interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm types of missions NASA is considering. The ANTS mission will use a swarm of picospacecraft that will fly from Earth orbit to the Asteroid Belt. Using an insect colony analogy, ANTS will be composed of specialized workers for asteroid exploration. Exploration would consist of cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. To perform this task, ANTS would carry miniaturized instruments, such as imagers, spectrometers, and detectors. Since ANTS and other similar missions are going to consist of autonomous spacecraft that may be out of contact with the earth for extended periods of time, and have low bandwidths due to weight constraints, it will be difficult to observe improper behavior and to correct any errors after launch. Providing V&V (verification and validation) for this type of mission is new to NASA, and represents the cutting edge in system correctness, and requires higher levels of assurance than other (traditional) missions that use a single or small number of spacecraft that are deterministic in nature and have near continuous communication access. One of the highest possible levels of assurance comes from the application of formal methods. Formal methods are mathematics-based tools and techniques for specifying and verifying (software and hardware) systems. They are particularly useful for specifying complex parallel systems, such as exemplified by the ANTS mission, where the entire system is difficult for a single person to fully understand, a problem that is multiplied with multiple developers. Once written, a formal specification can be used to prove properties of a system (e.g., the underlying system will go from one state to another or not into a specific state) and check for particular types of errors (e.g., race or livelock conditions). A formal specification can also be used as input to a model checker for further validation. This report gives the results of a survey of formal methods techniques for verification and validation of space missions that use swarm technology. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft using the ANTS mission as an example system. This report is the first result of the project to determine formal approaches that are promising for formally specifying swarm-based systems. From this survey, the most promising approaches were selected and are discussed relative to their possible application to the ANTS mission. Future work will include the application of an integrated approach, based on the selected approaches identified in this report, to the formal specification of the ANTS mission.
Truszkowski, Walt↗
Asteroid Exploration with Autonomic Systems
NASA is studying advanced technologies for a future robotic exploration mission to the asteroid belt. The prospective ANTS (Autonomous Nano Technology Swarm) mission comprises autonomous agents including worker agents (small spacecra3) designed to cooperate in asteroid exploration under the overall authoriq of at least one ruler agent (a larger spacecraft) whose goal is to cause science data to be returned to Earth. The ANTS team (ruler plus workers and messenger agents), but not necessarily any individual on the team, will exhibit behaviors that qualify it as an autonomic system, where an autonomic system is defined as a system that self-reconfigures, self-optimizes, self-heals, and self-protects. Autonomic system concepts lead naturally to realistic, scalable architectures rich in capabilities and behaviors. In-depth consideration of a major mission like ANTS in terms of autonomic systems brings new insights into alternative definitions of autonomic behavior. This paper gives an overview of the ANTS mission and discusses the autonomic properties of the mission.
Truszkowski, Walt↗