Searcharxiv⌕ Search

arXiv subjects

Bahman Gharesifard

Publications and source records attributed to Bahman Gharesifard.

At least 55 records · Page 3Linked to original sources

Structural averaged controllability of linear ensemble systems

In the paper, we introduce and address the problem of structural averaged controllability for linear ensemble systems. We provide examples highlighting the differences between this problem and others. In particular, we show that structural averaged controllability is strictly weaker than structural controllability for single (or ensembles of) linear systems. We establish a set of necessary or sufficient conditions for sparsity patterns to be structurally averaged controllable.

math.OC↗

Hybrid Event-Triggered and Impulsive Control for Time-Delay Systems

In this paper, we study the problem of hybrid event-triggered control for a class of nonlinear time-delay systems. Using a Razumikhin-type input-to-state stability result for time-delay systems, we design an event-triggered control algorithm to stabilize the given time-delay system. In order to exclude Zeno behavior, we combine the impulsive control mechanism with our event-triggered strategy. In this sense, the proposed algorithm is a hybrid impulsive and event-triggered strategy. Sufficient conditions for the stabilization of the nonlinear systems with time delay are obtained by using Lyapunov method and Razumikhin technique. Numerical simulations are provided to show the effectiveness of our theoretical results.

eess.SY↗

Least $k$th-Order and Rényi Generative Adversarial Networks

We investigate the use of parametrized families of information-theoretic measures to generalize the loss functions of generative adversarial networks (GANs) with the objective of improving performance. A new generator loss function, called least $k$th-order GAN (L$k$GAN), is first introduced, generalizing the least squares GANs (LSGANs) by using a $k$th order absolute error distortion measure with $k \geq 1$ (which recovers the LSGAN loss function when $k=2$). It is shown that minimizing this generalized loss function under an (unconstrained) optimal discriminator is equivalent to minimizing the $k$th-order Pearson-Vajda divergence. Another novel GAN generator loss function is next proposed in terms of Rényi cross-entropy functionals with order $α>0$, $α\neq 1$. It is demonstrated that this Rényi-centric generalized loss function, which provably reduces to the original GAN loss function as $α\to1$, preserves the equilibrium point satisfied by the original GAN based on the Jensen-Rényi divergence, a natural extension of the Jensen-Shannon divergence. Experimental results indicate that the proposed loss functions, applied to the MNIST and CelebA datasets, under both DCGAN and StyleGAN architectures, confer performance benefits by virtue of the extra degrees of freedom provided by the parameters $k$ and $α$, respectively. More specifically, experiments show improvements with regard to the quality of the generated images as measured by the Fréchet Inception Distance (FID) score and training stability. While it was applied to GANs in this study, the proposed approach is generic and can be used in other applications of information theory to deep learning, e.g., the issues of fairness or privacy in artificial intelligence.

cs.LG↗

An Iterative Riccati Algorithm for Online Linear Quadratic Control

An online policy learning problem of linear control systems is studied. In this problem, the control system is known and linear, and a sequence of quadratic cost functions is revealed to the controller in hindsight, and the controller updates its policy to achieve a sublinear regret, similar to online optimization. A modified online Riccati algorithm is introduced that under some boundedness assumption leads to logarithmic regret bound. In particular, the logarithmic regret for the scalar case is achieved without boundedness assumption. Our algorithm, while achieving a better regret bound, also has reduced complexity compared to earlier algorithms which rely on solving semi-definite programs at each stage.

math.OC↗

Rate of Convergence for Distributed Optimization with Uncertain Communications

We consider the distributed optimization problem for the sum of convex functions where the underlying communications network connecting agents at each time is drawn at random from a collection of directed graphs. Building on an earlier work [15], where a modified version of the subgradient-push algorithm is shown to be almost surely convergent to an optimizer on sequences of random directed graphs, we find an upper bound of the order of $\sim O(\frac{1}{\sqrt{t}})$ on the convergence rate of our proposed algorithm, establishing the first convergence bound in such random settings.

math.OC↗

Initialization and Curing Policies for Polya Contagion Networks

This paper investigates optimization policies for resource distribution in network epidemics using a model that derives from the classical Polya process. The basic mechanics of this model, called the Polya network contagion process, are based on a modified urn sampling scheme that accounts for both temporal and spatial contagion between neighbouring nodes in a network. We present various infection metrics and use them to develop two problems: one which takes place upon initialization and one which occurs continually as the Polya network process develops. We frame these problems as resource allocation problems with fixed budgets, and analyze a suite of potential policies. Due to the complexity of these problems, we introduce effective proxy measures for the average infection rate in each case. We also prove that the two-sided infection-curing game on the so-called expected network exposure admits a Nash equilibrium. In both the curing and initialization scenarios, we introduce heuristic policies that primarily function on the basis of limiting the number of targeted nodes within a particular network setup. Simulations are run for mid-to-large scale networks to compare performance of our heuristics to provably convergent gradient descent algorithms run on the simplified proxy measures.

math.OC↗

Distinguished Sets of Semi-simple Lie Algebras

We call a finite, spanning set of a semi-simple real Lie algebra a distinguished set if it satisfies the following property: The Lie bracket of any two elements out of the set is, up to some constant, another element in the set; conversely, for any element in the set, there are two elements out of the set whose Lie bracket is, up to some constant, the given element. We show in the paper that every semi-simple real Lie algebra has a distinguished set.

math.RA↗

Infection-Curing Games over Polya Contagion Networks

We investigate infection-curing games on a network epidemics model based on the classical Polya urn scheme that accounts for spatial contagion among neighbouring nodes. We first consider the zero-sum game between competing agents using the cost measure for the average infection in the network. Due to the complexity of this problem we define a game on a proxy measure given by the so-called expected network exposure, and prove the existence of a Nash equilibrium that can be determined numerically using gradient descent algorithms. Finally, a number of simulations are performed on small test networks to provide empirical evidence that a Nash equilibrium exists for games defined on the average network infection.

math.OC↗

A Lie bracket approximation approach to distributed optimization over directed graphs

We consider a group of computation units trying to cooperatively solve a distributed optimization problem with shared linear equality and inequality constraints. Assuming that the computation units are communicating over a network whose topology is described by a time-invariant directed graph, by combining saddle-point dynamics with Lie bracket approximation techniques we derive a methodology that allows to design distributed continuous-time optimization algorithms that solve this problem under minimal assumptions on the graph topology as well as on the structure of the constraints. We discuss several extensions as well as special cases in which the proposed procedure becomes particularly simple.

math.OC↗

Controllability of coupled parabolic systems with multiple underactuations: parts I and II

This work studies the null controllability of a system of coupled parabolic PDEs. In particular, our work specializes to an important subclass of these control problems which are coupled by first and zero-order couplings and are, additionally, underactuated. We pose our control problem in a fairly new framework which divides the problem into interconnected parts: we refer to the first part as the analytic control problem, where we use slightly non-classical techniques to prove null controllability by means of internal controls appearing on every equation; we refer to the second part as the algebraic control problem, where we use an algebraic method to invert a linear partial differential operator that describes our system; this allows us to recover null controllability by means of internal controls which appear on only a few of the equations. We establish a null controllability result for the original problem by solving these control problems concurrently.

math.OC↗

On the Lie bracket approximation approach to distributed optimization: Extensions and limitations

We consider the problem of solving a smooth convex optimization problem with equality and inequality constraints in a distributed fashion. Assuming that we have a group of agents available capable of communicating over a communication network described by a time-invariant directed graph, we derive distributed continuous-time agent dynamics that ensure convergence to a neighborhood of the optimal solution of the optimization problem. Following the ideas introduced in our previous work, we combine saddle-point dynamics with Lie bracket approximation techniques. While the methodology was previously limited to linear constraints and objective functions given by a sum of strictly convex separable functions, we extend these result here and show that it applies to a very general class of optimization problems under mild assumptions on the communication topology.

math.OC↗

A Polya Contagion Model for Networks

A network epidemics model based on the classical Polya urn scheme is investigated. Temporal contagion processes are generated on the network nodes using a modified Polya sampling scheme that accounts for spatial infection among neighbouring nodes. The stochastic properties and the asymptotic behaviour of the resulting network contagion process are analyzed. Unlike the classical Polya process, the network process is noted to be non-stationary in general, although it is shown to be time-invariant in its first and some of its second-order statistics and to satisfy martingale convergence properties under certain conditions. Three classical Polya processes, one computational and two analytical, are proposed to statistically approximate the contagion process of each node, showing a good fit for a range of system parameters. Finally, empirical results compare and contrast our model with the well-known discrete time SIS model.

cs.SI↗

Curing Epidemics on Networks using a Polya Contagion Model

We study the curing of epidemics of a network contagion, which is modelled using a variation of the classical Polya urn process that takes into account spatial infection among neighbouring nodes. We introduce several quantities for measuring the overall infection in the network and use them to formulate an optimal control problem for minimizing the average infection rate using limited curing resources. We prove the feasibility of this problem under high curing budgets by deriving conservative lower bounds on the amount of curing per node that turns our measures of network infection into supermartingales. We also provide a provably convergent gradient descent algorithm to find the allocation of curing under limited budgets. Motivated by the fact that this strategy is computationally expensive, we design a suit of heuristic methods that are locally implementable and nearly as effective. Extensive simulations run on largescale networks demonstrate the effectiveness of our proposed strategies.

math.OC↗

Push-sum on random graphs

In this paper, we study the problem of achieving average consensus over a random time-varying sequence of directed graphs by extending the class of so-called push-sum algorithms to such random scenarios. Provided that an ergodicity notion, which we term the directed infinite flow property, holds and the auxiliary states of agents are uniformly bounded away from zero infinitely often, we prove the almost sure convergence of the evolutions of this class of algorithms to the average of initial states. Moreover, for a random sequence of graphs generated using a time-varying B-irreducible probability matrix, we establish convergence rates for the proposed push-sum algorithm.

math.OC↗

Distributed Submodular Maximization with Limited Information

We consider a class of distributed submodular maximization problems in which each agent must choose a single strategy from its strategy set. The global objective is to maximize a submodular function of the strategies chosen by each agent. When choosing a strategy, each agent has access to only a limited number of other agents' choices. For each of its strategies, an agent can evaluate its marginal contribution to the global objective given its information. The main objective is to investigate how this limitation of information about the strategies chosen by other agents affects the performance when agents make choices according to a local greedy algorithm. In particular, we provide lower bounds on the performance of greedy algorithms for submodular maximization, which depend on the clique number of a graph that captures the information structure. We also characterize graph-theoretic upper bounds in terms of the chromatic number of the graph. Finally, we demonstrate how certain graph properties limit the performance of the greedy algorithm. Simulations on several common models for random networks demonstrate our results.

cs.DS↗

Saddle-point dynamics: conditions for asymptotic stability of saddle points

This paper considers continuously differentiable functions of two vector variables that have (possibly a continuum of) min-max saddle points. We study the asymptotic convergence properties of the associated saddle-point dynamics (gradient-descent in the first variable and gradient-ascent in the second one). We identify a suite of complementary conditions under which the set of saddle points is asymptotically stable under the saddle-point dynamics. Our first set of results is based on the convexity-concavity of the function defining the saddle-point dynamics to establish the convergence guarantees. For functions that do not enjoy this feature, our second set of results relies on properties of the linearization of the dynamics, the function along the proximal normals to the saddle set, and the linearity of the function in one variable. We also provide global versions of the asymptotic convergence results. Various examples illustrate our discussion.

math.OC↗

Distributed Optimization Under Adversarial Nodes

We investigate the vulnerabilities of consensus-based distributed optimization protocols to nodes that deviate from the prescribed update rule (e.g., due to failures or adversarial attacks). We first characterize certain fundamental limitations on the performance of any distributed optimization algorithm in the presence of adversaries. We then propose a resilient distributed optimization algorithm that guarantees that the non-adversarial nodes converge to the convex hull of the minimizers of their local functions under certain conditions on the graph topology, regardless of the actions of a certain number of adversarial nodes. In particular, we provide sufficient conditions on the graph topology to tolerate a bounded number of adversaries in the neighborhood of every non-adversarial node, and necessary and sufficient conditions to tolerate a globally bounded number of adversaries. For situations where there are up to F adversaries in the neighborhood of every node, we use the concept of maximal F-local sets of graphs to provide lower bounds on the distance-to-optimality of achievable solutions under any algorithm. We show that finding the size of such sets is NP-hard.

eess.SY↗