1,689 research outputs found
Mineral futures discussion paper: Sustainability issues, challenges and opportunities.
Minerals and metals will continue to play an important role in underpinning the future prosperity of our society. However, to confront the challenge of sustainability, the way in which resources are currently used, and might usefully be used in future, merits serious and broad discussion. This paper explores the background issues relating to mineral futures as a first step in the three-year research program of the Mineral Futures Collaboration Cluster – a collaborative program between the Australian CSIRO (Commonwealth Scientific Industrial Research Organisation); The University of Queensland; The University of Technology, Sydney; Curtin University of Technology; CQ University; and The Australian National University
Systems Engineering Cost/Risk Analysis Capability Roadmap Progress Review
A viewgraph presentation on the cost/risk analysis capability of systems engineering is shown
Optimisation-based verification process of obstacle avoidance systems for unmanned vehicles
This thesis deals with safety verification analysis of collision avoidance systems for unmanned vehicles. The safety of the vehicle is dependent on collision avoidance algorithms and associated control laws, and it must be proven that the collision avoidance algorithms and controllers are functioning correctly in all nominal conditions, various failure conditions and in the presence of possible variations in the vehicle and operational environment. The current widely used exhaustive search based approaches are not suitable for safety analysis of autonomous vehicles due to the large number of possible variations and the complexity of algorithms and the systems. To address this topic, a new optimisation-based verification method is developed to verify the safety of collision avoidance systems.
The proposed verification method formulates the worst case analysis problem arising the verification of collision avoidance systems into an optimisation problem and employs optimisation algorithms to automatically search the worst cases. Minimum distance to the obstacle during the collision avoidance manoeuvre is defined as the objective function of the optimisation problem, and realistic simulation consisting of the detailed vehicle dynamics, the operational environment, the collision avoidance algorithm and low level control laws is embedded in the optimisation process. This enables the verification process to take into account the parameters variations in the vehicle, the change of the environment, the uncertainties in sensors, and in particular the mismatching between model used for developing the collision avoidance algorithms and the real vehicle. It is shown that the resultant simulation based optimisation problem is non-convex and there might be many local optima.
To illustrate and investigate the proposed optimisation based verification process, the potential field method and decision making collision avoidance method are chosen as an obstacle avoidance candidate technique for verification study. Five benchmark case studies are investigated in this thesis: static obstacle avoidance system of a simple unicycle robot, moving obstacle avoidance system for a Pioneer 3DX robot, and a 6 Degrees of Freedom fixed wing Unmanned Aerial Vehicle with static and moving collision avoidance algorithms. It is proven that although a local optimisation method for nonlinear optimisation is quite efficient, it is not able to find the most dangerous situation. Results in this thesis show that, among all the global optimisation methods that have been investigated, the DIviding RECTangle method provides most promising performance for verification of collision avoidance functions in terms of guaranteed capability in searching worst scenarios
NASA Technology Area 07: Human Exploration Destination Systems Roadmap
This paper gives an overview of the National Aeronautics and Space Administration (NASA) Office of Chief Technologist (OCT) led Space Technology Roadmap definition efforts. This paper will given an executive summary of the technology area 07 (TA07) Human Exploration Destination Systems (HEDS). These are draft roadmaps being reviewed and updated by the National Research Council. Deep-space human exploration missions will require many game changing technologies to enable safe missions, become more independent, and enable intelligent autonomous operations and take advantage of the local resources to become self-sufficient thereby meeting the goal of sustained human presence in space. Taking advantage of in-situ resources enhances and enables revolutionary robotic and human missions beyond the traditional mission architectures and launch vehicle capabilities. Mobility systems will include in-space flying, surface roving, and Extra-vehicular Activity/Extravehicular Robotics (EVA/EVR) mobility. These push missions will take advantage of sustainability and supportability technologies that will allow mission independence to conduct human mission operations either on or near the Earth, in deep space, in the vicinity of Mars, or on the Martian surface while opening up commercialization opportunities in low Earth orbit (LEO) for research, industrial development, academia, and entertainment space industries. The Human Exploration Destination Systems (HEDS) Technology Area (TA) 7 Team has been chartered by the Office of the Chief Technologist (OCT) to strategically roadmap technology investments that will enable sustained human exploration and support NASA s missions and goals for at least the next 25 years. HEDS technologies will enable a sustained human presence for exploring destinations such as remote sites on Earth and beyond including, but not limited to, LaGrange points, low Earth orbit (LEO), high Earth orbit (HEO), geosynchronous orbit (GEO), the Moon, near-Earth objects (NEOs), which > 95% are asteroidal bodies, Phobos, Deimos, Mars, and beyond. The HEDS technology roadmap will strategically guide NASA and other U.S. Government agency technology investments that will result in capabilities enabling human exploration missions to diverse destinations generating high returns on investments
Unified Robust Path Planning and Optimal Trajectory Generation for Efficient 3D Area Coverage of Quadrotor UAVs
Area coverage is an important problem in robotics applications, which has been widely used in search and rescue, offshore industrial inspection, and smart agriculture. This paper demonstrates a novel unified robust path planning, optimal trajectory generation, and control architecture for a quadrotor coverage mission. To achieve safe navigation in uncertain working environments containing obstacles, the proposed algorithm applies a modified probabilistic roadmap to generating a connected search graph considering the risk of collision with the obstacles. Furthermore, a recursive node and link generation scheme determines a more efficient search graph without extra complexity to reduce the computational burden during the planning procedure. An optimal three-dimensional trajectory generation is then suggested to connect the optimal discrete path generated by the planning algorithm, and the robust control policy is designed based on the cascade NLH∞ framework. The integrated framework is capable of compensating for the effects of uncertainties and disturbances while accomplishing the area coverage mission. The feasibility, robustness and performance of the proposed framework are evaluated through Monte Carlo simulations, PX4 Software-In-the-Loop test facility, and real-world experiments
2020 NASA Technology Taxonomy
This document is an update (new photos used) of the PDF version of the 2020 NASA Technology Taxonomy that will be available to download on the OCT Public Website. The updated 2020 NASA Technology Taxonomy, or "technology dictionary", uses a technology discipline based approach that realigns like-technologies independent of their application within the NASA mission portfolio. This tool is meant to serve as a common technology discipline-based communication tool across the agency and with its partners in other government agencies, academia, industry, and across the world
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
We apply a compositional formal modeling and verification method to an
autonomous aircraft taxi system. We provide insights into the modeling approach
and we identify several research areas where further development is needed.
Specifically, we identify the following needs: (1) semantics of composition of
viewpoints expressed in different specification languages, and tools to reason
about heterogeneous declarative models; (2) libraries of formal models for
autonomous systems to speed up modeling and enable efficient reasoning; (3)
methods to lift verification results generated by automated reasoning tools to
the specification level; (4) probabilistic contract frameworks to reason about
imperfect implementations; (5) standard high-level functional architectures for
autonomous systems; and (6) a theory of higher-order contracts. We believe that
addressing these research needs, among others, could improve the adoption of
formal methods in the design of autonomous systems including learning-enabled
systems, and increase confidence in their safe operations.Comment: 2023 International Conference on Assured Autonomy (ICAA
Engineering Resilient Space Systems
Several distinct trends will influence space exploration missions in the next decade. Destinations are
becoming more remote and mysterious, science questions more sophisticated, and, as mission experience
accumulates, the most accessible targets are visited, advancing the knowledge frontier to more difficult,
harsh, and inaccessible environments. This leads to new challenges including: hazardous conditions that
limit mission lifetime, such as high radiation levels surrounding interesting destinations like Europa or
toxic atmospheres of planetary bodies like Venus; unconstrained environments with navigation hazards,
such as free-floating active small bodies; multielement missions required to answer more sophisticated
questions, such as Mars Sample Return (MSR); and long-range missions, such as Kuiper belt exploration,
that must survive equipment failures over the span of decades. These missions will need to be successful
without a priori knowledge of the most efficient data collection techniques for optimum science return.
Science objectives will have to be revised ‘on the fly’, with new data collection and navigation decisions
on short timescales.
Yet, even as science objectives are becoming more ambitious, several critical resources remain
unchanged. Since physics imposes insurmountable light-time delays, anticipated improvements to the
Deep Space Network (DSN) will only marginally improve the bandwidth and communications cadence to
remote spacecraft. Fiscal resources are increasingly limited, resulting in fewer flagship missions, smaller
spacecraft, and less subsystem redundancy. As missions visit more distant and formidable locations, the
job of the operations team becomes more challenging, seemingly inconsistent with the trend of shrinking
mission budgets for operations support. How can we continue to explore challenging new locations
without increasing risk or system complexity?
These challenges are present, to some degree, for the entire Decadal Survey mission portfolio, as
documented in Vision and Voyages for Planetary Science in the Decade 2013–2022 (National Research
Council, 2011), but are especially acute for the following mission examples, identified in our recently
completed KISS Engineering Resilient Space Systems (ERSS) study:
1. A Venus lander, designed to sample the atmosphere and surface of Venus, would have to perform
science operations as components and subsystems degrade and fail;
2. A Trojan asteroid tour spacecraft would spend significant time cruising to its ultimate destination
(essentially hibernating to save on operations costs), then upon arrival, would have to act as its
own surveyor, finding new objects and targets of opportunity as it approaches each asteroid,
requiring response on short notice; and
3. A MSR campaign would not only be required to perform fast reconnaissance over long distances
on the surface of Mars, interact with an unknown physical surface, and handle degradations and
faults, but would also contain multiple components (launch vehicle, cruise stage, entry and
landing vehicle, surface rover, ascent vehicle, orbiting cache, and Earth return vehicle) that
dramatically increase the need for resilience to failure across the complex system.
The concept of resilience and its relevance and application in various domains was a focus during the
study, with several definitions of resilience proposed and discussed. While there was substantial variation
in the specifics, there was a common conceptual core that emerged—adaptation in the presence of
changing circumstances. These changes were couched in various ways—anomalies, disruptions,
discoveries—but they all ultimately had to do with changes in underlying assumptions. Invalid
assumptions, whether due to unexpected changes in the environment, or an inadequate understanding of
interactions within the system, may cause unexpected or unintended system behavior. A system is
resilient if it continues to perform the intended functions in the presence of invalid assumptions.
Our study focused on areas of resilience that we felt needed additional exploration and integration,
namely system and software architectures and capabilities, and autonomy technologies. (While also an
important consideration, resilience in hardware is being addressed in multiple other venues, including
2
other KISS studies.) The study consisted of two workshops, separated by a seven-month focused study
period. The first workshop (Workshop #1) explored the ‘problem space’ as an organizing theme, and the
second workshop (Workshop #2) explored the ‘solution space’. In each workshop, focused discussions
and exercises were interspersed with presentations from participants and invited speakers.
The study period between the two workshops was organized as part of the synthesis activity during the
first workshop. The study participants, after spending the initial days of the first workshop discussing the
nature of resilience and its impact on future science missions, decided to split into three focus groups,
each with a particular thrust, to explore specific ideas further and develop material needed for the second
workshop. The three focus groups and areas of exploration were:
1. Reference missions: address/refine the resilience needs by exploring a set of reference missions
2. Capability survey: collect, document, and assess current efforts to develop capabilities and
technology that could be used to address the documented needs, both inside and outside NASA
3. Architecture: analyze the impact of architecture on system resilience, and provide principles and
guidance for architecting greater resilience in our future systems
The key product of the second workshop was a set of capability roadmaps pertaining to the three
reference missions selected for their representative coverage of the types of space missions envisioned for
the future. From these three roadmaps, we have extracted several common capability patterns that would
be appropriate targets for near-term technical development: one focused on graceful degradation of
system functionality, a second focused on data understanding for science and engineering applications,
and a third focused on hazard avoidance and environmental uncertainty. Continuing work is extending
these roadmaps to identify candidate enablers of the capabilities from the following three categories:
architecture solutions, technology solutions, and process solutions.
The KISS study allowed a collection of diverse and engaged engineers, researchers, and scientists to think
deeply about the theory, approaches, and technical issues involved in developing and applying resilience
capabilities. The conclusions summarize the varied and disparate discussions that occurred during the
study, and include new insights about the nature of the challenge and potential solutions:
1. There is a clear and definitive need for more resilient space systems. During our study period,
the key scientists/engineers we engaged to understand potential future missions confirmed the
scientific and risk reduction value of greater resilience in the systems used to perform these
missions.
2. Resilience can be quantified in measurable terms—project cost, mission risk, and quality of
science return. In order to consider resilience properly in the set of engineering trades performed
during the design, integration, and operation of space systems, the benefits and costs of resilience
need to be quantified. We believe, based on the work done during the study, that appropriate
metrics to measure resilience must relate to risk, cost, and science quality/opportunity. Additional
work is required to explicitly tie design decisions to these first-order concerns.
3. There are many existing basic technologies that can be applied to engineering resilient space
systems. Through the discussions during the study, we found many varied approaches and
research that address the various facets of resilience, some within NASA, and many more
beyond. Examples from civil architecture, Department of Defense (DoD) / Defense Advanced
Research Projects Agency (DARPA) initiatives, ‘smart’ power grid control, cyber-physical
systems, software architecture, and application of formal verification methods for software were
identified and discussed. The variety and scope of related efforts is encouraging and presents
many opportunities for collaboration and development, and we expect many collaborative
proposals and joint research as a result of the study.
4. Use of principled architectural approaches is key to managing complexity and integrating
disparate technologies. The main challenge inherent in considering highly resilient space
systems is that the increase in capability can result in an increase in complexity with all of the
3
risks and costs associated with more complex systems. What is needed is a better way of
conceiving space systems that enables incorporation of capabilities without increasing
complexity. We believe principled architecting approaches provide the needed means to convey a
unified understanding of the system to primary stakeholders, thereby controlling complexity in
the conception and development of resilient systems, and enabling the integration of disparate
approaches and technologies. A representative architectural example is included in Appendix F.
5. Developing trusted resilience capabilities will require a diverse yet strategically directed
research program. Despite the interest in, and benefits of, deploying resilience space systems, to
date, there has been a notable lack of meaningful demonstrated progress in systems capable of
working in hazardous uncertain situations. The roadmaps completed during the study, and
documented in this report, provide the basis for a real funded plan that considers the required
fundamental work and evolution of needed capabilities.
Exploring space is a challenging and difficult endeavor. Future space missions will require more
resilience in order to perform the desired science in new environments under constraints of development
and operations cost, acceptable risk, and communications delays. Development of space systems with
resilient capabilities has the potential to expand the limits of possibility, revolutionizing space science by
enabling as yet unforeseen missions and breakthrough science observations.
Our KISS study provided an essential venue for the consideration of these challenges and goals.
Additional work and future steps are needed to realize the potential of resilient systems—this study
provided the necessary catalyst to begin this process
High-Dimensional Motion Planning and Learning Under Uncertain Conditions
Many existing path planning methods do not adequately account for uncertainty. Without uncertainty these existing techniques work well, but in real world environments they struggle due to inaccurate sensor models, arbitrarily moving obstacles, and uncertain action consequences. For example, picking up and storing childrens toys is a simple task for humans. Yet, for a robotic household robot the task can be daunting. The room must be modeled with sensors, which may or may not detect all the strewn toys. The robot must be able to detect and avoid the child who may be moving the very toys that the robot is tasked with cleaning. Finally, if the robot missteps and places a foot on a toy, it must be able to compensate for the unexpected consequences of its actions. This example demonstrates that even simple human tasks are fraught with uncertainties that must be accounted for in robotic path planning algorithms. This work presents the first steps towards migrating sampling-based path planning methods to real world environments by addressing three different types of uncertainty: (1) model uncertainty, (2) spatio-temporal obstacle uncertainty (moving obstacles) and (3) action consequence uncertainty. Uncertainty is encoded directly into path planning through a data structure in order to successfully and efficiently identify safe robot paths in sensed environments with noise. This encoding produces comparable clearance paths to other planning methods which are a known for high clearance, but at an order of magnitude less computational cost. It also shows that formal control theory methods combined with path planning provides a technique that has a 95% collision-free navigation rate with 300 moving obstacles. Finally, it demonstrates that reinforcement learning can be combined with planning data structures to autonomously learn motion controls of a seven degree of freedom robot despite a low computational cost despite the number of dimensions
- …