Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry

This paper proposes a mixed validation approach based on coloured Petri nets and 3D graphic simulation for the design of supervisory systems in manufacturing cells with multiple robots. The coloured Petri net is used to model the cell behaviour at a high level of abstraction. It models the activities of each cell component and its coordination by a supervisory system. The graphical simulation is used to analyse and validate the cell behaviour in a 3D environment, allowing the detection of collisions and the calculation of process times. The motivation for this work comes from the aeronautic industry. The automation of a fuselage assembly process requires the integration of robots with other cell components such as metrological or vision systems. In this cell, the robot trajectories are defined by the supervisory system and results from the coordination of the cell components. The paper presents the application of the approach for an aircraft assembly cell under integration in Brazil. This case study shows the feasibility of the approach and supports the discussion of its main advantages and limits. (C) 2011 Elsevier Ltd. All rights reserved.

A rational protocol for the successful crystallization of l-amino-acid oxidase from Bothrops atrox

Despite the valuable contributions of robotics and high-throughput approaches to protein crystallization, the role of an experienced crystallographer in the evaluation and rationalization of a crystallization process is still crucial to obtaining crystals suitable for X-ray diffraction measurements. In this work, the difficult task of crystallizing the flavoenzyme l-amino-acid oxidase purified from Bothrops atrox snake venom was overcome by the development of a protocol that first required the identification of a non-amorphous precipitate as a promising crystallization condition followed by the implementation of a methodology that combined crystallization in the presence of oil and seeding techniques. Crystals were obtained and a complete data set was collected to 2.3 A resolution. The crystals belonged to space group P2(1), with unit-cell parameters a = 73.64, b = 123.92, c = 105.08 A, beta = 96.03 degrees. There were four protein subunits in the asymmetric unit, which gave a Matthews coefficient V (M) of 2.12 A3 Da-1, corresponding to 42% solvent content. The structure has been solved by molecular-replacement techniques.

Robot measuring form errors

This work presents an automated system for the measurement of form errors of mechanical components using an industrial robot. A three-probe error separation technique was employed to allow decoupling between the measured form error and errors introduced by the robotic system. A mathematical model of the measuring system was developed to provide inspection results by means of the solution of a system of linear equations. A new self-calibration procedure, which employs redundant data from several runs, minimizes the influence of probes zero-adjustment on the final result. Experimental tests applied to the measurement of straightness errors of mechanical components were accomplished and demonstrated the effectiveness of the employed methodology. (C) 2007 Elsevier Ltd. All rights reserved.

Modeling, control and experimental validation of a novel actuator based on shape memory alloys

The paper presents the development of a mechanical actuator using a shape memory alloy with a cooling system based on the thermoelectric effect (Seebeck-Peltier effect). Such a method has the advantage of reduced weight and requires a simpler control strategy as compared to other forced cooling systems. A complete mathematical model of the actuator was derived, and an experimental prototype was implemented. Several experiments are used to validate the model and to identify all parameters. A robust and nonlinear controller, based on sliding-mode theory, was derived and implemented. Experiments were used to evaluate the actuator closed-loop performance, stability, and robustness properties. The results showed that the proposed cooling system and controller are able to improve the dynamic response of the actuator. (C) 2009 Elsevier Ltd. All rights reserved.

Experimental results on the nonlinear H(infinity) control via quasi-LPV representation and game theory for wheeled mobile robots

In this paper, nonlinear dynamic equations of a wheeled mobile robot are described in the state-space form where the parameters are part of the state (angular velocities of the wheels). This representation, known as quasi-linear parameter varying, is useful for control designs based on nonlinear H(infinity) approaches. Two nonlinear H(infinity) controllers that guarantee induced L(2)-norm, between input (disturbances) and output signals, bounded by an attenuation level gamma, are used to control a wheeled mobile robot. These controllers are solved via linear matrix inequalities and algebraic Riccati equation. Experimental results are presented, with a comparative study among these robust control strategies and the standard computed torque, plus proportional-derivative, controller.

A Fault-Tolerant Manipulator Robot Based on H(2), H(infinity), and Mixed H(2)/H(infinity) Markovian Controls

This paper develops a Markovian jump model to describe the fault occurrence in a manipulator robot of three joints. This model includes the changes of operation points and the probability that a fault occurs in an actuator. After a fault, the robot works as a manipulator with free joints. Based on the developed model, a comparative study among three Markovian controllers, H(2), H(infinity), and mixed H(2)/H(infinity) is presented, applied in an actual manipulator robot subject to one and two consecutive faults.

Influence of Modified Posterior Reconstruction of the Rhabdosphincter on Early Recovery of Continence and Anastomotic Leakage Rates after Robot-Assisted Radical Prostatectomy

Background: Posterior reconstruction (PR) of the rhabdosphincter has been previously described during retropubic radical prostatectomy, and shorter times to return of urinary continence were reported using this technical modification. This technique has also been applied during robot-assisted radical prostatectomy (RARP); however, contradictory results have been reported. Objective: We describe here a modified technique for PR of the rhabdosphincter during RARP and report its impact on early recovery of urinary continence and on cystographic leakage rates. Design, setting, and participants: We analyzed 803 consecutive patients who underwent RARP by a single surgeon over a 12-mo period: 330 without performing PR and 473 with PR. Surgical procedure: The reconstruction was performed using two 6-in 3-0 Poliglecaprone sutures tied together. The free edge of the remaining Denonvillier`s fascia was identified after prostatectomy and approximated to the posterior aspect of the rhabdosphincter and the posterior median raphe using one arm of the continuous suture. The second layer of the reconstruction was then performed with the other arm of the suture, approximating the posterior lip of the bladder neck and vesicoprostatic muscle to the posterior urethral edge. Measurements: Continence rates were assessed with a self-administrated, validated questionnaire (Expanded Prostate Cancer Index Composite) at 1, 4, 12, and 24 wk after catheter removal. Continence was defined as the use of ""no absorbent pads."" Cystogram was performed in all patients on postoperative day 4 or 5 before catheter removal. Results and limitations: There was no significant difference between the groups with respect to patient age, body mass index, prostate-specific antigen levels, prostate weight, American Urological Association symptom score, estimated blood loss, operative time, number of nerve-sparing procedures, and days with catheter. In the PR group, the continence rates at 1, 4, 12, and 24 wk postoperatively were 22.7%, 42.7%, 91.8%, and 96.3%, respectively; in the non-PR group, the continence rates were 28.7%, 51.6%, 91.1%, and 97%, respectively. The modified PR technique resulted in significantly higher continence rates at 1 and 4 wk after catheter removal (p = 0.048 and 0.016, respectively), although the continence rates at 12 and 24 wk were not significantly affected (p = 0.908 and p = 0.741, respectively). The median interval to recovery of continence was also statistically significantly shorter in the PR group (median: 4 wk; 95% confidence interval [CI]: 3.39-4.61) when compared to the non-PR group (median: 6 wk; 95% CI: 5.18-6.82; log-rank test, p = 0.037). Finally, the incidence of cystographic leaks was lower in the PR group (0.4% vs 2.1%; p = 0.036). Although the patients` baseline characteristics were similar between the groups, the patients were not preoperatively randomized and unknown confounding factors may have influenced the results. Conclusions: Our modified PR combines the benefits of early recovery of continence reported with the original PR technique with a reinforced watertight closure of the posterior anastomotic wall. Shorter interval to recovery of continence and lower incidence of cystographic leaks were demonstrated with our PR technique when compared to RARP with no reconstruction. (C) 2010 European Association of Urology. Published by Elsevier B.V. All rights reserved.

Robotic Surgery: History and Teaching Impact

Context: The purpose of this article is to review the history of robotic surgery, its impact on teaching as well as a description of historical and current robots used in the medical arena. Summary of evidence: Although the history of robots dates back to 2000 years or more, the last two decades have seen an outstanding revolution in medicine, due to all the changes that robotic surgery has made in the way of performing, teaching and practicing surgery. Conclusions: Robotic surgery has evolved into a complete and self-contained field, with enormous potential for future development. The results to date have shown that this technology is capable of providing good outcomes and quality care for patients. (C) 2011 AEU. Published by Elsevier Espana, S.L. All rights reserved.

Learning of shared attention in sociable robotics

Sociable robots are embodied agents that are part of a heterogeneous society of robots and humans. They Should be able to recognize human beings and each other, and to engage in social, interactions. The use of a robotic architecture may strongly reduce the time and effort required to construct a sociable robot. Such architecture must have structures and mechanisms to allow social interaction. behavior control and learning from environment. Learning processes described oil Science of Behavior Analysis may lead to the development of promising methods and Structures for constructing robots able to behave socially and learn through interactions from the environment by a process of contingency learning. In this paper, we present a robotic architecture inspired from Behavior Analysis. Methods and structures of the proposed architecture, including a hybrid knowledge representation. are presented and discussed. The architecture has been evaluated in the context of a nontrivial real problem: the learning of the shared attention, employing an interactive robotic head. The learning capabilities of this architecture have been analyzed by observing the robot interacting with the human and the environment. The obtained results show that the robotic architecture is able to produce appropriate behavior and to learn from social interaction. (C) 2009 Elsevier Inc. All rights reserved.

A Parallel Hardware Architecture for Scale and Rotation Invariant Feature Detection

This paper proposes a parallel hardware architecture for image feature detection based on the Scale Invariant Feature Transform algorithm and applied to the Simultaneous Localization And Mapping problem. The work also proposes specific hardware optimizations considered fundamental to embed such a robotic control system on-a-chip. The proposed architecture is completely stand-alone; it reads the input data directly from a CMOS image sensor and provides the results via a field-programmable gate array coupled to an embedded processor. The results may either be used directly in an on-chip application or accessed through an Ethernet connection. The system is able to detect features up to 30 frames per second (320 x 240 pixels) and has accuracy similar to a PC-based implementation. The achieved system performance is at least one order of magnitude better than a PC-based solution, a result achieved by investigating the impact of several hardware-orientated optimizations oil performance, area and accuracy.