Resilient Learning-Based Control for Synchronization of Passive Multi-Agent Systems under Attack

In this paper, we show synchronization for a group of output passive agents that communicate with each other according to an underlying communication graph to achieve a common goal. We propose a distributed event-triggered control framework that will guarantee synchronization and considerably decrease the required communication load on the band-limited network. We define a general Byzantine attack on the event-triggered multi-agent network system and characterize its negative effects on synchronization. The Byzantine agents are capable of intelligently falsifying their data and manipulating the underlying communication graph by altering their respective control feedback weights. We introduce a decentralized detection framework and analyze its steady-state and transient performances. We propose a way of identifying individual Byzantine neighbors and a learning-based method of estimating the attack parameters. Lastly, we propose learning-based control approaches to mitigate the negative effects of the adversarial attack

Design of an Elastic Actuation System for a Gait-Assistive Active Orthosis for Incomplete Spinal Cord Injured Subjects

A spinal cord injury severely reduces the quality of life of affected people. Following the injury, limitations of the ability to move may occur due to the disruption of the motor and sensory functions of the nervous system depending on the severity of the lesion. An active stance-control knee-ankle-foot orthosis was developed and tested in earlier works to aid incomplete SCI subjects by increasing their mobility and independence. This thesis aims at the incorporation of elastic actuation into the active orthosis to utilise advantages of the compliant system regarding efficiency and human-robot interaction as well as the reproduction of the phyisological compliance of the human joints. Therefore, a model-based procedure is adapted to the design of an elastic actuation system for a gait-assisitve active orthosis. A determination of the optimal structure and parameters is undertaken via optimisation of models representing compliant actuators with increasing level of detail. The minimisation of the energy calculated from the positive amount of power or from the absolute power of the actuator generating one human-like gait cycle yields an optimal series stiffness, which is similar to the physiological stiffness of the human knee during the stance phase. Including efficiency factors for components, especially the consideration of the electric model of an electric motor yields additional information. A human-like gait cycle contains high torque and low velocities in the stance phase and lower torque combined with high velocities during the swing. Hence, the efficiency of an electric motor with a gear unit is only high in one of the phases. This yields a conceptual design of a series elastic actuator with locking of the actuator position during the stance phase. The locked position combined with the series compliance allows a reproduction of the characteristics of the human gait cycle during the stance phase. Unlocking the actuator position for the swing phase enables the selection of an optimal gear ratio to maximise the recuperable energy. To evaluate the developed concept, a laboratory specimen based on an electric motor, a harmonic drive gearbox, a torsional series spring and an electromagnetic brake is designed and appropriate components are selected. A control strategy, based on impedance control, is investigated and extended with a finite state machine to activate the locking mechanism. The control scheme and the laboratory specimen are implemented at a test bench, modelling the foot and shank as a pendulum articulated at the knee. An identification of parameters yields high and nonlinear friction as a problem of the system, which reduces the energy efficiency of the system and requires appropriate compensation. A comparison between direct and elastic actuation shows similar results for both systems at the test bench, showing that the increased complexity due to the second degree of freedom and the elastic behaviour of the actuator is treated properly. The final proof of concept requires the implementation at the active orthosis to emulate uncertainties and variations occurring during the human gait

Task-Driven Estimation and Control via Information Bottlenecks

Our goal is to develop a principled and general algorithmic framework for task-driven estimation and control for robotic systems. State-of-the-art approaches for controlling robotic systems typically rely heavily on accurately estimating the full state of the robot (e.g., a running robot might estimate joint angles and velocities, torso state, and position relative to a goal). However, full state representations are often excessively rich for the specific task at hand and can lead to significant computational inefficiency and brittleness to errors in state estimation. In contrast, we present an approach that eschews such rich representations and seeks to create task-driven representations. The key technical insight is to leverage the theory of information bottlenecks}to formalize the notion of a "task-driven representation" in terms of information theoretic quantities that measure the minimality of a representation. We propose novel iterative algorithms for automatically synthesizing (offline) a task-driven representation (given in terms of a set of task-relevant variables (TRVs)) and a performant control policy that is a function of the TRVs. We present online algorithms for estimating the TRVs in order to apply the control policy. We demonstrate that our approach results in significant robustness to unmodeled measurement uncertainty both theoretically and via thorough simulation experiments including a spring-loaded inverted pendulum running to a goal location.Comment: 9 pages, 4 figures, abridged version accepted to ICRA2019; Incorporates changes in final conference submissio

Compact and accurate models of large single-wall carbon-nanotube interconnects

Single-wall carbon nanotubes (SWCNTs) have been proposed for very large scale integration interconnect applications and their modeling is carried out using the multiconductor transmission line (MTL) formulation. Their time-domain analysis has some simulation issues related to the high number of SWCNTs within each bundle, which results in a highly complex model and loss of accuracy in the case of long interconnects. In recent years, several techniques have been proposed to reduce the complexity of the model whose accuracy decreases as the interconnection length increases. This paper presents a rigorous new technique to generate accurate reduced-order models of large SWCNT interconnects. The frequency response of the MTL is computed by using the spectral form of the dyadic Green's function of the 1-D propagation problem and the model complexity is reduced using rational-model identification techniques. The proposed approach is validated by numerical results involving hundreds of SWCNTs, which confirm its capability of reducing the complexity of the model, while preserving accuracy over a wide frequency range

Parametric macromodeling of lossy and dispersive multiconductor transmission lines

We propose an innovative parametric macromodeling technique for lossy and dispersive multiconductor transmission lines (MTLs) that can be used for interconnect modeling. It is based on a recently developed method for the analysis of lossy and dispersive MTLs extended by using the multivariate orthonormal vector fitting (MOVF) technique to build parametric macromodels in a rational form. They take into account design parameters, such as geometrical layout or substrate features, in addition to frequency. The presented technique is suited to generate state-space models and synthesize equivalent circuits, which can be easily embedded into conventional SPICE-like solvers. Parametric macromodels allow to perform design space exploration, design optimization, and sensitivity analysis efficiently. Numerical examples validate the proposed approach in both frequency and time domain