838 research outputs found

    Strategy Synthesis for Autonomous Agents Using PRISM

    Get PDF
    We present probabilistic models for autonomous agent search and retrieve missions derived from Simulink models for an Unmanned Aerial Vehicle (UAV) and show how probabilistic model checking and the probabilistic model checker PRISM can be used for optimal controller generation. We introduce a sequence of scenarios relevant to UAVs and other autonomous agents such as underwater and ground vehicles. For each scenario we demonstrate how it can be modelled using the PRISM language, give model checking statistics and present the synthesised optimal controllers. We conclude with a discussion of the limitations when using probabilistic model checking and PRISM in this context and what steps can be taken to overcome them. In addition, we consider how the controllers can be returned to the UAV and adapted for use on larger search areas

    An energy-aware architecture : a practical implementation for autonomous underwater vehicles

    Get PDF
    Energy awareness, fault tolerance and performance estimation are important aspects for extending the autonomy levels of today’s autonomous vehicles. Those are related to the concepts of survivability and reliability, two important factors that often limit the trust of end users in conducting large-scale deployments of such vehicles. With the aim of preparing the way for persistent autonomous operations this work focuses its efforts on investigating those effects on underwater vehicles capable of long-term missions. A novel energy-aware architecture for autonomous underwater vehicles (AUVs) is presented. This, by monitoring at runtime the vehicle’s energy usage, is capable of detecting and mitigating failures in the propulsion subsystem, one of the most common sources of mission-time problems. Furthermore it estimates the vehicle’s performance when operating in unknown environments and in the presence of external disturbances. These capabilities are a great contribution for reducing the operational uncertainty that most underwater platforms face during their deployment. Using knowledge collected while conducting real missions the proposed architecture allows the optimisation of on-board resource usage. This improves the vehicle’s effectiveness when operating in unknown stochastic scenarios or when facing the problem of resource scarcity. The architecture has been implemented on a real vehicle, Nessie AUV, used for real sea experiments as part of multiple research projects. These gave the opportunity of evaluating the improvements of the proposed system when considering more complex autonomous tasks. Together with Nessie AUV, the commercial platform IVER3 AUV has been involved in the evaluating the feasibility of this approach. Results and operational experience, gathered both in real sea scenarios and in controlled environment experiments, are discussed in detail showing the benefits and the operational constraints of the introduced architecture, alongside suggestions for future research directions

    Gait identification and optimisation for amphi-underwater robot by using ant colony algorithm

    Get PDF
    Manoeuvrable robot commonly has become the focus of the latest heated issues especially in applications that involved disaster rescue, military missions and underwater or extra-terrestrial explorations. Currently, the manoeuvrable robot is controlled manually by the operator and it’s a wheeled type. It is used for rescue missions to transport people from disaster area to the safe zone. However, the robot is incapable of moving automatically, and it goes through terrain or landscape like swarm. Therefore, a suitable platform is required to transport or for other uses especially in dangerous mission. It is very difficult to estimate the movement of the robot to avoid obstacles and choose the alternative path. Hence, this research presents the point-to-point gait identification or path planning of the behavious of the robot to manuever autonomously on both on-land and underwater environment. For the optimization, the robot will travel from one specific point to another with the predefined position within optimized gait and fastest time by using Ant Colony Optimization (ACO) technique. The algorithm being compared, between Ant Colony Algorithm (ACO) and the Particle Swarm Optimisation (PSO) in terms of time and distance. The ACO been chosen because of the positive feedback for rapid discovery and able to use in dynamic applications for example adapts to changes like new distances. The performance of the algorithm showed that the execution time of ACO is more realistic. Hence, Matlab is used to determine the best cost extracted from the ACO with the pre-define of number of iteration and the number of ants. The laboratory-scaled prototype for amphibious vehicle was developed to test the design controlled with ACO technique where Global Positioning System (GPS) is used for the coordination of the robot and Magnetometer for the position of the robot. The robot prototype is able to move autonomously and optimized by the ant colony optimization with predefined position and terrain condition © BEIESP

    Recent Advances in Multi Robot Systems

    Get PDF
    To design a team of robots which is able to perform given tasks is a great concern of many members of robotics community. There are many problems left to be solved in order to have the fully functional robot team. Robotics community is trying hard to solve such problems (navigation, task allocation, communication, adaptation, control, ...). This book represents the contributions of the top researchers in this field and will serve as a valuable tool for professionals in this interdisciplinary field. It is focused on the challenging issues of team architectures, vehicle learning and adaptation, heterogeneous group control and cooperation, task selection, dynamic autonomy, mixed initiative, and human and robot team interaction. The book consists of 16 chapters introducing both basic research and advanced developments. Topics covered include kinematics, dynamic analysis, accuracy, optimization design, modelling, simulation and control of multi robot systems

    Subsea inspection and monitoring challenges

    Get PDF
    Master's thesis in Offshore technology : industrial asset managementThis paper uncovers and suggests solutions for the challenges to control change over time more reliable and cost effective. Front-end concept engineering, design, inspection and monitoring strategies, technologies, systems and methods for Life-of-Field are recommended. Autonomous underwater vehicles (AUV) are identified as a possible cost- efficient opportunity to reduce cost of inspections and monitoring operations while safeguarding asset integrity. A recognized design spiral methodology is used to perform a front-end concept evaluation of an AUV system. Investigation of key technological limitations and new developments within underwater communication, energy storage and wireless power transmission is performed. It further enables opportunities such as AUV recharging station on the seafloor for better utilization. One major learning point is through the use of numerical models and the outcome being a better and more hydro effective hull design. One expectation from this paper may be the aid to collaborating partners in their design work

    Design and Evaluation of a Propulsion System for Small, Compact, Low-Speed Maneuvering Underwater Vehicles

    Get PDF
    Underwater vehicles used to perform precision inspection and non-destructive evaluation in tightly constrained or delicate underwater environments must be small, have low-speed maneuverability and a smooth streamlined outer shape with no appendages. In this thesis, the design and analysis of a new propulsion system for such underwater vehicles is presented. It consists primarily of a syringe and a plunger driven by a linear actuator and uses different inflow and outflow nozzles to provide continuous propulsive force. A prototype of the proposed propulsion mechanism is built and tested. The practical utility and potential efficacy of the system is demonstrated and assessed via direct thrust measurement experiments and by use of an initial proof-of-concept test vehicle. Experiments are performed to enable the evaluation and modelling of the thrust output of the mechanism as well as the speed capability of a vehicle employing the propulsion system

    Energy efficient path planning and model checking for long endurance unmanned surface vehicles.

    Get PDF
    In this dissertation, path following, path planning, collision avoidance and model checking algorithms were developed and simulated for improving the level of autonomy for Unmanned Surface Vehicle (USV). Firstly, four path following algorithms, namely, Carrot Chasing, Nonlinear Guidance Law, Pure pursuit and LOS, and Vector Field algorithms, were compared in simulation and Carrot Chasing was tested in Unmanned Safety Marine Operations Over The Horizon (USMOOTH) project. Secondly, three path planning algorithms, including Voronoi-Visibility shortest path planning, Voronoi-Visibility energy efficient path planning and Genetic Algorithm based energy efficient path planning algorithms, are presented. Voronoi-Visibility shortest path planning algorithm was proposed by integrating Voronoi diagram, Dijkstra’s algorithm and Visibility graph. The path quality and computational efficiency were demonstrated through comparing with Voronoi algorithms. Moreover, the proposed algorithm ensured USV safety by keeping the USV at a configurable clearance distance from the coastlines. Voronoi-Visibility energy efficient path planning algorithm was proposed by taking sea current data into account. To address the problem of time-varying sea current, Genetic Algorithm was integrated with Voronoi-Visibility energy efficient path planning algorithm. The energy efficiency of Voronoi-Visibility and Genetic Algorithm based algorithms were demonstrated in simulated missions. Moreover, collision avoidance algorithm was proposed and validated in single and multiple intruders scenarios. Finally, the feasibility of using model checking for USV decision-making systems verification was demonstrated in three USV mission scenarios. In the final scenario, a multi-agent system, including two USVs, an Unmanned Aerial Vehicle (UAV), a Ground Control Station (GCS) and a wireless mesh network, were modelled using Kripke modelling algorithm. The modelled uncertainties include communication loss, collision risk, fault event and energy states. Three desirable properties, including safety, maximum endurance, and fault tolerance, were expressed using Computational Tree Logic (CTL), which were verified using Model Checker for Multi-Agent System (MCMAS). The verification results were used to retrospect and improve the design of the decision-making system.PhD in Aerospac

    NASA SBIR abstracts of 1990 phase 1 projects

    Get PDF
    The research objectives of the 280 projects placed under contract in the National Aeronautics and Space Administration (NASA) 1990 Small Business Innovation Research (SBIR) Phase 1 program are described. The basic document consists of edited, non-proprietary abstracts of the winning proposals submitted by small businesses in response to NASA's 1990 SBIR Phase 1 Program Solicitation. The abstracts are presented under the 15 technical topics within which Phase 1 proposals were solicited. Each project was assigned a sequential identifying number from 001 to 280, in order of its appearance in the body of the report. The document also includes Appendixes to provide additional information about the SBIR program and permit cross-reference in the 1990 Phase 1 projects by company name, location by state, principal investigator, NASA field center responsible for management of each project, and NASA contract number

    Algorithms for Fault Detection and Diagnosis

    Get PDF
    Due to the increasing demand for security and reliability in manufacturing and mechatronic systems, early detection and diagnosis of faults are key points to reduce economic losses caused by unscheduled maintenance and downtimes, to increase safety, to prevent the endangerment of human beings involved in the process operations and to improve reliability and availability of autonomous systems. The development of algorithms for health monitoring and fault and anomaly detection, capable of the early detection, isolation, or even prediction of technical component malfunctioning, is becoming more and more crucial in this context. This Special Issue is devoted to new research efforts and results concerning recent advances and challenges in the application of “Algorithms for Fault Detection and Diagnosis”, articulated over a wide range of sectors. The aim is to provide a collection of some of the current state-of-the-art algorithms within this context, together with new advanced theoretical solutions
    corecore