arXiv subjects

Daniel Fullmer

Publications and source records attributed to Daniel Fullmer.

4 recordsLinked to original sources

arXiv2019

Distributed Feedback Control of Multi-Channel Linear Systems

In this paper it is established that any jointly controllable, jointly observable, multi-channel, discrete or continuous time linear system with a strongly connected neighbor (communication) graph can be exponentially stabilized with any pre-specified convergence rate using a time-invariant distributed linear control. As an illustration of how this finding can be used to deal with certain distributed tracking problems, a solution is given to a distributed set-point control problem for a continuous-time, multi-channel linear system in which each and every agent with access to the system is able to independently adjust its scalar-valued, controlled output to any desired set-point value. To better understand the constraints on controller design, the distributed control problem is recast as a classical decentralized control problem. Armed with the tools of decentralized control, including the notion of a "fixed spectrum", it is possible to show quite surprisingly that if the only information each agent is allowed to share with its neighbors is its measured output, then distributed stabilization in some cases is impossible. Using well-known decentralized control concepts, lower bounds are derived on the dimensions of the shared sub-states of local controllers which, if satisfied, guarantee that there will be no fixed closed-loop system eigenvalues to contend with. The decentralized control perspective also enables one to assert that without imposing a partitioning constraint, the closed-loop spectrum of any jointly controllable, jointly observable multi-channel linear system with a strongly connected neighbor graph, can be freely assigned with distributed feedback control. It is also explained why in the face of finite delays, exponential stabilization at any prescribed convergence rate can still be achieved with distributed control, at least for discrete-time multi-channel linear systems.

eess.SY↗

arXiv2018

Analysis of Difficulty Control in Bitcoin and Proof-of-Work Blockchains

This paper presents a stochastic model for block arrival times based on the difficulty retargeting rule used in Bitcoin, as well as other proof-of-work blockchains. Unlike some previous work, this paper explicitly models the difficulty target as a random variable which is a function of the previous block arrival times and affecting the block times in the next retargeting period. An explicit marginal distribution is derived for the time between successive blocks (the blocktime), while allowing for randomly changing difficulty. This paper also aims to serve as an introduction to Bitcoin and proof-of-work blockchains for the controls community, focusing on the difficulty retargeting procedure used in Bitcoin.

cs.CR↗

arXiv2017

A Distributed Algorithm for Computing a Common Fixed Point of a Finite Family of Paracontractions

A distributed algorithm is described for finding a common fixed point of a family of m>1 nonlinear maps M_i : R^n -> R^n assuming that each map is a paracontraction and that at least one such common fixed point exists. The common fixed point is simultaneously computed by m agents assuming each agent i knows only M_i, the current estimates of the fixed point generated by its neighbors, and nothing more. Each agent recursively updates its estimate of a fixed point by utilizing the current estimates generated by each of its neighbors. Neighbor relations are characterized by a time-varying directed graph N(t). It is shown under suitably general conditions on N(t), that the algorithm causes all agents estimates to converge to the same common fixed point of the m nonlinear maps.

math.OC↗

arXiv2016

A Distributed Algorithm for Computing a Common Fixed Point of a Family of Paracontractions

A distributed algorithm is described for finding a common fixed point of a family of $m>1$ nonlinear maps $M_i : \mathbb{R}^n \rightarrow \mathbb{R}^n$ assuming that each map is a paracontraction and that such a common fixed point exists. The common fixed point is simultaneously computed by $m$ agents assuming each agent $i$ knows only $M_i$, the current estimates of the fixed point generated by its neighbors, and nothing more. Each agent recursively updates its estimate of the fixed point by utilizing the current estimates generated by each of its neighbors. Neighbor relations are characterized by a time-dependent directed graph $\mathbb{N}(t)$ whose vertices correspond to agents and whose arcs depict neighbor relations. It is shown that for any family of paracontractions $M_i, i \in \{1,2,\ldots,m\}$ which has at least one common fixed point, and any sequence of strongly connected neighbor graphs $\mathbb{N}(t)$, $t=1,2,\ldots$, the algorithm causes all agent estimates to converge to a common fixed point.

math.OC↗