TechTalks from event: Technical session talks from ICRA 2012

Conference registration code to access these videos can be accessed by visiting this link: PaperPlaza. Step-by-step to access these videos are here: step-by-step process .
Why some of the videos are missing? If you had provided your consent form for your video to be published and still it is missing, please contact

Formal Methods

  • Temporal Logic Motion Control Using Actor-Critic Methods Authors: Ding, Xu Chu; Wang, Jing; Lahijanian, Morteza; Paschalidis, Yannis; Belta, Calin
    In this paper, we consider the problem of deploying a robot from a specification given as a temporal logic statement about some properties satisfied by the regions of a large, partitioned environment. We assume that the robot has noisy sensors and actuators and model its motion through the regions of the environment as a Markov Decision Process (MDP). The robot control problem becomes finding the control policy maximizing the probability of satisfying the temporal logic task on the MDP. For a large environment, obtaining transition probabilities for each state-action pair, as well as solving the necessary optimization problem for the optimal policy are usually not computationally feasible. To address these issues, we propose an approximate dynamic programming framework based on a least-square temporal difference learning method of the actor-critic type. This framework operates on sample paths of the robot and optimizes a randomized control policy with respect to a small set of parameters. The transition probabilities are obtained only when needed. Hardware-in-the-loop simulations confirm that convergence of the parameters translates to an approximately optimal policy.
  • Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints Authors: Ulusoy, Alphan; Smith, Stephen L.; Ding, Xu Chu; Belta, Calin
    In this paper we present a method for automatically planning robust optimal paths for a group of robots that satisfy a common high level mission specification. Each robot's motion in the environment is modeled as a weighted transition system, and the mission is given as a Linear Temporal Logic (LTL) formula over a set of propositions satisfied by the regions of the environment. In addition, an optimizing proposition must repeatedly be satisfied. The goal is to minimize the maximum time between satisfying instances of the optimizing proposition while ensuring that the LTL formula is satisfied even with uncertainty in the robots' traveling times. We characterize a class of LTL formulas that are robust to robot timing errors, for which we generate optimal paths if no timing errors are present, and we present bounds on the deviation from the optimal values in the presence of errors. We implement and experimentally evaluate our method considering a persistent monitoring task in a road network environment.
  • Stunt Driving via Policy Search Authors: Lau, Tak Kit; Liu, Yunhui
    To explore or exploit? In this paper, we discuss the long-standing exploration-exploration dilemma in context of designing a learning controller for stunt-style driving with scarce samples. By making an efficient use of a single demonstration by an expert, our algorithm leverages our intuitive understanding of driving to extract a coarse dynamics model from the collected driving data, then formulate the policy search in a setting of gradient update with a specially designed cost function. Both theoretical and empirical results are detailed and discussed.
  • Probabilistic Control from Time-Bounded Temporal Logic Specifications in Dynamic Environments Authors: Medina Ayala, Ana Ivonne; Andersson, Sean; Belta, Calin
    The increasing need for real time robotic systems capable of performing tasks in changing and constrained environments demands the development of reliable and adaptable motion planning and control algorithms. This paper considers a mobile robot whose performance is measured by the completion of temporal logic tasks within a certain period of time. In addition to such time constraints, the planning algorithm must also deal with changes in the robot’s workspace during task execution. In our case, the robot is deployed in a partitioned environment subjected to structural changes in which doors shift from open to closed and vice-versa. The motion of the robot is modeled as a Continuous Time Markov Decision Process and the robot’s mission is expressed as a Continuous Stochastic Logic (CSL) temporal logic specification. An approximate solution to find a control strategy that satisfies such specifications is derived for a subset of probabilistic CSL formulae. Simulation and experimental results are provided to illustrate the method.
  • Non-Gaussian Belief Space Planning: Correctness and Complexity Authors: Platt, Robert; Tedrake, Russ; Kaelbling, Leslie; Lozano-Perez, Tomas
    We consider the partially observable control problem where it is potentially necessary to perform complex information-gathering operations in order to localize state. One approach to solving these problems is to create plans in {em belief-space}, the space of probability distributions over the underlying state of the system. The belief-space plan encodes a strategy for performing a task while gaining information as necessary. Unlike most approaches in the literature which rely upon representing belief state as a Gaussian distribution, we have recently proposed an approach to non-Gaussian belief space planning based on solving a non-linear optimization problem defined in terms of a set of state samples~cite{platt_isrr2011}. In this paper, we show that even though our approach makes optimistic assumptions about the content of future observations for planning purposes, all low-cost plans are guaranteed to gain information in a specific way under certain conditions. We show that eventually, the algorithm is guaranteed to localize the true state of the system and to reach a goal region with high probability. Although the computational complexity of the algorithm is dominated by the number of samples used to define the optimization problem, our convergence guarantee holds with as few as two samples. Moreover, we show empirically that it is unnecessary to use large numbers of samples in order to obtain good performance.
  • Proving the Correctness of Concurrent Robot Software Authors: Kazanzides, Peter; Kouskoulas, Yanni; Deguet, Anton; Shao, Zhong
    Component-based software has been proposed as a methodology for improving software reuse and has increasingly been adopted by robot software developers. At the same time, robot systems typically have real-time performance requirements and performance gains can often be obtained by multi-threading. It is challenging, however, to create correct multi-threaded software, especially when standard mutual exclusion primitives, such as mutexes and semaphores, are eschewed in favor of more efficient, lock-free mechanisms. It is even more difficult to find these errors, as they can remain dormant for years until triggered by just the &quot;right&quot; conditions. Our approach, therefore, is to apply Formal Methods to reason about the correctness of these mechanisms. As a first step, we adopted a recently-developed program logic called History for Local Rely/Guarantee (HLRG) and applied it to prove the correctness (after first finding and fixing an error) of one such mechanism in the open source <i>cisst</i> software package. This strategy is not specific to <i>cisst</i> and can be applied to other packages.

Sensor Networks

  • Distributed Coverage with Mobile Robots on a Graph: Locational Optimization Authors: Yun, Seung-kook; Rus, Daniela
    This paper presents a decentralized algorithm for coverage with mobile robots on a graph. Coverage is an important capability of multi-robot systems engaged in a number of different applications, including placement for environmental modeling, deployment for maximal quality surveillance, and even coordinated construction.We use distributed vertex substitution for locational optimization, and the controllers minimize the corresponding cost function. We prove that the proposed controller with two-hop communication guarantees convergence to the locally optimal configuration. We evaluate the algorithms in simulations and compare them to the coverage algorithm in a continuous domain.
  • An Approach to Multi-Agent Area Protection Using Bayes Risk Authors: Bays, Matthew; Shende, Apoorva; Stilwell, Daniel
    We introduce a novel approach to controlling the motion of a team of agents so that they jointly minimize a cost function utilizing Bayes risk. We use a particle-based approach and approximations that allow us to express the optimization problem as a mixed-integer linear program. We illustrate this approach with an area protection problem in which a team of mobile agents must intercept mobile targets before the targets enter a specified area. Bayes risk is a useful measure of performance for applications where agents must perform a classification task. By minimizing Bayes risk, agents are able to explicitly account for the cost of incorrect classification. In our application, a team of mobile agents must classify potential mobile targets as threat or safe based on the likelihood the targets will enter the specified area. The agents must also maneuver to intercept targets that are classified as threat.
  • On Coordination in Practical Multi-Robot Patrol Authors: Agmon, Noa; Fok, Chien-Liang; Elmaliah, Yehuda; Stone, Peter; Julien, Christine; Vishwanath, Sriram
    Multi-robot patrol is a fundamental application of multi-robot systems. While much theoretical work exists providing an understanding of the optimal patrol strategy for teams of coordinated, homogeneous robots, little work exists on building and evaluating the performance of such systems in the real world. In this paper, we evaluate the performance of multi-robot patrol in a practical outdoor robotic system, and evaluate the effect of different coordination schemes on the performance of the robotic team, which is influenced by their communication capabilities and degree of heterogeneity. We specifically focus on frequency-based multi-robot patrol along a cyclic route specified by a set of GPS-waypoints. The multi-robot patrol algorithms evaluated vary in the level of coordination of the robots: no coordination, loose coordination, and strong coordination. In addition, we evaluate versions of these algorithms that distribute state information---either individual state, or state of the entire team (global state). Our experiments show that while strong coordination was theoretically proven to be optimal, in practice uncoordinated patrol performed better in terms of average waypoint visitation frequency. Furthermore, loosely coordinated patrol that shares only individual state outperformed all other coordination schemes in terms of worst-case frequency, and it performed significantly better than a loosely coordinated algorithm based on sharing global-view state. We respond t
  • Adaptive Sampling Using Mobile Sensor Networks Authors: Huang, Shuo; Tan, Jindong
    This paper presents an adaptive sparse sampling approach and the corresponding real-time scalar field reconstruction method using mobile sensor networks. Traditionally, the sampling methods collect measurements without considering possible distributions of target signals. A feedback driven algorithm is discussed in this paper, where new measurements are determined based on the analysis of existing observations. The information amount of each potential measurement is evaluated under a sparse domain based on compressive sensing framework given all existing information shared among networked mobile sensors, and the most informative one is selected. The efficiency of this information-driven method falls into the information maximization for each individual measurement. The simulation results show the efficacy and efficiency of this approach, where a scalar field is recovered.
  • Coverage Control of Mobile Sensors for Adaptive Search of Unknown Number of Targets Authors: Surana, Amit; Mathew, George; Kannan, Suresh
    We present a multiscale adaptive search algorithm for efficiently searching an unknown number of stationary targets using a team of multiple mobile sensors. We first derive a Spectral Multiscale Coverage (SMC) control law for a Dubins vehicle model. Given a search prior, the SMC control gives rise to uniform coverage dynamics for the mobile sensors such that the amount of time spent observing a region is proportional to finding a target in it. In order to make the search robust to sensor uncertainties and Automatic Target Detection algorithm errors (i.e. false alarm, missed detections), we combine the SMC control with decision and estimation theoretic techniques. As new targets are discovered we use the Sequential Ratio Probability Test and Recursive Least Squares estimation to quantify the current uncertainty in target detection and location, respectively. This uncertainty is used to update the search prior so as to balance exploitation (reduce uncertainty in state of already discovered potential targets) and exploration (discover new targets). We demonstrate this adaptive search methodology in a high fidelity simulation environment and show an improved performance over lawnmower type search.

Cable-Driven Mechanisms

  • Novel Equilibrium-Point Control of Agonist-Antagonist System with Pneumatic Artificial Muscles Authors: Ariga, Yohei; Uemura, Mitsunori; Hirai, Hiroaki; Miyazaki, Fumio
    This paper presents a novel method for controlling a single-joint robot arm driven by two pneumatic artificial muscles (PAMs). We introduce the concepts of the agonist-antagonist muscle-pairs ratio (A-A ratio) and the agonist-antagonist muscle-pairs activity (A-A activity), and demonstrate that our concepts enable separate linear control of the equilibrium joint angle and joint stiffness. We also discuss our approach in comparison with the equilibrium-point (EP) hypothesis.
  • Dynamic Trajectory Planning of a Two-DOF Cable-Suspended Parallel Robot Authors: Gosselin, Clement; Ren, Ping
    This paper presents a trajectory planning approach for cable-suspended parallel mechanisms. A planar two-degree-of-freedom parallel mechanism is used for the analysis. Based on the dynamic model of the suspended robot, a set of algebraic inequalities is obtained that represents the constraints on the cable tensions. Parametric Cartesian trajectories are then defined and substituted into the constraints in order to obtain global conditions on the trajectory parameters which ensure that the trajectories are feasible. Special frequencies arise from the equations that are akin to natural frequencies of pendulum-type systems. An experimental validation is also presented using a two-dof prototype. The proposed trajectory planning approach can be used to plan dynamic trajectories that go beyond the static workspace of the mechanism, thereby opening novel applications and possibilities for cable-suspended robots.
  • Force-Closure of Spring-Loaded Cable-Driven Open Chains: Minimum Number of Cables Required & Influence of Spring Placements Authors: Mustafa, Shabbir Kurbanhusen; Agrawal, Sunil
    While cable-driven systems offer the advantages of being lightweight with low moving inertia, the unilateral driving property of cables generally require them to have a greater number of actuators than their rigid-linked counterparts. This paper investigates the use of springs in an attempt to reduce the number of cables required. Given an n-DOF spring-loaded cable-driven open chain, several important questions arise: (i) How can force-closure analysis be carried out for a given spring and cable routing configuration? (ii) Are n+1 cables still necessary to fully constrain the entire open chain? (iii) What is the influence of spring placement on force-closure and cable tension required? This paper will address these concerns by proposing a systematic approach based on reciprocal screw theory. The analysis shows that an n-DOF spring-loaded cable driven open chain still requires a minimum of n+1 cables to fully constrain it. From preliminary analysis, spring placement can have a positive effect on altering the cable tension required and increasing the feasible workspace.
  • Development of a MR-Compatible Cable-Driven Manipulator: Design and Technological Issues Authors: Abdelaziz, Salih; Esteveny, Laure; Barbé, laurent; Renaud, Pierre; Bayle, Bernard; de Mathelin, Michel
    In this paper, we focus on the technology issues to be solved to develop a cable-driven robot compatible with Magnetic Resonance Imaging constraints. This study is based on the design of a new compact cable-driven manipulator with remote actuators, initially developed for prostate interventions. One of the originalities of the system is to use an instrumented structure to evaluate the cable tensions and lengths in order to perform an adequate control. The sensors assessment has been experimentally achieved and the necessity to introduce a new control strategy using the developed sensors has been demonstrated.
  • Application of Unscented Kalman Filter to a Cable Driven Surgical Robot: A Simulation Study Authors: Ramadurai, Srikrishnan; Nia Kosari, Sina; King, H. Hawkeye; Chizeck, Howard; Hannaford, Blake
    Cable driven power transmissions are used in applications such as haptic devices, surgical robots etc. The use of flexible cable based power transmission often causes relative motion between the motor actuator and mechanism joint during operation due to the elasticity of the cable.State-space control methods can be used to improve performance, but may require state estimates. For nonlinear systems, the Unscented Kalman Filter (UKF) provides a computationally efficient way to obtain state estimates. The UKF is applied here to a simulation of a minimially invasive surgical robot, to study the state estimation for a cable driven system with non-linear dynamics. State estimates from the UKF are compared with the known states available from the simulation. These state estimates are also utilized by two different controllers interacting with the simulation to test the UKF performance under closed loop control. We tested the UKF performance with error perturbations in the system model's cable stiffness parameter.
  • Joint Control of Tendon-Driven Mechanisms with Branching Tendons Authors: Sawada, Daisuke; Ozawa, Ryuta
    This paper proposes a joint control method for tendon-driven mechanisms (TDMs) with branching tendons that are connected to multiple tendons at a point, and which are often found in musculoskeletal systems. TDMs usually require the same number of tendons as actuators, which are one of the heaviest components in a robotics system. The utilization of branching tendons is useful for reducing the number of actuators needed for making lightweight robotic mechanisms, such as prosthetic hands. However, the under-actuation of the branching tendons makes it difficult to accurately control the joint motion of TDMs. Therefore, TDMs with branching tendons have been used only for simple adaptive grasping mechanisms. In this paper, we derive the tendon kinematics of TDMs with branching tendons and design a joint PD controller for the mechanisms. We demonstrate the stability of the control system using Lyapunov's direct method. We show that the bias force setting, which does not appear in conventional TDMs, is important in the realization of accurate control in TDMs with branching tendons. Simulations were performed to evaluate the proposed method.