arXiv subjects

Karl H. Johansson

Publications and source records attributed to Karl H. Johansson.

At least 235 records · Page 13Linked to original sources

arXiv2019

Distributed Online Convex Optimization with Time-Varying Coupled Inequality Constraints

This paper considers distributed online optimization with time-varying coupled inequality constraints. The global objective function is composed of local convex cost and regularization functions and the coupled constraint function is the sum of local convex functions. A distributed online primal-dual dynamic mirror descent algorithm is proposed to solve this problem, where the local cost, regularization, and constraint functions are held privately and revealed only after each time slot. Without assuming Slater's condition, we first derive regret and constraint violation bounds for the algorithm and show how they depend on the stepsize sequences, the accumulated dynamic variation of the comparator sequence, the number of agents, and the network connectivity. As a result, under some natural decreasing stepsize sequences, we prove that the algorithm achieves sublinear dynamic regret and constraint violation if the accumulated dynamic variation of the optimal sequence also grows sublinearly. We also prove that the algorithm achieves sublinear static regret and constraint violation under mild conditions. Assuming Slater's condition, we show that the algorithm achieves smaller bounds on the constraint violation. In addition, smaller bounds on the static regret are achieved when the objective function is strongly convex. Finally, numerical simulations are provided to illustrate the effectiveness of the theoretical results.

math.OC↗

arXiv2019

Event-Triggered Control for Consensus of Multi-Agent Systems with Nonlinear Output and Directed Topologies

We propose a distributed event-triggered control law to solve the consensus problem for multi-agent systems with nonlinear output. Under the condition that the underlying digraph is strongly connected, we propose some sufficient conditions related to the nonlinear output function and initial states to guarantee that the event-triggered controller realizes consensus. Then the results are extended to the case where the underlying directed graph contains a directed spanning tree. These theoretical results are illustrated by numerical simulations.

eess.SY↗

arXiv2019

Stochastic phase-cohesiveness of discrete-time Kuramoto oscillators in a frequency-dependent tree network

This paper presents the notion of stochastic phase-cohesiveness based on the concept of recurrent Markov chains and studies the conditions under which a discrete-time stochastic Kuramoto model is phase-cohesive. It is assumed that the exogenous frequencies of the oscillators are combined with random variables representing uncertainties. A bidirectional tree network is considered such that each oscillator is coupled to its neighbors with a coupling law which depends on its own noisy exogenous frequency. In addition, an undirected tree network is studied. For both cases, a sufficient condition for the common coupling strength and a necessary condition for the sampling-period are derived such that the stochastic phase-cohesiveness is achieved. The analysis is performed within the stochastic systems framework and validated by means of numerical simulations.

eess.SY↗

arXiv2019

Multi-agent deployment under the leader displacement measurement: a PDE-based approach

We study the deployment of a first-order multi-agent system over a desired smooth curve in 3D space. We assume that the agents have access to the local information of the desired curve and their displacements with respect to their closest neighbors, whereas in addition a leader is able to measure his absolute displacement with respect to the desired curve. In this paper we consider the case that the desired curve is a closed C^2 curve and we assume that the leader transmit his measurement to other agents through a communication network. We start the algorithm with displacement-based formation control protocol. Connections from this ODE model to a PDE model (heat equation), which can be seen as a reduced model, are then established. The resulting closed-loop system is modeled as a heat equation with delay (due to the communication). The boundary condition is periodic since the desired curve is closed. By choosing appropriate controller gains (the diffusion coefficient and the gain multiplying the leader state), we can achieve any desired decay rate provided the delay is small enough. The advantage of our approach is in the simplicity of the control law and the conditions. Numerical example illustrates the efficiency of the method.

math.OC↗

arXiv2019

Contracts as specifications for dynamical systems in driving variable form

This paper introduces assume/guarantee contracts on continuous-time control systems, hereby extending contract theories for discrete systems to certain new model classes and specifications. Contracts are regarded as formal characterizations of control specifications, providing an alternative to specifications in terms of dissipativity properties or set-invariance. The framework has the potential to capture a richer class of specifications more suitable for complex engineering systems. The proposed contracts are supported by results that enable the verification of contract implementation and the comparison of contracts. These results are illustrated by an example of a vehicle following system.

eess.SY↗

arXiv2019

Cooperative decentralized circumnavigation with application to algal bloom tracking

Harmful algal blooms occur frequently and deteriorate water quality. A reliable method is proposed in this paper to track algal blooms using a set of autonomous surface robots. A satellite image indicates the existence and initial location of the algal bloom for the deployment of the robot system. The algal bloom area is approximated by a circle with time varying location and size. This circle is estimated and circumnavigated by the robots which are able to locally sense its boundary. A multi-agent control algorithm is proposed for the continuous monitoring of the dynamic evolution of the algal bloom. Such algorithm comprises of a decentralized least squares estimation of the target and a controller for circumnavigation. We prove the convergence of the robots to the circle and in equally spaced positions around it. Simulation results with data provided by the SINMOD ocean model are used to illustrate the theoretical results.

cs.RO↗

arXiv2018

Stochastic Control with Stale Information--Part I: Fully Observable Systems

In this study, we adopt age of information as a measure of the staleness of information, and take initial steps towards analyzing the control performance of stochastic systems with stale information. Our goals are to cast light on a fundamental limit on the information staleness that is required for a certain level of the control performance and to specify the corresponding stalest information pattern. In the asymptotic regime, such a limit asserts a critical information staleness that is required for stabilization. We achieve these goals by formulating the problem as a stochastic optimization problem and characterizing the associated optimal solutions. These solutions are in fact a control policy, which specifies the control inputs of the plant, and a queuing policy, which specifies the staleness of information at the controller.

cs.IT↗

arXiv2018

Multi-agent formation control for circumnavigation of dynamic shapes

The problem of multi-agent formation control for target tracking is considered in this paper. The target is an irregular dynamic shape approximated by a circle with moving centre and varying radius. It is assumed that there are n agents and one of them is capable of measuring both the distance to the boundary of the target and to its centre. All the agents must circumnavigate the boundary of the target while forming a regular polygon. We also consider a satellite capable of providing an initial noisy estimate of the target. A control protocol is designed for all agents and the convergence to the desired state is proved up to a limit bound. A simulated example is provided to verify the performance of the control protocol designed in this paper.

math.OC↗

arXiv2018

Steady-state Analysis of a Neural-cognition Based Human-social Behavior Model

We consider an extension of the Rescorla-Wagner model which bridges the gap between conditioning and learning on a neural-cognitive, individual psychological level, and the social population level. In this model, the interaction among individuals is captured by a Markov process. The resulting human-social behavior model is a recurrent iterated function systems which behaves differently from the classical Rescorla-Wagner model due to randomness. Convergence and ergodicity properties of the internal states of agents in the proposed model are studied.

math.OC↗

arXiv2018

Distributed Optimization for Second-Order Multi-Agent Systems with Dynamic Event-Triggered Communication

In this paper, we propose a fully distributed algorithm for second-order continuous-time multi-agent systems to solve the distributed optimization problem. The global objective function is a sum of private cost functions associated with the individual agents and the interaction between agents is described by a weighted undirected graph. We show the exponential convergence of the proposed algorithm if the underlying graph is connected, each private cost function is locally gradient-Lipschitz-continuous, and the global objective function is restricted strongly convex with respect to the global minimizer. Moreover, to reduce the overall need of communication, we then propose a dynamic event-triggered communication mechanism that is free of Zeno behavior. It is shown that the exponential convergence is achieved if the private cost functions are also globally gradient-Lipschitz-continuous. Numerical simulations are provided to illustrate the effectiveness of the theoretical results.

math.OC↗

arXiv2018

Privacy-aware Minimum Error Probability Estimation: An Entropy Constrained Approach

This paper studies the design of an optimal privacyaware estimator of a public random variable based on noisy measurements which contain private information. The public random variable carries non-private information, however, its estimate will be correlated with the private information due to the estimation process. It is assumed that the estimate of the public random variable is revealed to an untrusted party. The objective is to design an estimator for the public random variable such that the leakage of the private information, via the estimation process, is kept below a certain level. The privacy metric is defined as the discrete conditional entropy of the private random variable, which carries the private information, given the output of the estimator. A binary loss function is considered for the estimation of the public random variable. It is shown that the optimal privacy-aware estimator is the solution of a (possibly infinite-dimensional) convex optimization problem. We next study the optimal perfect privacy estimator which ensures that the estimate of the public random variable is independent of the private information. A necessary and sufficient condition is derived which guarantees that an estimator satisfies the perfect privacy requirement. It is shown that the optimal perfect privacy estimator is the solution of a linear optimization problem. A sufficient condition for the existence of the optimal perfect privacy estimator is derived when the estimator has access to discretized measurements of sensors.

math.OC↗

arXiv2018

Optimal Weight Allocation of Dynamic Distribution Networks and Positive Semi-definiteness of Signed Laplacians

In this paper, we consider the robustness of a basic model of a dynamical distribution network. In the first problem, i.e., optimal weight allocation, we minimize the H-inf- norm of the dynamical distribution network subject to allocation of the weights on the edges. It is shown that this optimization problem can be formulated as a semi-definite program. Next we consider the semi-definiteness of the weighted graph Laplacian matrix with negative weights on the edges. A necessary and sufficient condition, using the effective resistance matrix, is established to guarantee the positive semi-definiteness of the Laplacian matrix. Furthermore, the bounded real lemma is derived for state-space symmetric systems.

math.OC↗

arXiv2018

Privacy of Information Sharing Schemes in a Cloud-based Multi-sensor Estimation Problem

In this paper, we consider a multi-sensor estimation problem wherein each sensor collects noisy information about its local process, which is only observed by that sensor, and a common process, which is simultaneously observed by all sensors. The objective is to assess the privacy level of (the local process of) each sensor while the common process is estimated using cloud computing technology. The privacy level of a sensor is defined as the conditional entropy of its local process given the shared information with the cloud. Two information sharing schemes are considered: a local scheme, and a global scheme. Under the local scheme, each sensor estimates the common process based on its the measurement and transmits its estimate to a cloud. Under the global scheme, the cloud receives the sum of sensors' measurements. It is shown that, in the local scheme, the privacy level of each sensor is always above a certain level which is characterized using Shannon's mutual information. It is also proved that this result becomes tight as the number of sensors increases. We also show that the global scheme is asymptotically private, i.e., the privacy loss of the global scheme decreases to zero at the rate of O(1/M) where M is the number of sensors.

math.OC↗

arXiv2018

The interconnection of quadratic droop voltage controllers is a Lotka-Volterra system: implications for stability analysis

This paper studies the stability of voltage dynamics for a power network in which nodal voltages are controlled by means of quadratic droop controllers with nonlinear AC reactive power as inputs. We show that the voltage dynamics is a Lotka-Volterra system, which is a class of nonlinear positive systems. We study the stability of the closed-loop system by proving a uniform ultimate boundedness result and investigating conditions under which the network is cooperative. We then restrict to study the stability of voltage dynamics under a decoupling assumption (i.e., zero relative angles). We analyze the existence and uniqueness of the equilibrium in the interior of the positive orthant for the system and prove an asymptotic stability result.

eess.SY↗

arXiv2017

Asymptotic and finite-time almost global attitude tracking: representations free approach

In this paper, the attitude tracking problem is considered using the rotation matrices. Due to the inherent topological restriction, it is impossible to achieve global attractivity with any continuous attitude control system on $SO(3)$. Hence in this work, we propose some control protocols achieve almost global tracking asymptotically and in finite time, respectively. In these protocols, no world frame is needed and only relative state informations are requested. For finite-time tracking case, Filippov solutions and non-smooth analysis techniques are adopted to handle the discontinuities. Simulation examples are provided to verify the performances of the control protocols designed in this paper.

math.OC↗

arXiv2017

Optimization of the $H_\infty$-norm of Dynamic Flow Networks

In this paper, we study the $H_\infty$-norm of linear systems over graphs, which is used to model distribution networks. In particular, we aim to minimize the $H_\infty$-norm subject to allocation of the weights on the edges. The optimization problem is formulated with LMI (Linear-Matrix-Inequality) constraints. For distribution networks with one port, i.e., SISO systems, we show that the $H_\infty$-norm coincides with the effective resistance between the nodes in the port. Moreover, we derive an upper bound of the $H_\infty$-norm, which is in terms of the algebraic connectivity of the graph on which the distribution network is defined.

math.OC↗

arXiv2017

Coherence in Synchronizing Power Networks with Distributed Integral Control

We consider frequency control of synchronous generator networks and study transient performance under both primary and secondary frequency control. We model random step changes in power loads and evaluate performance in terms of expected deviations from a synchronous frequency over the synchronization transient; what can be thought of as lack of frequency coherence. We compare a standard droop control strategy to two secondary proportional integral (PI) controllers: centralized averaging PI control (CAPI) and dis- tributed averaging PI control (DAPI). We show that the performance of a power system with DAPI control is always superior to that of a CAPI controlled system, which in turn has the same transient performance as standard droop control. Furthermore, for a large class of network graphs, performance scales unfavorably with network size with CAPI and droop control, which is not the case with DAPI control. We discuss optimal tuning of the DAPI controller and describe how inter- nodal alignment of the integral states affects performance. Our results are demonstrated through simulations of the Nordic power grid.

math.OC↗

arXiv2017

Integration of Information Patterns in the Modeling and Design of Mobility Management Services

Over the last decade, the rise of the mobile internet and the usage of mobile devices has enabled ubiquitous traffic information. With the increased adoption of specific smartphone applications, the number of users of routing applications has become large enough to disrupt traffic flow patterns in a significant manner. Similarly, but at a slightly slower pace, novel services for freight transportation and city logistics improve the efficiency of goods transportation and change the use of road infrastructure. The present article provides a general four-layer framework for modeling these new trends. The main motivation behind the development is to provide a unifying formal system description that can at the same time encompass system physics (flow and motion of vehicles) as well as coordination strategies under various information and cooperation structures. To showcase the framework, we apply it to the specific challenge of modeling and analyzing the integration of routing applications in today's transportation systems. In this framework, at the lowest layer (flow dynamics) we distinguish app users from non-app users. A distributed parameter model based on a non-local partial differential equation is introduced and analyzed. The second layer incorporates connected services (e.g., routing) and other applications used to optimize the local performance of the system. As inputs to those applications, we propose a third layer introducing the incentive design and global objectives, which are typically varying over the day depending on road and weather conditions, external events etc. The high-level planning is handled on the fourth layer taking social long-term objectives into account.

eess.SY↗