Distributed Delay-Tolerant Strategies for Equality-Constraint Sum-Preserving Resource Allocation

This paper proposes two nonlinear dynamics to solve constrained distributed optimization problem for resource allocation over a multi-agent network. In this setup, coupling constraint refers to resource-demand balance which is preserved at all-times. The proposed solutions can address various model nonlinearities, for example, due to quantization and/or saturation. Further, it allows to reach faster convergence or to robustify the solution against impulsive noise or uncertainties. We prove convergence over weakly connected networks using convex analysis and Lyapunov theory. Our findings show that convergence can be reached for general sign-preserving odd nonlinearity. We further propose delay-tolerant mechanisms to handle general bounded heterogeneous time-varying delays over the communication network of agents while preserving all-time feasibility. This work finds application in CPU scheduling and coverage control among others. This paper advances the state-of-the-art by addressing (i) possible nonlinearity on the agents/links, meanwhile handling (ii) resource-demand feasibility at all times, (iii) uniform-connectivity instead of all-time connectivity, and (iv) possible heterogeneous and time-varying delays. To our best knowledge, no existing work addresses contributions (i)-(iv) altogether. Simulations and comparative analysis are provided to corroborate our contributions

FeedNetBack - D03.01 - Control Subject to Transmission Constraints, No Transmission Errors

This is a Deliverable Report for the FeedNetBack project (www.feednetback.eu). It describes the research performed within Work Package 3, Task 3.1 (Control Subject to Transmission Constraints, no Transmission Errors), in the first 35 months of the project. It targets the issue of control subject to transmission constraints with no transmission error. This research concerns problems arising from the presence of a communication channel (specified and modeled at the physical layer) within the control loop. The resulting constraints include finite capacities in the transmission of the sensor and/or actuator signals. Our focus is on designing new quantization, compression and coding techniques to support networked control in this scenario. A first contribution of this report is a new adaptive differential coding algorithm for systems controlled through a digital noiseless channel with limited channel rate. The proposed technique results in global stability for noiseless MIMO systems, with a data-rate which is known to be the minimal required (as assessed by information-theoretical limits known in the literature as 'data-rate theorem'). With respect to existing algorithms, our scheme improves the transient behavior. A second line of research for the noiseless scenario has addressed the effect of limited data-rate in an algorithm running over a network. As a representative example, the consensus algorithm has been analyzed, and in particular its randomized version known as gossip algorithm. Static quantizers have been considered at first (both deterministic and probabilistic) and then the dynamic adaptive quantizers have been introduced also in this setting

FeedNetBack - D03.02 - Control Subject to Transmission Constraints, With Transmission Errors

This is a Deliverable Report for the FeedNetBack project (www.feednetback.eu). It describes the research performed within Work Package 3, Task 3.2 (Control Subject to Transmission Constraints, with Transmission Errors), in the first 36 months of the project. It targets the issue of control subject to transmission constraints with transmission error. This research concerns problems arising from the presence of a noisy communication channel (specified and modeled at the physical layer) within the control loop. The resulting constraints include finite capacities in the transmission of the sensor and/or actuator signals and transmission errors. Our focus is on designing new compression and coding techniques to support networked control in this scenario. This Deliverable extends the analysis provided in the companion Deliverable D03.01, to deal with the effects of noise in communication channel. The quantization schemes described in D03.01, in particular the adaptive ones, might be very sensitive to the presence of even a few errors. Indeed error-correction coding for estimation or control purposes cannot simply exploit classical coding theory and practice, where vanishing error probability is obtained only in the limit of infinite block-length. A first contribution reported in this Deliverable is the construction of families of codes having the any-time property required in this setting, and the analysis of the trade-off between code complexity and performance. Our results consider the binary erasure channel, and can be extended to more general binary-input output-symmetric memoryless channels. The second and third contributions reported in this deliverable deal with the problem of remotely stabilizing linear time invariant (LTI) systems over Gaussian channels. Specifically, in the second contribution we consider a single LTI system which has to be stabilized by remote controller using a network of sensors having average transmit power constraints. We study basic sensor network topologies and provide necessary and sufficient conditions for mean square stabilization. Then in the third contribution, we extend our study to two LTI systems which are to be simultaneously stabilized. In this regard, we study the interesting setups of joint and separate sensing and control. By joint sensing we mean that there exists a common sensor node to simultaneously transmit the sensed state processes of the two plants and by joint control we mean that there is a common controller for both plants. We name these setups as: i) control over multiple-access channel (separate sensors, joint controller setup), ii) control over broadcast channel (common sensor, separate controllers setup), and iii) control over interference channel (separate sensors, separate controllers). We propose to use delay-free linear schemes for these setups and thus obtain sufficient conditions for mean square stabilization. Then, we discuss the joint design of the encoder and the controller. We propose an iterative design procedure for a joint design of the sensor measurement quantization, channel error protection, and controller actuation, with the objective to minimize the expected linear quadratic cost over a finite horizon. Finally, the same as for the noiseless case, we address the issues that arise when not only one plant and one controller are communicating through a channel, but there is a whole network of sensors and actuators. We consider the effects of digital noisy channels on the consensus algorithm, and we present an algorithm which exploits the any-time codes discussed above

Connecting the Speed-Accuracy Trade-Offs in Sensorimotor Control and Neurophysiology Reveals Diversity Sweet Spots in Layered Control Architectures

Nervous systems sense, communicate, compute, and actuate movement using distributed components with trade-offs in speed, accuracy, sparsity, noise, and saturation. Nevertheless, the resulting control can achieve remarkably fast, accurate, and robust performance due to a highly effective layered control architecture. However, this architecture has received little attention from the existing research. This is in part because of the lack of theory that connects speed-accuracy trade-offs (SATs) in the components neurophysiology with system-level sensorimotor control and characterizes the overall system performance when different layers (planning vs. reflex layer) act work jointly. In thesis, we present a theoretical framework that provides a synthetic perspective of both levels and layers. We then use this framework to clarify the properties of effective layered architectures and explain why there exists extreme diversity across layers (planning vs. reflex layers) and within levels (sensorimotor versus neural/muscle hardware levels). The framework characterizes how the sensorimotor SATs are constrained by the component SATs of neurons communicating with spikes and their sensory and muscle endpoints, in both stochastic and deterministic models. The theoretical predictions are also verified using driving experiments. Our results lead to a novel concept, termed ``diversity sweet spots (DSSs)'': the appropriate diversity in the properties of neurons and muscles across layers and within levels help create systems that are both fast and accurate despite being built from components that are individually slow or inaccurate. At the component level, this concept explains why there are extreme heterogeneities in the neural or muscle composition. At the system level, DSSs explain the benefits of layering to allow extreme heterogeneities in speed and accuracy in different sensorimotor loops. Similar issues and properties also extend down to the cellular level in biology and outward to our most advanced network technologies from smart grid to the Internet of Things. We present our initial step in expanding our framework to that area and widely-open area of research for future direction

Parallel processing of streaming media on heterogeneous hosts using work stealing

Master'sMASTER OF SCIENC

Novel Processing and Transmission Techniques Leveraging Edge Computing for Smart Health Systems

L'abstract è presente nell'allegato / the abstract is in the attachmen