A differential-based parallel force/velocity actuation concept : theory and experiments

textRobots are now moving from their conventional confined habitats such as factory floors to human environments where they assist and physically interact with people. The requirement for inherent mechanical safety is overarching in such human-robot interaction systems. We propose a dual actuator called Parallel Force/Velocity Actuator (PFVA) that combines a Force Actuator (FA) (low velocity input) and a Velocity Actuator (VA) (high velocity input) using a differential gear train. In this arrangement mechanical safety can be achieved by limiting the torque on the FA and thus making it a backdriveable input. In addition, the kinematic redundancy in the drive can be used to control output velocity while satisfying secondary operational objectives. Our research focus was on three areas: (i) scalable parametric design of the PFVA, (ii) analytical modeling of the PFVA and experimental testing on a single-joint prototype, and (iii) generalized model formulation for PFVA-driven serial robot manipulators. In our analysis, the ratio of velocity ratios between the FA and the VA, called the relative scale factor, emerged as a purely geometric and dominant design parameter. Based on a dimensionless parametric design of PFVAs using power-flow and load distributions between the inputs, a prototype was designed and built using commercial-off-the-shelf components. Using controlled experiments, two performance-limiting phenomena in our prototype, friction and dynamic coupling between the two inputs, were identified. Two other experiments were conducted to characterize the operational performance of the actuator in velocity-mode and in what we call ‘torque-limited’ mode (i.e. when the FA input can be backdriven). Our theoretical and experimental results showed that the PFVA can be mechanical safe to both slow collisions and impacts due to the backdriveability of the FA. Also, we show that its kinematic redundancy can be effectively utilized to mitigate low-velocity friction and backlash in geared mechanisms. The implication at the system level of our actuator level analytical and experimental work was studied using a generalized dynamic modeling framework based on kinematic influence coefficients. Based on this dynamic model, three design case studies for a PFVA-driven serial planar 3R manipulator were presented. The major contributions of this research include (i) mathematical models and physical understanding for over six fundamental design and operational parameters of the PFVA, based on which approximately ten design and five operational guidelines were laid out, (ii) analytical and experimental proof-of-concept for the mechanical safety feature of the PFVA and the effective utilization of its kinematic redundancy, (iii) an experimental methodology to characterize the dynamic coupling between the inputs in a differential-summing mechanism, and (iv) a generalized dynamic model formulation for PFVA-driven serial robot manipulators with emphasis on distribution of output loads between the FA and VA input-sets.Mechanical Engineerin

On cost-effective reuse of components in the design of complex reconfigurable systems

Design strategies that benefit from the reuse of system components can reduce costs while maintaining or increasing dependability—we use the term dependability to tie together reliability and availability. D3H2 (aDaptive Dependable Design for systems with Homogeneous and Heterogeneous redundancies) is a methodology that supports the design of complex systems with a focus on reconfiguration and component reuse. D3H2 systematizes the identification of heterogeneous redundancies and optimizes the design of fault detection and reconfiguration mechanisms, by enabling the analysis of design alternatives with respect to dependability and cost. In this paper, we extend D3H2 for application to repairable systems. The method is extended with analysis capabilities allowing dependability assessment of complex reconfigurable systems. Analysed scenarios include time-dependencies between failure events and the corresponding reconfiguration actions. We demonstrate how D3H2 can support decisions about fault detection and reconfiguration that seek to improve dependability while reducing costs via application to a realistic railway case study

Formalization and Validation of Safety-Critical Requirements

The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, the research on formal methods for requirements validation is not yet mature. The main obstacles are that, on the one hand, the correctness of requirements is not formally defined; on the other hand that the formalization and the validation of the requirements usually demands a strong involvement of domain experts. We report on a methodology and a series of techniques that we developed for the formalization and validation of high-level requirements for safety-critical applications. The main ingredients are a very expressive formal language and automatic satisfiability procedures. The language combines first-order, temporal, and hybrid logic. The satisfiability procedures are based on model checking and satisfiability modulo theory. We applied this technology within an industrial project to the validation of railways requirements

A review of key planning and scheduling in the rail industry in Europe and UK

Planning and scheduling activities within the rail industry have benefited from developments in computer-based simulation and modelling techniques over the last 25 years. Increasingly, the use of computational intelligence in such tasks is featuring more heavily in research publications. This paper examines a number of common rail-based planning and scheduling activities and how they benefit from five broad technology approaches. Summary tables of papers are provided relating to rail planning and scheduling activities and to the use of expert and decision systems in the rail industry.EPSR

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an abstract testing of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). Such a process is usually performed by hand for each installation of the control system, requiring a considerable time effort and being an error prone verification activity. To automate a safe passage from abstract tests, related to the so called generic software application, to any specific installation, an algorithm is provided, starting from a reference architecture and a state-based behavioural model of the control software. The presented approach has been applied to a railway interlocking system, demonstrating its feasibility and effectiveness in several years of testing experience

Adaptive Signal Processing Strategy for a Wind Farm System Fault Accommodation

In order to improve the availability of offshore wind farms, thus avoiding unplanned operation and maintenance costs, which can be high for offshore installations, the accommodation of faults in their earlier occurrence is fundamental. This paper addresses the design of an active fault tolerant control scheme that is applied to a wind park benchmark of nine wind turbines, based on their nonlinear models, as well as the wind and interactions between the wind turbines in the wind farm. Note that, due to the structure of the system and its control strategy, it can be considered as a fault tolerant cooperative control problem of an autonomous plant. The controller accommodation scheme provides the on-line estimate of the fault signals generated by nonlinear filters exploiting the nonlinear geometric approach to obtain estimates decoupled from both model uncertainty and the interactions among the turbines. This paper proposes also a data-driven approach to provide these disturbance terms in analytical forms, which are subsequently used for designing the nonlinear filters for fault estimation. This feature of the work, followed by the simpler solution relying on a data-driven approach, can represent the key point when on-line implementations are considered for a viable application of the proposed scheme