On the performance of sampling-based optimal motion planners

Sampling based algorithms provide efficient methods of solving robot motion planning problem. The advantage of these approaches is the ease of their implementation and their computational efficiency. These algorithms are probabilistically complete i.e. they will find a solution if one exists, given a suitable run time. The drawback of sampling based planners is that there is no guarantee of the quality of their solutions. In fact, it was proven that their probability of reaching an optimal solution approaches zero. A breakthrough in sampling planning was the proposal of optimal based sampling planners. Current optimal planners are characterized with asymptotic optimality i.e. they reach an optimal solutions as time approaches infinity. Motivated by the slow convergence of optimal planners, post-processing and heuristic approach have been suggested. Due to the nature of the sampling based planners, their implementation requires tuning and selection of a large number of parameters that are often overlooked. This paper presents the performance study of an optimal planner under different parameters and heuristics. We also propose a modification in the algorithm to improve the convergence rate towards an optimal solution

Implications of Motion Planning: Optimality and k-survivability

We study motion planning problems, finding trajectories that connect two configurations of a system, from two different perspectives: optimality and survivability. For the problem of finding optimal trajectories, we provide a model in which the existence of optimal trajectories is guaranteed, and design an algorithm to find approximately optimal trajectories for a kinematic planar robot within this model. We also design an algorithm to build data structures to represent the configuration space, supporting optimal trajectory queries for any given pair of configurations in an obstructed environment. We are also interested in planning paths for expendable robots moving in a threat environment. Since robots are expendable, our goal is to ensure a certain number of robots reaching the goal. We consider a new motion planning problem, maximum k-survivability: given two points in a stochastic threat environment, find n paths connecting two given points while maximizing the probability that at least k paths reach the goal. Intuitively, a good solution should be diverse to avoid several paths being blocked simultaneously, and paths should be short so that robots can quickly pass through dangerous areas. Finding sets of paths with maximum k-survivability is NP-hard. We design two algorithms: an algorithm that is guaranteed to find an optimal list of paths, and a set of heuristic methods that finds paths with high k-survivability

Switch controllers of an n - link revolute manipulator with a prismatic end effector for landmark navigation

Robotic arms play an indispensable role in multiple sectors such as manufacturing, transportation and healthcare to improve human livelihoods and make possible their endeavors and innovations, which further enhance the quality of our lives. This paper considers such a robotic arm comprised of n revolute links and a prismatic end-effector, where the articulated arm is anchored in a restricted workspace. A new set of stabilizing switched velocity-based continuous controllers was derived using the Lyapunov-based Control Scheme (LbCS) from the category of classical approaches where switching of these nonlinear controllers is invoked by a new rule. The switched controllers enable the end-effector of the robotic arm to navigate autonomously via a series of landmarks, known as hierarchal landmarks, and finally converge to its equilibrium state. The interaction of the inherent attributes of LbCS that are the safeness, shortness and smoothness of paths for motion planning bring about cost and time efficiency of the controllers. The stability of the switched system was proven using Branicky’s stability criteria for switched systems based on multiple Lyapunov functions and was numerically validated using the RK4 method (Runge–Kutta method). Finally, computer simulation results are presented to show the effectiveness of the continuous time-invariant velocity-based controllers

Reachability-based Trajectory Design

Autonomous mobile robots have the potential to increase the availability and accessibility of goods and services throughout society. However, to enable public trust in such systems, it is critical to certify that they are safe. This requires formally specifying safety, and designing motion planning methods that can guarantee safe operation (note, this work is only concerned with planning, not perception). The typical paradigm to attempt to ensure safety is receding-horizon planning, wherein a robot creates a short plan, then executes it while creating its next short plan in an iterative fashion, allowing a robot to incorporate new sensor information over time. However, this requires a robot to plan in real time. Therefore, the key challenge in making safety guarantees lies in balancing performance (how quickly a robot can plan) and conservatism (how cautiously a robot behaves). Existing methods suffer from a tradeoff between performance and conservatism, which is rooted in the choice of model used describe a robot; accuracy typically comes at the price of computation speed. To address this challenge, this dissertation proposes Reachability-based Trajectory Design (RTD), which performs real-time, receding-horizon planning with a simplified planning model, and ensures safety by describing the model error using a reachable set of the robot. RTD begins with the offline design of a continuum of parameterized trajectories for the plan- ning model; each trajectory ends with a fail-safe maneuver such as braking to a stop. RTD then computes the robot’s Forward Reachable Set (FRS), which contains all points in workspace reach- able by the robot for each parameterized trajectory. Importantly, the FRS also contains the error model, since a robot can typically never track planned trajectories perfectly. Online (at runtime), the robot intersects the FRS with sensed obstacles to provably determine which trajectory plans could cause collisions. Then, the robot performs trajectory optimization over the remaining safe trajectories. If no new safe plan can be found, the robot can execute its previously-found fail-safe maneuver, enabling perpetual safety. This dissertation begins by presenting RTD as a theoretical framework, then presents three representations of a robot’s FRS, using (1) sums-of-squares (SOS) polynomial programming, (2) zonotopes (a special type of convex polytope), and (3) rotatotopes (a generalization of zonotopes that enable representing a robot’s swept volume). To enable real-time planning, this work also de- velops an obstacle representation that enables provable safety while treating obstacles as discrete, finite sets of points. The practicality of RTD is demonstrated on four different wheeled robots (using the SOS FRS), two quadrotor aerial robots (using the zonotope FRS), and one manipulator robot (using the rotatotope FRS). Over thousands of simulations and dozens of hardware trials, RTD performs safe, real-time planning in arbitrary and challenging environments. In summary, this dissertation proposes RTD as a general purpose, practical framework for provably safe, real-time robot motion planning.PHDMechanical EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/162884/1/skousik_1.pd

Motion planning for constrained mobile robots in unknown environments

Ph.DDOCTOR OF PHILOSOPH