Showing papers in "IEEE Transactions on Robotics in 2006"

Kinematics for multisection continuum robots

Abstract: We introduce a new method for synthesizing kinematic relationships for a general class of continuous backbone, or continuum , robots. The resulting kinematics enable real-time task and shape control by relating workspace (Cartesian) coordinates to actuator inputs, such as tendon lengths or pneumatic pressures, via robot shape coordinates. This novel approach, which carefully considers physical manipulator constraints, avoids artifacts of simplifying assumptions associated with previous approaches, such as the need to fit the resulting solutions to the physical robot. It is applicable to a wide class of existing continuum robots and models extension, as well as bending, of individual sections. In addition, this approach produces correct results for orientation, in contrast to some previously published approaches. Results of real-time implementations on two types of spatial multisection continuum manipulators are reported.

Design, Implementation, and Experimental Results of a Quaternion-Based Kalman Filter for Human Body Motion Tracking

Abstract: Real-time tracking of human body motion is an important technology in synthetic environments, robotics, and other human-computer interaction applications. This paper presents an extended Kalman filter designed for real-time estimation of the orientation of human limb segments. The filter processes data from small inertial/magnetic sensor modules containing triaxial angular rate sensors, accelerometers, and magnetometers. The filter represents rotation using quaternions rather than Euler angles or axis/angle pairs. Preprocessing of the acceleration and magnetometer measurements using the Quest algorithm produces a computed quaternion input for the filter. This preprocessing reduces the dimension of the state vector and makes the measurement equations linear. Real-time implementation and testing results of the quaternion-based Kalman filter are presented. Experimental results validate the filter design, and show the feasibility of using inertial/magnetic sensor modules for real-time human body motion tracking

Passive Bilateral Teleoperation With Constant Time Delay

Abstract: We propose a novel control framework for bilateral teleoperation of a pair of multi-degree-of-freedom nonlinear robotic systems under constant communication delays. The proposed framework uses the simple proportional-derivative control, i.e., the master and slave robots are directly connected via spring and damper over the delayed communication channels. Using the controller passivity concept, the Lyapunov-Krasovskii technique, and Parseval's identity, we can passify the combination of the delayed communication and control blocks altogether robustly, as long as the delays are finite constants and an upper bound for the round-trip delay is known. Having explicit position feedback through the delayed P-action, the proposed framework enforces master-slave position coordination, which is often compromised in the conventional scattering-based teleoperation. The proposed control framework provides humans with extended physiological proprioception, so that s/he can affect and sense the remote slave environments mainly relying on her/his musculoskeletal systems. Simulation and experiments are performed to validate and highlight properties of the proposed control framework

Flapping flight for biomimetic robotic insects: part I-system modeling

Abstract: This paper presents the mathematical modeling of flapping flight inch-size micro aerial vehicles (MAVs), namely micromechanical flying insects (MFIs). The target robotic insects are electromechanical devices propelled by a pair of independent flapping wings to achieve sustained autonomous flight, thereby mimicking real insects. In this paper, we describe the system dynamic models which include several elements that are substantially different from those present in fixed or rotary wing MAVs. These models include the wing-thorax dynamics, the flapping flight aerodynamics at a low Reynolds number regime, the body dynamics, and the biomimetic sensory system consisting of ocelli, halteres, magnetic compass, and optical flow sensors. The mathematical models are developed based on biological principles, analytical models, and experimental data. They are presented in the Virtual Insect Flight Simulator (VIFS) and are integrated together to give a realistic simulation for MFI and insect flight. VIFS is a software tool intended for modeling flapping flight mechanisms and for testing and evaluating the performance of different flight control algorithms

Design and control of tensegrity robots for locomotion

Abstract: The static properties of tensegrity structures have been widely appreciated in civil engineering as the basis of extremely lightweight yet strong mechanical structures. However, the dynamic properties and their potential utility in the design of robots have been relatively unexplored. This paper introduces robots based on tensegrity structures, which demonstrate that the dynamics of such structures can be utilized for locomotion. Two tensegrity robots are presented: TR3, based on a triangular tensegrity prism with three struts, and TR4, based on a quadrilateral tensegrity prism with four struts. For each of these robots, simulation models are designed, and automatic design of controllers for forward locomotion are performed in simulation using evolutionary algorithms. The evolved controllers are shown to be able to produce static and dynamic gaits in both robots. A real-world tensegrity robot is then developed based on one of the simulation models as a proof of concept. The results demonstrate that tensegrity structures can provide the basis for lightweight, strong, and fault-tolerant robots with a potential for a variety of locomotor gaits

Exactly Sparse Delayed-State Filters for View-Based SLAM

Abstract: This paper reports the novel insight that the simultaneous localization and mapping (SLAM) information matrix is exactly sparse in a delayed-state framework. Such a framework is used in view-based representations of the environment that rely upon scan-matching raw sensor data to obtain virtual observations of robot motion with respect to a place it has previously been. The exact sparseness of the delayed-state information matrix is in contrast to other recent feature-based SLAM information algorithms, such as sparse extended information filter or thin junction-tree filter, since these methods have to make approximations in order to force the feature-based SLAM information matrix to be sparse. The benefit of the exact sparsity of the delayed-state framework is that it allows one to take advantage of the information space parameterization without incurring any sparse approximation error. Therefore, it can produce equivalent results to the full-covariance solution. The approach is validated experimentally using monocular imagery for two datasets: a test-tank experiment with ground truth, and a remotely operated vehicle survey of the RMS Titanic

Autonomous Self-Assembly in Swarm-Bots

Abstract: In this paper, we discuss the self-assembling capabilities of the swarm-bot, a distributed robotics concept that lies at the intersection between collective and self-reconfigurable robotics. A swarm-bot is comprised of autonomous mobile robots called s-bots. S-bots can either act independently or self-assemble into a swarm-bot by using their grippers. We report on experiments in which we study the process that leads a group of s-bots to self-assemble. In particular, we present results of experiments in which we vary the number of s-bots (up to 16 physical robots), their starting configurations, and the properties of the terrain on which self-assembly takes place. In view of the very successful experimental results, swarm-bot qualifies as the current state of the art in autonomous self-assembly

Stability of Haptic Rendering: Discretization, Quantization, Time Delay, and Coulomb Effects

Abstract: Rendering stiff virtual objects remains a core challenge in the field of haptics. A study of this problem is presented, which relates the maximum achievable object stiffness to the elements of the control loop. In particular, we examine how the sampling rate, quantization, computational delay, and amplifier dynamics interact with the inertia, natural viscous, and Coulomb damping of the haptic device. Nonlinear effects create distinct stability regions, and many common devices operate stably, yet in violation of passivity criteria. An energy-based approach provides theoretical insights, supported by simulations, experimental data, and a describing function analysis. The presented results subsume previously known stability conditions

Flapping flight for biomimetic robotic insects: part II-flight control design

Abstract: In this paper, we present the design of the flight control algorithms for flapping wing micromechanical flying insects (MFIs). Inspired by the sensory feedback and neuromotor structure of insects, we propose a similar top-down hierarchical architecture to achieve high performance despite the MFIs' limited on-board computational resources. The flight stabilization problem is formulated as high-frequency periodic control of an underactuated system. In particular, we provide a methodology to approximate the time-varying dynamics caused by the aerodynamic forces with a time-invariant model using averaging theory and a biomimetic parametrization of the wing trajectories. This approximation leads to a simpler dynamical model that can be identified using experimental data from the on-board sensors and the voltage inputs to the wing actuators. The overall control law is a periodic proportional output feedback. Simulations, including sensor and actuator models, demonstrate stable flight in hovering mode

Multi-robot coalition formation

Abstract: As the community strives towards autonomous multi-robot systems, there is a need for these systems to autonomously form coalitions to complete assigned missions. Numerous coalition formation algorithms have been proposed in the software agent literature. Algorithms exist that form agent coalitions in both super additive and non-super additive environments. The algorithmic techniques vary from negotiation-based protocols in multi-agent system (MAS) environments to those based on computation in distributed problem solving (DPS) environments. Coalition formation behaviors have also been discussed in relation to game theory. Despite the plethora of MAS coalition formation literature, to the best of our knowledge none of the proposed algorithms have been demonstrated with an actual multi-robot system. There exists a discrepancy between the multi-agent algorithms and their applicability to the multi-robot domain. This paper aims to bridge that discrepancy by unearthing the issues that arise while attempting to tailor these algorithms to the multi-robot domain. A well-known multi-agent coalition formation algorithm has been studied in order to identify the necessary modifications to facilitate its application to the multi-robot domain. This paper reports multi-robot coalition formation results based upon simulation and actual robot experiments. A multi-agent coalition formation algorithm has been demonstrated on an actual robot system

Uncalibrated visual servoing of robots using a depth-independent interaction matrix

Abstract: This paper presents a new adaptive controller for image-based dynamic control of a robot manipulator using a fixed camera whose intrinsic and extrinsic parameters are not known. To map the visual signals onto the joints of the robot manipulator, this paper proposes a depth-independent interaction matrix, which differs from the traditional interaction matrix in that it does not depend on the depths of the feature points. Using the depth-independent interaction matrix makes the unknown camera parameters appear linearly in the closed-loop dynamics so that a new algorithm is developed to estimate their values on-line. This adaptive algorithm combines the Slotine-Li method with on-line minimization of the errors between the real and estimated projections of the feature points on the image plane. Based on the nonlinear robot dynamics, we prove asymptotic convergence of the image errors to zero by the Lyapunov theory. Experiments have been conducted to verify the performance of the proposed controller. The results demonstrated good convergence of the image errors

Analysis of the wrench-closure workspace of planar parallel cable-driven mechanisms

Abstract: The mobile platform of a parallel cable-driven mechanism is connected in parallel to a base by lightweight links, such as cables. Since the cables can only work in tension, the set of poses of the mobile platform for which the cables can balance any external wrench, i.e., for which the platform of the mechanism is fully constrained, is often limited or even nonexistent. Thus, the study and determination of this set of poses, called the wrench-closure workspace (WCW), is an important issue for parallel cable-driven mechanisms. In this paper, the case of planar parallel cable-driven mechanisms is addressed. Theorems that characterize the poses of the WCW are proposed. Then, these theorems are used to disclose the parts of the reachable workspace which belong to the WCW. Finally, an efficient algorithm that determines the constant-orientation cross-sections of these parts is introduced.

Fly-inspired visual steering of an ultralight indoor aircraft

Abstract: We aim at developing autonomous microflyers capable of navigating within houses or small indoor environments using vision as the principal source of information. Due to severe weight and energy constraints, inspiration is taken from the fly for the selection of sensors, for signal processing, and for the control strategy. The current 30-g prototype is capable of autonomous steering in a 16/spl times/16 m textured environment. This paper describes models and algorithms which allow for efficient course stabilization and collision avoidance using optic flow and inertial information.

Performance analysis of multirobot Cooperative localization

Abstract: This paper studies the accuracy of position estimation for groups of mobile robots performing cooperative localization We consider the case of teams comprised of possibly heterogeneous robots and provide analytical expressions for the upper bound on their expected positioning uncertainty This bound is determined as a function of the sensors' noise covariance and the eigenvalues of the relative position measurement graph (RPMG), ie, the weighted directed graph which represents the network of robot-to-robot exteroceptive measurements The RPMG is employed as a key element in this analysis, and its properties are related to the localization performance of the team It is shown that, for a robot group of a certain size, the maximum expected rate of uncertainty increase is independent of the accuracy and number of relative position measurements and depends only on the accuracy of the proprioceptive and orientation sensors on the robots Additionally, the effects of changes in the topology of the RPMG are studied, and it is shown that, at steady-state, these reconfigurations do not inflict any loss in localization precision Experimental data, as well as simulation results that validate the theoretical analysis, are presented

Wrench-feasible workspace generation for cable-driven robots

Abstract: This paper presents a method for analytically generating the boundaries of the wrench-feasible workspace (WFW) for cable robots. This method uses the available net wrench set, which is the set of all wrenches that a cable robot can apply to its surroundings without violating tension limits in the cables. The geometric properties of this set permit calculation of the boundaries of the WFW for planar, spatial, and point-mass cable robots. Complete analytical expressions for the WFW boundaries are detailed for a planar cable robot and a spatial point-mass cable robot. The analytically determined boundaries are verified by comparison with numerical results. Based on this, several workspace properties are shown for point-mass cable robots. Finally, it is shown how this workspace-generation approach can be used to analytically formulate other workspaces

Moth-inspired chemical plume tracing on an autonomous underwater vehicle

Abstract: This paper presents a behavior-based adaptive mission planner (AMP)to trace a chemical plume to its source and reliably declare the source location. The proposed AMP is implemented on a REMUS autonomous underwater vehicle (AUV)equipped with multiple types of sensors that measure chemical concentration,the flow velocity vector, and AUV position, depth, altitude, attitude, and speed. This paper describes the methods and results from experiments conducted in November 2002 on San Clemente Island, CA, using a plume of Rhodamine dye developed in a turbulent fluid flow (i.e., near-shore ocean conditions). These experiments demonstrated chemical plume tracing over 100 m and source declaration accuracy relative to the nominal source location on the order of tens of meters. The designed maneuvers are divided into four behavior types: finding a plume,tracing the plume, reacquiring the plume, and declaring the source location. The tracing and reacquiring behaviors are inspired by male moths flying up wind along a pheromone plume to locate a sexually receptive female. All behaviors are formulated by perception and action modules and translated into chemical plume-tracing algorithms suitable for implementation on a REMUS AUV. To coordinate the different behaviors, the subsumption architecture is adopted to define and arbitrate the behavior priorities. AUVs capable of such feats would have applicability in searching for environmentally interesting phenomena, unexploded ordnance, undersea wreckage, and sources of hazardous chemicals or pollutants.

Deployment of mobile robots with energy and timing constraints

Abstract: Mobile robots can be used in many applications, such as carpet cleaning, search and rescue, and exploration. Many studies have been devoted to the control, sensing, and communication of robots. However, the deployment of robots has not been fully addressed. The deployment problem is to determine the number of groups unloaded by a carrier, the number of robots in each group, and the initial locations of those robots. This paper investigates robot deployment for coverage tasks. Both timing and energy constraints are considered; the robots carry limited energy and need to finish the tasks before deadlines. We build power models for mobile robots and calculate the robots' power consumption at different speeds. A speed-management method is proposed to decide the traveling speeds to maximize the traveling distance under both energy and timing constraints. Our method uses rectangle scanlines as the coverage routes, and solves the deployment problem using fewer robots. Finally, we provide an approach to consider areas with random obstacles. Compared with two simple heuristics, our solution uses 36% fewer robots for open areas and 32% fewer robots for areas with obstacles.

On tracking performance in bilateral teleoperation

Abstract: This paper addresses the problem of steady-state position and force tracking in bilateral teleoperation. Passivity-based control schemes for bilateral teleoperation provide robust stability against network delays in the feedback loop and velocity tracking, but do not guarantee steady-state position and force tracking in general. Position drift due to data loss and offset of initial conditions is a well-known problem in such systems. In this paper, we introduce a new architecture, which builds upon the traditional passivity-based configuration by using additional position control on both the master and slave robots, to solve the steady-state position and force-tracking problem. Lyapunov stability methods are used to establish the range of the position control gains on the master and slave sides. Experimental results using a single-degree-of-freedom master/slave system are presented, showing the performance of the resulting system

Gravity-Balancing Leg Orthosis and Its Performance Evaluation

Abstract: In this paper, we propose a device to assist persons with hemiparesis to walk by reducing or eliminating the effects of gravity. The design of the device includes the following features: 1) it is passive, i.e., it does not include motors or actuators, but is only composed of links and springs; 2) it is safe and has a simple patient-machine interface to accommodate variability in geometry and inertia of the subjects. A number of methods have been proposed in the literature to gravity-balance a machine. Here, we use a hybrid method to achieve gravity balancing of a human leg over its range of motion. In the hybrid method, a mechanism is used to first locate the center of mass of the human limb and the orthosis. Springs are then added so that the system is gravity-balanced in every configuration. For a quantitative evaluation of the performance of the device, electromyographic (EMG) data of the key muscles, involved in the motion of the leg, were collected and analyzed. Further experiments involving leg-raising and walking tasks were performed, where data from encoders and force-torque sensors were used to compute joint torques. These experiments were performed on five healthy subjects and a stroke patient. The results showed that the EMG activity from the rectus femoris and hamstring muscles with the device was reduced by 75%, during static hip and knee flexion, respectively. For leg-raising tasks, the average torque for static positioning was reduced by 66.8% at the hip joint and 47.3% at the knee joint; however, if we include the transient portion of the leg-raising task, the average torque at the hip was reduced by 61.3%, and at the knee was increased by 2.7% at the knee joints. In the walking experiment, there was a positive impact on the range of movement at the hip and knee joints, especially for the stroke patient: the range of movement increased by 45% at the hip joint and by 85% at the knee joint. We believe that this orthosis can be potentially used to design rehabilitation protocols for patients with stroke

Path planning for deformable linear objects

Abstract: We present a new approach to path planning for deformable linear (one-dimensional) objects such as flexible wires. We introduce a method for efficiently computing stable configurations of a wire subject to manipulation constraints. These configurations correspond to minimal-energy curves. By restricting the planner to minimal-energy curves, the execution of a path becomes easier. Our curve representation is adaptive in the sense that the number of parameters automatically varies with the complexity of the underlying curve. We introduce a planner that computes paths from one minimal-energy curve to another such that all intermediate curves are also minimal-energy curves. This planner can be used as a powerful local planner in a sampling-based roadmap method. This makes it possible to compute a roadmap of the entire "shape space," which is not possible with previous approaches. Using a simplified model for obstacles, we can find minimal-energy curves of fixed length that pass through specified tangents at given control points. Our work has applications in cable routing, and motion planning for surgical suturing and snake-like robots

Kinematic Control of Platoons of Autonomous Vehicles

Abstract: In this paper, an approach to control the motion of a platoon of autonomous vehicles is presented. The proposed technique is based on the definition of suitable task functions that are handled in the framework of singularity-robust task-priority inverse kinematics. The algorithm is implemented by a two-stage control architecture such that intervehicle communication is not required. The effectiveness of the approach is investigated by means of numerical simulation case studies

Practical Kinematics for Real-Time Implementation of Continuum Robots

Abstract: This paper introduces three algorithms which are essential for the practical, real-time implementation of continuum robots. Continuum robots lack the joints and links which compose traditional and high-degree-of-freedom robots, instead relying on finite actuation mechanisms to shape the robot into a smooth curve. Actuator length limits shape the configuration or joint space of continuum manipulators, introducing couplings analyzed in this paper which must be understood to make effective use of continuum robot hardware. Based on the new understanding of the configuration space uncovered, this paper then derives the workspace of continuum robots when constrained by actuator length limits. Finally, a tangle/untangle algorithm correctly computes the shape of the distal segments of multisection tendon-actuated continuum robots. These contributions are essential for effective use of a wide range of continuum robots, and have been implemented and tested on two different types of continuum robots. Results and insight gained from this implementation are presented

Static analysis of cable-driven manipulators with non-negligible cable mass

Abstract: This paper addresses the static analysis of cable-driven robotic manipulators with non-negligible cable mass. An approach to computing the static displacement of a homogeneous elastic cable is presented. The resulting cable-displacement expression is used to solve the inverse kinematics of general cable-driven robotic manipulators. In addition, the sag-induced stiffness of the cables is derived. Finally, two sample robotic manipulators with dimensions and system parameters similar to a large scale cable-driven manipulator currently under development are analyzed. The results show that cable sag can have a significant effect on both the inverse kinematics and stiffness of such manipulators.

Macro-continuous computed torque algorithm for a three-dimensional eel-like robot

Abstract: This paper presents the dynamic modeling of a continuous three-dimensional swimming eel-like robot. The modeling approach is based on the "geometrically exact beam theory" and on that of Newton-Euler, as it is well known within the robotics community. The proposed algorithm allows us to compute the robot's Galilean movement and the control torques as a function of the expected internal deformation of the eel's body

Adaptive repetitive learning control of robotic manipulators without the requirement for initial repositioning

Abstract: This paper presents adaptive repetitive learning control for trajectory tracking of uncertain robotic manipulators. Through the introduction of a novel Lyapunov-like function, the proposed method only requires the system to start from where it stopped at the last cycle, and avoids the strict requirement for initial repositioning for all the cycles. In addition, it is more applicable, as it only requires the variables to be learned in an iteration-independent manner, rather than satisfying the periodicity requirement in a number of the conventional methods. With the adoption of fully saturated learning, all the signals in the closed loop are guaranteed to be bounded, and the iterative trajectories are proven to follow the profiles of desired trajectories over the entire operation interval. The effectiveness of the proposed method is shown through extensive numerical simulation results.

Metric-based iterative closest point scan matching for sensor displacement estimation

Abstract: This paper addresses the scan matching problem for mobile robot displacement estimation. The contribution is a new metric distance and all the tools necessary to be used within the iterative closest point framework. The metric distance is defined in the configuration space of the sensor, and takes into account both translation and rotation error of the sensor. The new scan matching technique ameliorates previous methods in terms of robustness, precision, convergence, and computational load. Furthermore, it has been extensively tested to validate and compare this technique with existing methods

Modeling and Control of a Small Autonomous Aircraft Having Two Tilting Rotors

Abstract: This paper presents recent work concerning a small tiltrotor aircraft with a reduced number of rotors. The design consists of two propellers which can tilt laterally and longitudinally. A model of the full birotor dynamics is provided, and a controller based on the backstepping procedure is synthesized for the purposes of stabilization and trajectory tracking. The proposed control strategy has been tested in simulation

Integration of saturated PI synchronous control and PD feedback for control of parallel manipulators

Abstract: High-precision motion of parallel manipulators depends not only on the position accuracy of each actuator, but also on the position synchronization of all actuators. This paper presents a simple synchronized control algorithm for the setpoint position control of parallel manipulators, by incorporating cross-coupling technology into a common proportional-derivative (PD) control architecture. An integrated controller is developed, consisting of a PD control and a saturated proportional-integral (S-PI) control with feedback of the differential position errors amongst actuators (defined as the synchronization errors). The controller can stabilize the motion of each actuator, and meanwhile synchronize all actuators' motions so that both position and synchronization errors converge to zero. The control algorithm does not use the modeling parameters in the controller formulation, and thus permits easy implementation in practice. It is proved that the proposed method can guarantee global asymptotical stability of the system. Experiments conducted on a planar three-degree-of-freedom parallel manipulator demonstrate the effectiveness of the proposed approach.

Homography-based visual servo tracking control of a wheeled mobile robot

Abstract: A visual servo tracking controller is developed in this paper for a monocular camera system mounted on an underactuated wheeled mobile robot (WMR) subject to nonholonomic motion constraints (i.e., the camera-in-hand problem). A prerecorded image sequence (e.g., a video) of three target points is used to define a desired trajectory for the WMR. By comparing the target points from a stationary reference image with the corresponding target points in the live image and the prerecorded sequence of images, projective geometric relationships are exploited to construct Euclidean homographies. The information obtained by decomposing the Euclidean homography is used to develop a kinematic controller. A Lyapunov-based analysis is used to develop an adaptive update law to actively compensate for the lack of depth information required for the translation error system. Experimental results are provided to demonstrate the control design.

Approaches for a tether-guided landing of an autonomous helicopter

Abstract: In this paper, we address the design of an autopilot for autonomous landing of a helicopter on a rocking ship, due to rough sea. A tether is used for landing and securing a helicopter to the deck of the ship in rough weather. A detailed nonlinear dynamic model for the helicopter is used. This model is underactuated, where the rotational motion couples into the translation. This property is used to design controllers which separate the time scales of rotation and translation. It is shown that the tether tension can be used to couple the translation of the helicopter to the rotation. Two controllers are proposed in this paper. In the first, the rotation time scale is chosen much shorter than the translation, and the rotation reference signals are created to achieve a desired controlled behavior of the translation. In the second, due to coupling of the translation of the helicopter to the rotation through the tether, the translation reference rates are created to achieve a desired controlled behavior of the attitude and altitude. Controller A is proposed for use when the helicopter is far away from the goal, while Controller B is for the case when the helicopter is close to the ship. The proposed control schemes are proved to be robust to the tracking error of its internal loop and results in local exponential stability. The performance of the control system is demonstrated by computer simulations. Currently, work is in progress to implement the algorithm using an instrumented model of a helicopter with a tether.