The Mission Data System's software architecture framework
Explore the source record for details and available documents.
car framework↗
SEARCH · Search NASA
Results for “car framework”
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.
Service Cart For Engines
Cart supports rear-mounted air-cooled engine from Volkswagen or Porsche automobile. One person removes, repairs, tests, and reinstalls engine of car, van, or home-built airplane. Consists of framework of wood, steel, and aluminum components supported by four wheels. Engine lifted from vehicle by hydraulic jack and gently lowered onto waiting cart. Jack removed from under engine. Rear of vehicle raised just enough that engine can be rolled out from under it. Cart easily supports 200-lb engine. Also used to hold transmission. With removable sheet-metal top, cart used as portable seat.
Ng, Gim Shek↗
Chance-Constrained Guidance With Non-Convex Constraints
Missions to small bodies, such as comets or asteroids, require autonomous guidance for descent to these small bodies. Such guidance is made challenging by uncertainty in the position and velocity of the spacecraft, as well as the uncertainty in the gravitational field around the small body. In addition, the requirement to avoid collision with the asteroid represents a non-convex constraint that means finding the optimal guidance trajectory, in general, is intractable. In this innovation, a new approach is proposed for chance-constrained optimal guidance with non-convex constraints. Chance-constrained guidance takes into account uncertainty so that the probability of collision is below a specified threshold. In this approach, a new bounding method has been developed to obtain a set of decomposed chance constraints that is a sufficient condition of the original chance constraint. The decomposition of the chance constraint enables its efficient evaluation, as well as the application of the branch and bound method. Branch and bound enables non-convex problems to be solved efficiently to global optimality. Considering the problem of finite-horizon robust optimal control of dynamic systems under Gaussian-distributed stochastic uncertainty, with state and control constraints, a discrete-time, continuous-state linear dynamics model is assumed. Gaussian-distributed stochastic uncertainty is a more natural model for exogenous disturbances such as wind gusts and turbulence than the previously studied set-bounded models. However, with stochastic uncertainty, it is often impossible to guarantee that state constraints are satisfied, because there is typically a non-zero probability of having a disturbance that is large enough to push the state out of the feasible region. An effective framework to address robustness with stochastic uncertainty is optimization with chance constraints. These require that the probability of violating the state constraints (i.e., the probability of failure) is below a user-specified bound known as the risk bound. An example problem is to drive a car to a destination as fast as possible while limiting the probability of an accident to 10(exp -7). This framework allows users to trade conservatism against performance by choosing the risk bound. The more risk the user accepts, the better performance they can expect.
FROM↗
Real-time qualitative reasoning for telerobotic systems
This paper discusses the sensor-based telerobotic driving of a car in a-priori unknown environments using 'human-like' reasoning schemes implemented on custom-designed VLSI fuzzy inferencing boards. These boards use the Fuzzy Set theoretic framework to allow very vast (30 kHz) processing of full sets of information that are expressed in qualitative form using membership functions. The sensor-based and fuzzy inferencing system was incorporated on an outdoor test-bed platform to investigate two control modes for driving a car on the basis of very sparse and imprecise range data. In the first mode, the car navigates fully autonomously to a goal specified by the operator, while in the second mode, the system acts as a telerobotic driver's aid providing the driver with linguistic (fuzzy) commands to turn left or right, speed up, slow down, stop, or back up depending on the obstacles perceived by the sensors. Indoor and outdoor experiments with both modes of control are described in which the system uses only three acoustic range (sonar) sensor channels to perceive the environment. Sample results are presented that illustrate the feasibility of developing autonomous navigation modules and robust, safety-enhancing driver's aids for telerobotic systems using the new fuzzy inferencing VLSI hardware and 'human-like' reasoning schemes.
Pin, Eancois G.↗
Runtime Analysis with R2U2: A Tool Exhibition Report
We present R2U2 (Realizable, Responsive, Unobtrusive Unit), a hardware- supported tool and framework for the continuous monitoring of safetycritical and embedded cyber-physical systems.With the widespread advent of autonomous systems such as Unmanned Aerial Systems (UAS), satellites, rovers, and cars, real-time, on-board decision making requires unobtrusive monitoring of properties for safety, performance, security, and system health. R2U2 models combine past-time and future-time Metric Temporal Logic, “mission time” Linear Temporal Logic, probabilistic reasoning with Bayesian Networks, and modelbased prognostics. The R2U2 monitoring engine can be instantiated as a hardware solution, running on an FPGA, or as a software component. The FPGA realization enables R2U2 to monitor complex cyber-physical systems without any overhead or instrumentation of the flight software. In this tool exhibition report, we present R2U2 and demonstrate applications on system runtime monitoring, diagnostics, software health management, and security monitoring for a UAS. Our tool demonstration uses a hardware-based processor-in-the-loop “iron-bird” configuration.
Johann Martin Schumann↗
NASA programs in advanced sensors and measurement technology for aeronautical applications
NASA involvement in the development, implementation, and experimental use of advanced aeronautical sensors and measurement technologies is presently discussed within the framework of specific NASA research centers' activities. The technology thrusts are in the fields of high temperature strain gages and microphones, laser light-sheet flow visualization, LTA, LDV, and LDA, tunable laser-based aviation meteorology, and fiber-optic CARS measurements. IR thermography and close-range photogrammetry are undergoing substantial updating and application. It is expected that 'smart' sensors will be increasingly widely used, especially in conjunction with smart structures in aircraft and spacecraft.
Conway, Bruce A.↗
Adaptive Stress Testing: Using Reinforcement Learning to Find Failures in Safety-Critical Systems
Emerging applications in artificial intelligence, such as driverless cars and autonomous aircraft promise to be more efficient, cheaper to operate, and always available. However, ensuring the safety of these systems remains a major challenge to their certification and adoption. These autonomous systems are expected to routinely make safety-critical decisions where failures can have serious consequences including loss of life and property. Testing and validation techniques aim to identify and diagnose potential failures before the system is deployed. However, finding failure scenarios in autonomous systems can be very challenging due to high-dimensional and continuous state spaces, interaction with large environments over many time steps, and the rarity of failures. This talk presents Adaptive Stress Testing (AST), a simulation-based testing framework for finding the most likely path to a failure event of a safety-critical system. The key idea of AST is that stress testing can be formulated as a Partially Observable Markov Decision Process (POMDP), which enables reinforcement learning techniques to be used for finding failure events. Reinforcement learning algorithms can efficiently explore the search space and have been shown to scale to very large systems. We present applications of AST to find failures in various safety-critical systems including the aircraft collision avoidance systems, autonomous cars, and small unmanned aerial vehicles.
autonomous vehicles↗
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning
Finding the most likely path to a set of failure states is important to the analysis of safety-critical systems that operate over a sequence of time steps, such as aircraft collision avoidance systems and autonomous cars. In many applications such as autonomous driving, failures cannot be completely eliminated due to the complex stochastic environment in which the system operates.As a result, safety validation is not only concerned about whether a failure can occur, but also discovering which failures are most likely to occur. This article presents adaptive stress testing (AST), a framework for finding the most likely path to a failure event in simulation. We consider a general black box setting for partially observable and continuous-valued systems operating in an environment with stochastic disturbances. We formulate the problem as a Markov decision process and use reinforcement learning to optimize it. The approach is simulation-based and does not require internal knowledge of the system, making it suitable for black-box testing of large systems. We present different formulations depending on whether the state is fully observable or partially observable. In the latter case, we present a modified Monte Carlo tree search algorithm that only requires access to the pseudorandom number generator of the simulator to overcome partial observability. We also present an extension of the framework, called differential adaptive stress testing (DAST), that can find failures that occur in one system but not in another. This type of differential analysis is useful in applications such as regression testing, where we are concerned with finding areas of relative weakness compared to a baseline. We demonstrate the effectiveness of the approach on an aircraft collision avoidance application, where a prototype aircraft collision avoidance system is stress tested to find the most likely scenarios of near mid-air collision.
Verification and Validation↗
Engineering Design Tools for Shape Memory Alloy Actuators: CASMART Collaborative Best Practices and Case Studies
The primary goal of the Consortium for the Advancement of Shape Memory Alloy Research and Technology (CASMART) is to enable the design of revolutionary applications based on shape memory alloy (SMA) technology. In order to help realize this goal and reduce the development time and required experience for the fabrication of SMA actuation systems, several modeling tools have been developed for common actuator types and are discussed herein along with case studies, which highlight the capabilities and limitations of these tools. Due to their ability to sustain high stresses and recover large deformations, SMAs have many potential applications as reliable, lightweight, solid-state actuators. Their advantage over classical actuators can also be further improved when the actuator geometry is modified to fit the specific application. In this paper, three common actuator designs are studied: wires, which are lightweight, low-profile, and easily implemented; springs, which offer actuation strokes upwards of 200 at reduced mechanical loads; and torque tubes, which can provide large actuation forces in small volumes and develop a repeatable zero-load actuation response (known as the two-way shape memory effect). The modeling frameworks, which have been implemented in the design tools, are developed for each of these frequently used SMA actuator types. In order to demonstrate the versatility and flexibility of the presented design tools, as well as validate their modeling framework, several design challenges were completed. These case studies include the design and development of an active hinge for the deployment of a solar array or foldable space structure, an adaptive solar array deployment and positioning system, a passive air temperature controller for regulation flow temperatures inside of a jet engine, and a redesign of the Corvette active hatch, which allows for pressure equalization of the car interior. For each of the presented case studies, a prototype or proof-of-concept was fabricated and the experimental results and lessons learned are discussed. This analysis presents a collection of CASMART collaborative best practices in order to allow readers to utilize the available design tools and understand their modeling principles. These design tools, which are based on engineering models, can provide first-order optimal designs and are a basic and efficient method for either demonstrating design feasibility or refining design parameters. Although the design and integration of an SMA-based actuation system always requires application- and environment-specific engineering considerations, common modeling tools can significantly reduce the investment required for actuation system development and provide valuable engineering insight.
Design tools↗
Discrete Abstractions of Hybrid Systems: Verification of Safety and Application to User-Interface Design
Human interaction with a complex control system involves the user, the automation’s discrete mode logic, and the underlying continuous dynamics of the physical system. The user-interface of such systems always displays a reduced set of information about the entire system. Designing interfaces such that all the pertinent information is available and assuring that this information is correct is important for any user-interface, but especially so for safety-critical systems such as automotive systems and autopilots. Here we describe a methodology for the analysis of hybrid control systems that incorporate user interaction, with the goal of assuring that the information provided to the user is correct. That is, the user-interface must contain all information necessary to safely complete a desired procedure or task. We begin with a hybrid system model which incorporates discrete mode logic as well as nonlinear continuous dynamics. Using a hybrid computational tool for reachability, we find the largest region of the state-space in which we can guarantee the state of the system can always remain – this is the safe region of operation. By implementing a controller for safety which arises from this computation, we mathematically guarantee that this safe region is invariant, meaning that the system will always remain within the safe region if the determined controller is used on the boundary of the safe region. Verification within a hybrid framework allows us to account for the continuous dynamics underlying the discrete representations displayed to the user. Using the computed invariant regions as discrete states, we can abstract a discrete event system from this hybrid system with safety restrictions. This abstraction can be used to determine what information must be provided on the display. Furthermore, in cases in which an interface already exists, the abstraction provides the necessary input into existing interface verification methods. We provide two examples: a car traveling through a yellow light at an intersection and an aircraft autopilot in an automatic landing/go-around maneuver. The examples demonstrate the applicability of this methodology to hybrid systems that have operational constraints we can pose in terms of safety. This methodology differs from existing work in hybrid system verification in that we directly account for the user’s interactions with the system.
Meeko Oishi↗
A Review on Cybersecurity Vulnerabilities for Urban Air Mobility
Recent developments of high-powered unmanned aerial vehicles (UAVs) have allowed for urban air mobility (UAM) to become a reality. While the propulsive technology of these flying cars has almost reached an economic level, the infrastructure to allow for these vehicles to operate in an urban environment is still lacking. With numerous known vulnerabilities in UAVs and commercial aircraft, manufacturers have not addressed cybersecurity in the scope of urban air mobility. This paper presents a review of several known cybersecurity vulnerabilities and previous attacks associated with the core communication systems of UAVs and aircraft. Analyzing current solutions to each threat and incorporating early concepts for UAM, this paper then presents a basic framework featuring a blockchain-based PKI with secondary navigation systems to allow for the development of secure airspace.
Urban Air Mobility↗
The Identification and Modeling of Visual Cue Usage in Manual Control Task Experiments
Many fields of endeavor require humans to conduct manual control tasks while viewing a perspective scene. Manual control refers to tasks in which continuous, or nearly continuous, control adjustments are required. Examples include flying an aircraft, driving a car, and riding a bicycle. Perspective scenes can arise through natural viewing of the world, simulation of a scene (as in flight simulators), or through imaging devices (such as the cameras on an unmanned aerospace vehicle). Designers frequently have some degree of control over the content and characteristics of a perspective scene; airport designers can choose runway markings, vehicle designers can influence the size and shape of windows, as well as the location of the pilot, and simulator database designers can choose scene complexity and content. Little theoretical framework exists to help designers determine the answers to questions related to perspective scene content. An empirical approach is most commonly used to determine optimum perspective scene configurations. The goal of the research effort described in this dissertation has been to provide a tool for modeling the characteristics of human operators conducting manual control tasks with perspective-scene viewing. This is done for the purpose of providing an algorithmic, as opposed to empirical, method for analyzing the effects of changing perspective scene content for closed-loop manual control tasks.
Sweet, Barbara Townsend↗
Spectral Irradiance Calibration in the Infrared: 3-35 microns Spectra of Three Southern Standard Stars - Part 6
We present three new absolutely calibrated continuous stellar spectra from 3 to 35 microns, constructed as far as possible from actual observed spectral fragments taken from the Kuiper Airborne Observatory (KAO), and the IRAS Low Resolution Spectrometer (LRS). These stars- alpha(sup 1) Cen, alpha TrA, and epsilon Car-augment our previous archive of complete absolutely calibrated spectra for northern K and M giants. All these spectra have a common calibration pedigree. The wavelength coverage is ideal for calibration of many existing and proposed ground-based, airborne, and satellite sensors. KAO and IRAS data in the 15-30 micron range suggest that the spectra of cool giants are close to Rayleigh-Jeans slopes. Our observations of alpha(sup 1) Cen, absolutely calibrated via our adopted Sirius model, indicate an angular diameter in very good agreement with values in the literature, demonstrating 'closure' of the set of spectra within our absolute framework. We compare our observed alpha(sup 1) Cen spectrum with a published grid of theoretical models from Kurucz, and adopt a plausible theoretical shape, that fits our spectrum, as a secondary reference spectrum in the southern sky.
Cohen, Martin↗
Challenges in Vehicle Safety and Occupant Protection for Autonomous Electric Vertical Take-Off and Landing (eVTOL) Vehicles
The burgeoning electric Vertical Take-off and Landing (eVTOL) vehicle industry has generated a significant level of enthusiasm amongst aviation designers, manufacturers and researchers. This industry is determined to change the urban transportation paradigm from traditional ground-based vehicles (cars, taxis, buses) to air-based eVTOL vehicles which can be summoned, much like how conventional taxi services work currently. These new eVTOL vehicles are designed to be small and lightweight and operate autonomously without user intervention. There are many unknowns as to how the industry will mature. The logistics of creating a completely new category of vehicle along with its own set of rules are complex, and there are many known - and unknown - barriers to overcome. Some (of many) known barriers include airspace management, ground logistics, physical space, and, the vehicle design itself. There are many eVTOL vehicle manufacturers and organizations working these problems presently. This report will focus on one major barrier: the level of safety as it pertains to the framework of eVTOL vehicles. A high level of safety is necessary for the vehicles to gain acceptance as the public adapts to these autonomous ride-sharing services. An overview of current levels of transportation safety and some extrapolation into how eVTOL vehicles might compare is first presented. Next, a discussion categorizing the major differences between Crash Prevention and Crash Mitigation as it pertains to eVTOL vehicle safety is included with identification of current deficiencies. The report then expands into a framework for specific ideas that could use Crash Mitigation to improve vehicle safety through a crashworthy systems level approach with several designs highlighted. Finally, a brief discussion into the regulatory approach and potential guidelines as they pertain to new eVTOL vehicles is presented. Accordingly, much of the supplemental data will be taken from sources pertaining to either General Aviation (GA) aircraft, rotorcraft, or transport category aircraft, due to the lack of overarching data from eVTOL vehicles. As of this writing, the European Aviation Safety Agency has released a draft version of a VTOL Special Condition, with a comment period closing in late 2018. It is assumed that eventual expected operations and anticipated future regulations for VTOL vehicles will consist of some combination of these (and other) sources.
Littell, Justin D.↗
Autonomous Off-road Navigation over Extreme Terrains with Perceptually-challenging Conditions
We propose a framework for resilient autonomous navigation in perceptuallychallenging unknown environments with mobility-stressing elements such asuneven surfaces with rocks and boulders, steep slopes, negative obstacles like cliffsand holes, and narrow passages. Environments are GPS-denied and perceptuallydegradedwith variable lighting from dark to lit and obscurants (dust, fog, smoke).Lack of prior maps and degraded communication eliminates the possibility of prioror off-board computation or operator intervention. This necessitates real-time onboardcomputation using noisy sensor data. To address these challenges, we proposea resilient architecture that exploits redundancy and heterogeneity in sensing modalities.Further resilience is achieved by triggering recovery behaviors upon failure.We propose a fast settling algorithm to generate robust multi-fidelity traversabilityestimates in real-time. The proposed approach was deployed on multiple physicalsystems including skid-steer and tracked robots, high-speed RC car and legged robotsand as a part of Team CoSTAR’s effort to theDARPASubterranean Challenge, wherethe team won 2nd and 1st place in the Tunnel and Urban Circuit, respectively.
Agha-mohammadi, Ali-akbar↗
A Physics-Based Modeling Framework for Prognostic Studies
Prognostics and Health Management (PHM) methodologies have emerged as one of the key enablers for achieving efficient system level maintenance as part of a busy operations schedule, and lowering overall life cycle costs. PHM is also emerging as a high-priority issue in critical applications, where the focus is on conducting fundamental research in the field of integrated systems health management. The term diagnostics relates to the ability to detect and isolate faults or failures in a system. Prognostics on the other hand is the process of predicting health condition and remaining useful life based on current state, previous conditions and future operating conditions. PHM methods combine sensing, data collection, interpretation of environmental, operational, and performance related parameters to indicate systems health under its actual application conditions. The development of prognostics methodologies for the electronics field has become more important as more electrical systems are being used to replace traditional systems in several applications in the aeronautics, maritime, and automotive fields. The development of prognostics methods for electronics presents several challenges due to the great variety of components used in a system, a continuous development of new electronics technologies, and a general lack of understanding of how electronics fail. Similarly with electric unmanned aerial vehicles, electrichybrid cars, and commercial passenger aircraft, we are witnessing a drastic increase in the usage of batteries to power vehicles. However, for battery-powered vehicles to operate at maximum efficiency and reliability, it becomes crucial to both monitor battery health and performance and to predict end of discharge (EOD) and end of useful life (EOL) events. We develop an electrochemistry-based model of Li-ion batteries that capture the significant electrochemical processes, are computationally efficient, capture the effects of aging, and are of suitable accuracy for reliable EOD prediction in a variety of usage profiles.
Li-ion Batteries↗
Monitoring Vegetation Health and Water Availability in Bryce Canyon National Park for Drought Stress Mitigation Planning
Bryce Canyon National Park is home to groundwater-dependent ecosystems (GDEs) that are threatened by a multidecadal drought and increased groundwater extraction due to a spike in tourism. These ecosystems contain unique species that are only found in areas where near-surface groundwater is present, such as aspen groves and willows. GDEs contribute to the high biodiversity found in Bryce Canyon, which boosts an ecosystem’s productivity and increases the overall ecological health of the park. Unfortunately, many GDEs in this area are too small to identify with traditional Earth observation platforms and are difficult to physically reach for identification and monitoring. NASA DEVELOP partnered with the National Park Service to establish a framework that both identified and assessed the health of GDEs within Bryce Canyon from 2013–2022. The team used high-resolution PlanetScope and Landsat 8 Operational Land Imager (OLI) to map springs, seeps, and GDEs. Modeled data from the Western Land Data Assimilation System (WLDAS) and in situ precipitation data were used to produce time series of climatic variables for the National Park Service to gain an understanding of how the GDEs are changing with the ongoing drought. This study is essential to the goal of the National Park Service to conserve the health of these GDEs.
Aaron Carr↗
The Unique Capabilities of the Global Hawk Aircraft for the Study of Climate Changes
Due to unprecedented extent and flexibility of the coverage that is now attainable both in space and time, stratospheric unmanned aircraft, such as the Global Hawk (GH), offers new opportunities for the study of climate changes. The capability of performing long flights at altitudes close to the boundary conditions of radiative processes, and of following the diurnal variation of chemical species and clouds, make the GH competitive with LEO and geosynchronous satellites, and even capable of new observations that are not possible from satellites. This paper discusses how the GH can be used to make relevant advancements in most of the issues that are related to climate change studies, such as: Earth Radiation Budget, Water Cycle, Ecosystems and Upper Troposphere-Lower Stratosphere, as well as to the monitoring and control of Greenhouse Gases and Air Quality . Collaboration between NASA and Italian scientific institutions, within the framework of the US.-Italy Cooperation on Climate Change, is providing the opportunity to rapidly deploy new instruments on the GH and to possibly operate the aircraft from an Italian site in the Mediterranean area. From this area, which is considered highly vulnerable to climate change, meridional transects would allow the crossing of Polar and Sub Tropical Jets, as well as a complete crossing of the Inter Tropical Convergence Zone, while latitudinal ones would follow the influx from Asia and North America. Regions otherwise difficult to access, such as Central Africa and the Tibetan Plateau, could be reached and better investigated. An overview of these new opportunities will be given and discussed.
Cairo, F.↗