Haptic perception allows to explore and recognize an object by conveying several physical information to mechano-receptors and thermo-receptors lying into our skin throughout the body. The term
This paper addresses the clock synchronization problem in a wireless sensor network (WSN) and proposes a distributed solution that consists of a form of consensus, where agents are able to exchange data representing intervals or sets. The solution is based on a centralized algorithm for clock synchronization, proposed by Marzullo, that determines the smallest interval that is in common with the maximum number of measured interval. We first show how to convert such an algorithm into a problem involving only operations on sets, and then we convert it into a set
In this paper we study the convergence towards consensus on information in a distributed system of agents communicating over a network. The particularity of this study is that the information on which the consensus is seeked is not represented by real numbers, rather by logical values or compact sets. Whereas the problems of allowing a network of agents to reach a consensus on logical functions of input events, and that of agreeing on set-valued information, have been separately addressed in previous work, in this paper we show that these problems can indeed be attacked in a unified way in the framework of Boolean distributed information systems. Based on a notion of contractivity for Boolean dynamical systems, a necessary and suficient condition ensuring the global convergence toward a unique equilibrium point is presented. This result can be seen as a first step toward the denition of a unified framework to uniformly address all consensus problems on Boolean algebras.
We analyze the robustness properties of a recently introduced strategy for stabilization with limited information. We show that if the nominal closed-loop system can be made Input-to-State Stable (ISS) with respect to measurement errors, parameter uncertainty and exogenous disturbances then this robustness is preserved when only limited information is available on the plant. More precisely, if a sufficiently bandwidth is available on the communication network, then the resulting closed-loop is semiglobally practically ISS.
Variable Stiffness Actuation (VSA) devices are being used to jointly address the issues of safety and performance in physical human-robot interaction. With reference to the VSA-II prototype, we present a feedback linearization approach that allows the simultaneous decoupling and accurate tracking of motion and stiffness reference profiles. The operative condition that avoids control singularities is characterized. Moreover, a momentum-based collision detection scheme is introduced, which does not require joint torque sensing nor information on the time-varying stiffness of the device. Based on the residual signal, a collision reaction strategy is proposed that takes advantage of the proposed nonlinear control to rapidly let the arm bounce away after detecting the impact, while limiting contact forces through a sudden reduction of the stiffness. Simulations results are presented to illustrate the performance of the overall approach. Extensions to the multi-dof case of robot manipulators equipped with VSA-II devices are also considered.
This paper presents a complete characterization of shortest paths for unicycle-like nonholonomic mobile robots equipped with a pinhole camera rigidly fixed with limited Field-Of-View (FOV). We preliminarily provide an alphabet of optimal control words and then we demonstrate how to obtain the partition induced by shortest path in the vehicle plane. The word univocally associated to a region encodes the shortest path from any starting point in that region to the goal point of the mobile robot without violating the FOV constraints.
The task of performing trustworthy computation in a network of autonomous agents in the presence of misbehaving components is the subject of this work. A solution to this problem is relevant for several coordination, formation, and synchronization tasks. Relying only on the information flow of the control protocol, uncooperative behaviors are revealed using an unknown input observer technique. Necessary and sufficient conditions to detect and correctly identify misbehaving nodes are given, together with a study of the genericity of such conditions. It is shown that generically any node of the network can correctly estimate the state of the other agents, and therefore compute any function of the state, provided that the connectivity of the communication graph is strictly greater than the number of misbehaving nodes. An intrusion detection and identification algorithm is described, and its effectiveness is confirmed through a numerical study.
Notes
General Chairs Recognition Awards for Interactive Papers
In this paper we present a methodology for designing embedded controllers with a variable accuracy. The adopted paradigm is the so called any-time control, which derives from the computing paradigm known as "imprecise computation". The most relevant contributions of the paper are a procedure for designing an incremental control law, whose different pieces cater for increasingly aggressive control requirements, and a modelling technique for the execution platform that allows us to design provably correct switching policies for the controllers. The methodology is validated by both simulations and experimental results.
In this paper we discuss the problem of achieving good performance in accuracy and promptness by a robot manipulator under the condition that safety is guaranteed throughout task execution. Intuitively, while a rigid and powerful structure of the arm would favor its performance, lightweight compliant structures are more suitable for safe operation. The quantitative analysis of the resulting design trade-off between safety and performance has a strong impact on how robot mechanisms and controllers should be designed for human-interactive applications. We discuss few different possible concepts for safely actuating joints, and focus on aspects related to the implementation of the mechanics and control of this new class of robots.
