arXiv ScienceSearch

arXiv subjects

W. P. M. H.

Publications and source records attributed to W. P. M. H..

4 recordsLinked to original sources

Robust stabilization with spiking neuronal communication

Neuromorphic engineering develops hardware and software systems inspired by biological neurons, with the goal of achieving energy-efficient, low-latency, robust, and adaptive computation, communication and control. Its potential impact on systems and control is significant, as it may enable novel approaches to control and estimation by leveraging brain-inspired computation and communication principles. In this context, we present a framework for the robust stabilization of a plant subject to disturbances when the communication between noisy sensors and the controller relies on spiking signals generated by neuron-inspired schemes. The communication scheme consists of a spike encoder on the sensors side, which is based on integrate-and-fire neurons that convert the analog plant output measurement into a spiking signal, and a spike decoder on the controller side inspired by synaptic processing to convert the received spiking signal into an analog signal. We provide design conditions on the spike decoder, the spike encoder as well as on the controller under which the closed-loop system exhibits a practical input-to-state stability property, where the adjustable parameters are the amplitudes of the spikes. The results are shown to be applicable to a class of nonlinear systems as well as to any stabilizable and detectable linear time-invariant system. Numerical simulations on a single-link manipulator illustrate the potential of the approach.

eess.SY

Emulation-based Neuromorphic Control for the Stabilization of LTI Systems

Neuromorphic engineering aims at designing computing and control systems inspired by the neurons and the brain. For the control community, neuromorphic control is an emerging topic that focuses on designing event-based spiking controllers in the form of spiking neural networks (SNNs). At present, systematic methods for designing and analyzing such controllers are lacking. Therefore in this paper we present a systematic approach for stabilizing linear time-invariant (LTI) systems using SNN-based controllers, in the form of a network of integrate-and-fire neurons, whose input is the measured output from the plant, and which generate spiking control signals. The new approach consists of a two-step emulation-based design procedure. In the first step, we establish conditions on the neuron parameters to ensure that the spiky signal generated by a pair of neurons emulates any continuous-time signal input to the neurons with arbitrary accuracy in terms of a special metric for spiky signals. In the second step, we propose a novel stability notion, called spiky-Input-to-State Stability (sISS) building on this metric, and prove that an asymptotically stable LTI system has this sISS property. By combining these steps, a certifiable practical stability property of the closed-loop system can be established. The approach is illustrated in a numerical case study.

eess.SY

Estimation of Dynamic Gaussian Processes

Gaussian processes provide a compact representation for modeling and estimating an unknown function, that can be updated as new measurements of the function are obtained. This paper extends this powerful framework to the case where the unknown function dynamically changes over time. Specifically, we assume that the function evolves according to an integro-difference equation and that the measurements are obtained locally in a spatial sense. In this setting, we will provide the expressions for the conditional mean and covariance of the process given the measurements, which results in a generalized estimation framework, for which we coined the term Dynamic Gaussian Process (DGP) estimation. This new framework generalizes both Gaussian process regression and Kalman filtering. For a broad class of kernels, described by a set of basis functions, fast implementations are provided. We illustrate the results on a numerical example, demonstrating that the method can accurately estimate an evolving continuous function, even in the presence of noisy measurements and disturbances.

eess.SY

Urgency-aware Optimal Routing in Repeated Games through Artificial Currencies

When people choose routes minimizing their individual delay, the aggregate congestion can be much higher compared to that experienced by a centrally-imposed routing. Yet centralized routing is incompatible with the presence of self-interested agents. How can we reconcile the two? In this paper we address this question within a repeated game framework and propose a fair incentive mechanism based on artificial currencies that routes selfish agents in a system-optimal fashion, while accounting for their temporal preferences. We instantiate the framework in a parallel-network whereby agents commute repeatedly (e.g., daily) from a common start node to the end node. Thereafter, we focus on the specific two-arcs case whereby, based on an artificial currency, the agents are charged when traveling on the first, fast arc, whilst they are rewarded when traveling on the second, slower arc. We assume the agents to be rational and model their choices through a game where each agent aims at minimizing a combination of today's discomfort, weighted by their urgency, and the average discomfort encountered for the rest of the period (e.g., a week). We show that, if prices of artificial currencies are judiciously chosen, the routing pattern converges to a system-optimal solution, while accommodating the agents' urgency. We complement our study through numerical simulations. Our results show that it is possible to achieve a system-optimal solution whilst reducing the agents' perceived discomfort by 14-20% when compared to a centralized optimal but urgency-unaware policy.

eess.SY