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

CES-514 Market Evaluation for Colchester Catalyst on the use of Robotic Wheelchairs

1.2 What is a Robotic Wheelchair?........................... 1 1.3 Type of Marketing Research used and sources of data...............

Concept and Design of a Hand-held Mobile Robot System for Craniotomy

This work demonstrates a highly intuitive robot for Surgical Craniotomy Procedures. Utilising a wheeled hand-held robot, to navigate the Craniotomy Drill over a patient\u27s skull, the system does not remove the surgeons from the procedure, but supports them during this critical phase of the operation

Trajectory tracking and formation control of a platoon of mobile robots

This thesis is concerned with controlling a platoon of wheeled mobile robots (WMR), where the robots are aimed to follow a trajectory while they maintain their formation intact. The control design is carried out by considering unicycle kinematics for each robot, and the leader-follower structure for the formation. It is assumed that every robot except the one located at the end of each platoon can potentially be the leader to the one behind it. It is also assumed that each follower is capable of sensing its relative distance and relative velocity with respect to its preceding robot. The stability of the proposed control law is investigated in the case of perfect sensing and in the presence of input saturation. The impact of measurement noise on the followers is then studied assuming that a known upper bound exists on the measurement error, and a linear matrix inequality (LMI) methodology is proposed to design a control law which minimizes the upper bound on the steady-state error. The problem is then investigated in a more practical setting, where the control input is subject to delay, and that the tracking trajectory can be different in distinct time intervals. It is to be noted that delay often exists in this type of cooperative control system due to data transmission and signal processing, and if neglected in the control design, can lead to poor closed-loop performance or even instability. Furthermore, switching in tracking trajectory can be used as a collision avoidance strategy in the formation control problem. Delay dependent stability conditions are derived in the form of LMIs, and the free-weighting matrix approach is used to obtain less conservative results. Simulations are presented to demonstrate the efficacy of the results obtained in this thesis

Modelling and control of the coordinated motion of a group of autonomous mobile robots

The coordinated motion of a group of autonomous mobile robots for the achievement of a coordinated task has received signifcant research interest in the last decade. Avoiding the collisions of the robots with the obstacles and other members of the group is one of the main problems in the area as previous studies have revealed. Substantial amount of research effort has been concentrated on defning virtual forces that will yield reference trajectories for a group of autonomous mobile robots engaged in coordinated behavior. If the mobile robots are nonholonomic, this approach fails to guarantee coordinated motion since the nonholonomic constraint blocks sideway motions. Two novel approaches to the problem of modeling coordinated motion of a group of autonomous nonholonomic mobile robots inclusive of a new collision avoidance scheme are developed in this thesis. In the first approach, a novel coordination method for a group of autonomous nonholonomic mobile robots is developed by the introduction of a virtual reference system, which in turn implies online collision-free trajectories and consists of virtual mass-spring-damper units. In the latter, online generation of reference trajectories for the robots is enabled in terms of their linear and angular velocities. Moreover, a novel collision avoidance algorithm, that updates the velocities of the robots when a collision is predicted, is developed in both of the proposed models. Along with the presentation of several coordinated task examples, the proposed models are verifed via simulations. Experiments were conducted to verify the performance of the collision avoidance algorithm

A non-holonomic, highly human-in-the-loop compatible, assistive mobile robotic platform guidance navigation and control strategy

The provision of assistive mobile robotics for empowering and providing independence to the infirm, disabled and elderly in society has been the subject of much research. The issue of providing navigation and control assistance to users, enabling them to drive their powered wheelchairs effectively, can be complex and wide-ranging; some users fatigue quickly and can find that they are unable to operate the controls safely, others may have brain injury re-sulting in periodic hand tremors, quadriplegics may use a straw-like switch in their mouth to provide a digital control signal. Advances in autonomous robotics have led to the development of smart wheelchair systems which have attempted to address these issues; however the autonomous approach has, ac-cording to research, not been successful; users reporting that they want to be active drivers and not passengers. Recent methodologies have been to use collaborative or shared control which aims to predict or anticipate the need for the system to take over control when some pre-decided threshold has been met, yet these approaches still take away control from the us-er. This removal of human supervision and control by an autonomous system makes the re-sponsibility for accidents seriously problematic. This thesis introduces a new human-in-the-loop control structure with real-time assistive lev-els. One of these levels offers improved dynamic modelling and three of these levels offer unique and novel real-time solutions for: collision avoidance, localisation and waypoint iden-tification, and assistive trajectory generation. This architecture and these assistive functions always allow the user to remain fully in control of any motion of the powered wheelchair, shown in a series of experiments

Concept and Design of a Hand-held Mobile Robot System for Craniotomy

This work demonstrates a highly intuitive robot for Surgical Craniotomy Procedures. Utilising a wheeled hand-held robot, to navigate the Craniotomy Drill over a patient\u27s skull, the system does not remove the surgeons from the procedure, but supports them during this critical phase of the operation

Integrated robot planning, path following, and obstacle avoidance in two and three dimensions: Wheeled robots, underwater vehicles, and multicopters

We propose an innovative, integrated solution to path planning, path following, and obstacle avoidance that is suitable both for 2D and 3D navigation. The proposed method takes as input a generic curve connecting a start and a goal position, and is able to find a corresponding path from start to goal in a maze-like environment even in the absence of global information, it guarantees convergence to the path with kinematic control, and finally avoids locally sensed obstacles without becoming trapped in deadlocks. This is achieved by computing a closed-form expression in which the control variables are a continuous function of the input curve, the robot\u2019s state, and the distance of all the locally sensed obstacles. Specifically, we introduce a novel formalism for describing the path in two and three dimensions, as well as a computationally efficient method for path deformation (based only on local sensor readings) that is able to find a path to the goal even when such path cannot be produced through continuous deformations of the original. The article provides formal proofs of all the properties above, as well as simulated results in a simulated environment with a wheeled robot, an underwater vehicle, and a multicopter