This paper considers the problem of implementing a previously proposed distributed direct coupling quantum observer for a closed linear quantum system. By modifying the form of the previously proposed observer, the paper proposes a possible experimental implementation of the observer plant system using a non-degenerate parametric amplifier and a chain of optical cavities which are coupled together via optical interconnections. It is shown that the distributed observer converges to a consensus in a time averaged sense in which an output of each element of the observer estimates the specified output of the quantum plant.

This paper studies an electricity market consisting of an independent system operator (ISO) and a group of generators. The goal is to solve the DC optimal power flow (DC-OPF) problem: have the generators collectively meet the power demand while minimizing the aggregate generation cost and respecting line flow limits in the network. The ISO by itself cannot solve the DC-OPF problem as generators are strategic and do not share their cost functions. Instead, each generator submits to the ISO a bid, consisting of the price per unit of electricity at which it is willing to provide power. Based on the bids, the ISO decides how much production to allocate to each generator to minimize the total payment while meeting the load and satisfying the line limits. We provide a provably correct, decentralized iterative scheme, termed BID ADJUSTMENT ALGORITHM, for the resulting Bertrand competition game. Regarding convergence, we show that the algorithm takes the generators' bids to any desired neighborhood of the efficient Nash equilibrium at a linear convergence rate. As a consequence, the optimal production of the generators converges to the optimizer of the DC-OPF problem. Regarding robustness, we show that the algorithm is robust to affine perturbations in the bid adjustment scheme and that there is no incentive for any individual generator to deviate from the algorithm by using an alternative bid update scheme. We also establish the algorithm robustness to collusion, i.e., we show that, as long as each bus with generation has a generator following the strategy, there is no incentive for any group of generators to share information with the intent of tricking the system to obtain a higher payoff. Simulations illustrate our results.

Feb 22 2017

cs.SY arXiv:1702.06445v1

The performance of a noisy linear time-invariant (LTI) plant, controlled over a noiseless digital channel with transmission delay, is investigated in this paper. The rate-limited channel connects the single measurement output of the plant to its single control input through a causal, but otherwise arbitrary, coder-controller pair. An infomation-theoretic approach is utilized to analyze the minimal average data rate required to attain the quadratic performance when the channel imposes a known constant delay on the transmitted data. This infimum average data rate is shown to be lower bounded by minimizing the directed information rate across a set of LTI filters and an additive white Gaussian noise (AWGN) channel. It is demonstrated that the presence of time delay in the channel increases the data rate needed to achieve a certain level of performance. The applicability of the results is verified through a numerical example. In particular, we show by simulations that when the optimal filters are used but the AWGN channel (used in the lower bound) is replaced by a simple scalar uniform quantizer, the resulting operational data rates are at most around 0.3 bits above the lower bounds.

A method is devised for numerically solving a class of finite-horizon optimal control problems subject to cascade linear discrete-time dynamics. It is assumed that the linear state and input inequality constraints, and the quadratic measure of performance, are all separable with respect to the spatial dimension of the underlying cascade of sub-systems, as well as the temporal dimension of the dynamics. By virtue of this structure, the computation cost of an interior-point method for an equivalent quadratic programming formulation of the optimal control problem can be made to scale linearly with the number of sub-systems. However, the complexity of this approach grows cubically with the time horizon. As such, computational advantage becomes apparent in situations where the number of sub-systems is relatively large. In any case, the method is amenable to distributed computation with low communication overhead and only immediate upstream neighbour sharing of partial model data among processing agents. An example is presented to illustrate an application of the main results to model data for the cascade dynamics of an automated irrigation channel.

Feb 22 2017

cs.SY arXiv:1702.06285v1

This paper proposes a distributed consensus algorithm for linear event-based heterogeneous multi-agent systems (MAS). The proposed scheme is event-triggered in the sense that an agent selectively transmits its information within its local neighbourhood based on a directed network topology under the fulfillment of certain conditions. Using the Lyapunov stability theorem, the system constraints and event-triggering condition are expressed in terms of several linear matrix inequalities (LMIs) to derive the consensus parameters. The objective is to design the transmission threshold and minimum-norm heterogeneous control gains which collectively ensure an exponential consensus convergence rate for the closed-loop systems. The LMI computed control gains are robust to uncertainty with some deviation from their nominal values allowed. The practicability of the proposed event-based framework is further studied by proving the Zeno behaviour exclusion. Numerical simulations quantify the advantages of our event-triggered consensus approach in second-order, linear and heterogeneous multi-agent systems.

Feb 22 2017

cs.SY arXiv:1702.06265v1

In this paper, we investigate the task-space consensus problem for multiple robotic systems with both the uncertain kinematics and dynamics in the case of existence of constant communication delays. We propose an observer-based adaptive controller to achieve the manipulable consensus without relying on the measurement of task-space velocities, and also formalize the concept of manipulability to quantify the degree of adjustability of the consensus value. The proposed new control scheme employs a new distributed observer that does not rely on the joint velocity, and a new kinematic parameter adaptation law with a distributed adaptive kinematic regressor matrix that is driven by both the observation and consensus errors. In addition, it is shown that the proposed controller has the separation property, which yields an adaptive kinematic controller that is applicable to most industrial/commercial robots. The performance of the proposed observer-based adaptive schemes are shown by numerical simulations.

Feb 22 2017

cs.SY arXiv:1702.06250v1

We consider the problem of finding optimal parameters under simulation optimization setup. For a $p$-dimensional parameter optimization, the classical Kiefer-Wolfowitz Finite Difference Stochastic Approximation (FDSA) scheme uses $p+1$ or $2p$ simulations of the system feedback for one-sided and two-sided gradient estimates respectively. The dependence on the dimension $p$ makes FDSA impractical for high dimensional problems. An alternative approach for gradient estimation in high dimensional problems is the simultaneous perturbation technique that appears in [1],[2]. The main idea in this approach is to estimate the gradient by using only two settings of the $p$-dimensional parameter being optimized. The two settings of the parameter are obtained by simultaneously perturbing all the components of the parameter by adding a random direction. A drawback of using random directions for the gradient estimate is the very large or possibly infinite range of these random directions (for e.g. $\pm 1$ symmetric Bernoulli perturbations typically used in 1SPSA algorithm has a range of cardinality $2^p$ ). In this article we consider deterministic perturbations with a range of cardinality $p+1$ to improve the convergence of these algorithms. A novel construction of deterministic perturbations based on specially chosen circulant matrix is proposed. Convergence analysis of the proposed algorithms is presented along with numerical experiments.

In this paper, a novel scheme for synchronizing four drive and four response systems is proposed by the authors. The idea of multi switching and dual combination synchronization is extended to dual combination-combination multi switching synchronization involving eight chaotic systems and is a first of its kind. Due to the multiple combination of chaotic systems and multi switching the resultant dynamic behaviour is so complex that, in communication theory, transmission and security of the resultant signal is more effective. Using Lyapunov stability theory, sufficient conditions are achieved and suitable controllers are designed to realise the desired synchronization. Corresponding theoretical analysis is presented and numerical simulations performed to demonstrate the effectiveness of the proposed scheme.