scispace - formally typeset
Search or ask a question

Showing papers in "arXiv: Optimization and Control in 2004"


Posted Content
TL;DR: In this paper, the existence of infinitely many local minima of the functional capital Phi + r Psi for each sufficiently real r is studied. But the existence is not studied in this paper.
Abstract: In this paper, given a reflexive real Banach space X and two sequentially weakly lower semicontinuous functionals Phi, Psi on X with Psi strongly continuous and coercive, we are mainly interested in the existence of infinitely many local minima of the functional capital Phi + r Psi for each sufficiently real r.

361 citations


Posted Content
TL;DR: A method is proposed for finding the global minimum of a multivariate polynomial via sum of squares (SOS) relaxation over its gradient variety that consists of all points where the gradient is zero and it need not be finite.
Abstract: A method is proposed for finding the global minimum of a multivariate polynomial via sum of squares (SOS) relaxation over its gradient variety. That variety consists of all points where the gradient is zero and it need not be finite. A polynomial which is nonnegative on its gradient variety is shown to be SOS modulo its gradient ideal, provided the gradient ideal is radical or the polynomial is strictly positive on the real gradient variety. This opens up the possibility of solving previously intractable polynomial optimization problems. The related problem of constrained minimization is also considered, and numerical examples are discussed. Experiments show that our method using the gradient variety outperforms prior SOS methods.

130 citations


Posted Content
TL;DR: In this article, the path of minimum expected length for escaping a planar convex region Omega was studied and the best 2-segment and 3-sevegment solutions were obtained when Omega is an infinite strip and when it is a disk, respectively.
Abstract: What is the path of minimum expected length for escaping a planar convex region Omega? We rigorously obtain best 2-segment and 3-segment solutions when Omega is an infinite strip, and numerically examine 2-segment solutions when Omega is a disk.

109 citations


Posted Content
TL;DR: In this article, the exact controllability of unitary groups on Hilbert spaces with unbounded control operator was studied and the authors provided a necessary and sufficient condition not involving time which blended a resolvent estimate and an observability inequality.
Abstract: This article concerns the exact controllability of unitary groups on Hilbert spaces with unbounded control operator. It provides a necessary and sufficient condition not involving time which blends a resolvent estimate and an observability inequality. By the transmutation of controls in some time L for the corresponding second order conservative system, it is proved that the cost of controls in time T for the unitary group grows at most like \exp(\alpha L^{2}/T) as T tends to 0. In the application to the cost of fast controls for the Schr{o}dinger equation, L is the length of the longest ray of geometric optics which does not intersect the control region. This article also provides observability resolvent estimates implying fast smoothing effect controllability at low cost, and underscores that the controllability cost of a system is not changed by taking its tensor product with a conservative system.

97 citations


Posted Content
TL;DR: In this paper, the authors considered a continuous-time anisotropic swarm model with an attraction/repulsion function and showed that the swarm members will aggregate and eventually form a cohesive cluster of finite size around the swarm center.
Abstract: In this paper we consider a continuous-time anisotropic swarm model in $n$-dimensional space with an attraction/repulsion function and study its aggregation properties. It is shown that the swarm members will aggregate and eventually form a cohesive cluster of finite size around the swarm center. Moreover, the numerical simulations show that all agents will eventually enter into and remain in a bounded region around the swarm center. The model is more general than isotropic swarms and our results provide further insight into the effect of the interaction pattern on individual motion in a swarm system.

63 citations


Journal ArticleDOI
TL;DR: In this paper, the authors classify integer optimization problems with integer constraints and objective functions as polynomials with integer coefficients and the number of variables is fixed, and show an algorithm to compute lower and upper bounds for the optimal value.
Abstract: We classify, according to their computational complexity, integer optimization problems whose constraints and objective functions are polynomials with integer coefficients and the number of variables is fixed. For the optimization of an integer polynomial over the lattice points of a convex polytope, we show an algorithm to compute lower and upper bounds for the optimal value. For polynomials that are non-negative over the polytope, these sequences of bounds lead to a fully polynomial-time approximation scheme for the optimization problem.

62 citations


Posted Content
TL;DR: In this article, the authors introduce the notions of linear connection, symmetric product and geodesically invariant subbundle on a Lie algebroid, and present appropriate tests for various notions of accessibility and controllability.
Abstract: This paper considers control systems defined on Lie algebroids. After deriving basic controllability tests for general control systems, we specialize our discussion to the class of mechanical control systems on Lie algebroids. This class of systems includes mechanical systems subject to holonomic and nonholonomic constraints, mechanical systems with symmetry and mechanical systems evolving on semidirect products. We introduce the notions of linear connection, symmetric product and geodesically invariant subbundle on a Lie algebroid. We present appropriate tests for various notions of accessibility and controllability, and analyze the relation between the controllability properties of control systems related by a morphism of Lie algebroids.

52 citations


Posted Content
TL;DR: It is shown that this convergence result is robust with respect to an arbitrary delay, provided that the delay affects only the off-diagonal terms in the differential equation.
Abstract: We study the stability properties of linear time-varying systems in continuous time whose system matrix is Metzler with zero row sums. This class of systems arises naturally in the context of distributed decision problems, coordination and rendezvous tasks and synchronization problems. The equilibrium set contains all states with identical state components. We present sufficient conditions guaranteeing uniform exponential stability of this equilibrium set, implying that all state components converge to a common value as time grows unbounded. Furthermore it is shown that this convergence result is robust with respect to an arbitrary delay, provided that the delay affects only the off-diagonal terms in the differential equation.

47 citations


Posted Content
TL;DR: In this paper, the authors consider the nonconvex minimization problem of the value-at-risk (VaR) that arises from financial risk analysis and develop upper and lower bounds for the minimum VaR and show how to compute the latter value to global optimality.
Abstract: In this paper, we consider the nonconvex minimization problem of the value-at-risk (VaR) that arises from financial risk analysis. By considering this problem as a special linear program with linear complementarity constraints (a bilevel linear program to be more precise), we develop upper and lower bounds for the minimum VaR and show how the combined bounding procedures can be used to compute the latter value to global optimality. A numerical example is provided to illustrate the methodology.

46 citations


Posted Content
TL;DR: In this article, it was shown that if π and π are two sequentially weakly lower semicontinuous functionals on a reflexive real Banach space, then the weak closure of the set π^{-1}(]-\infty, r[)$ has at least $k$ connected components in the weak topology.
Abstract: The aim of the present paper is essentially to prove that if $\Phi$ and $\Psi$ are two sequentially weakly lower semicontinuous functionals on a reflexive real Banach space and if $\Psi$ is also continuous and coercive, then then following conclusion holds: if, for some $r > \inf_X \Psi$, the weak closure of the set $\Psi^{-1}(]-\infty, r[)$ has at least $k$ connected components in the weak topology, then, for each $\lambda > 0$ small enough, the functional $\Psi + \lambda\Phi$ has at least $k$ local minima lying in $\Psi^{-1}(]-\infty, r[)$.

43 citations


Posted Content
TL;DR: In this paper, the authors considered a class of optimal control problems of stochastic delay differential equations (SDDE) that arise in connection with optimal advertising under uncertainty for the introduction of a new product to the market, generalizing classical work of Nerlove and Arrow.
Abstract: We consider a class of optimal control problems of stochastic delay differential equations (SDDE) that arise in connection with optimal advertising under uncertainty for the introduction of a new product to the market, generalizing classical work of Nerlove and Arrow (1962). In particular, we deal with controlled SDDE where the delay enters both the state and the control. Following ideas of Vinter and Kwong (1981) (which however hold only in the deterministic case), we reformulate the problem as an infinite dimensional stochastic control problem to which we associate, through the dynamic programming principle, a second order Hamilton-Jacobi-Bellman equation. We show a verification theorem and we exhibit some simple cases where such equation admits an explicit smooth solution, allowing us to construct optimal feedback controls.

Journal ArticleDOI
TL;DR: In this paper, a relaxation of averaged alternating reflectors is proposed to determine the fixed point set of the related operator in the convex case, and a numerical study supports the theoretical observations and demonstrates the effectiveness of the algorithm compared to the current state of the art.
Abstract: We report on progress in algorithms for iterative phase retrieval. The theory of convex optimization is used to develop and to gain insight into counterparts for the nonconvex problem of phase retrieval. We propose a relaxation of averaged alternating reflectors and determine the fixed point set of the related operator in the convex case. A numerical study supports our theoretical observations and demonstrates the effectiveness of the algorithm compared to the current state of the art.

Posted Content
TL;DR: In this article, the authors present a new and independent proof based on results from convex analysis and the theory of moments, which follows as a consequence of the Kalman-Yacubovich-Popov solution of the Lur'e problem.
Abstract: Suppose that A and B are real stable matrices, and that their difference A-B is rank one. Then A and B have a common quadratic Lyapunov function if and only if the product AB has no real negative eigenvalue. This result is due to Shorten and Narendra, who showed that it follows as a consequence of the Kalman-Yacubovich-Popov solution of the Lur'e problem. Here we present a new and independent proof based on results from convex analysis and the theory of moments.

Posted Content
TL;DR: In this paper, the NMF problem is formulated as an alternating matrix factorization problem, and an EM-like algorithm is proposed for the construction of the best pair (W, H) in I-divergence.
Abstract: In this paper we consider the Nonnegative Matrix Factorization (NMF) problem: given an (elementwise) nonnegative matrix V 2 R m×n + find, for assigned k, nonnegative matrices W 2 R m×k + and H 2 R k×n + such that V = W H. Exact, non trivial, nonnegative factorizations do not always exist, hence it is interesting to pose the approximate NMF problem. The criterion which is commonly employed is I-divergence between nonnegative matrices. The problem becomes that of finding, for assigned k, the factorization W H closest to V in I-divergence. An iterative algorithm, EM like, for the construction of the best pair (W, H) has been proposed in the literature. In this paper we interpret the algorithm as an alternat

Posted Content
TL;DR: In this paper, the theory of nonlinear adaptive observers is used in the design of internal models for nonlinear output regulation, by allowing for not necessarily stable zero dynamics of the controlled plant and by weakening the standard assumption of having the steady state control input generated by a linear system.
Abstract: This paper shows how the theory of nonlinear adaptive observers can be effectively used in the design of internal models for nonlinear output regulation. The theory substantially enhances the existing results in the context of {\em adaptive} output regulation, by allowing for not necessarily stable zero dynamics of the controlled plant and by weakening the standard assumption of having the steady state control input generated by a linear system.

Posted Content
TL;DR: In this article, the authors present a result which relates connectedness of the interaction graphs in a multi-agent system with the capability for global convergence to a common equilibrium of the system.
Abstract: The paper presents a result which relates connectedness of the interaction graphs in a multi- agent systems with the capability for global convergence to a common equilibrium of the system. In particular we extend a previously known result by Moreau by including the possibility of arbitrary bounded time-delays in the communication channels and relaxing the convexity of the allowed regions for the state transition map of each agent.

Posted Content
TL;DR: A max-plus analogue of the Petrov-Galerkin finite element method, to solve finite horizon deterministic optimal control problems, and obtains a nonlinear discretized semigroup corresponding to a zero-sum two players game.
Abstract: We introduce a max-plus analogue of the Petrov-Galerkin finite element method, to solve finite horizon deterministic optimal control problems. The method relies on a max-plus variational formulation, and exploits the properties of projectors on max-plus semimodules. We obtain a nonlinear discretized semigroup, corresponding to a zero-sum two players game. We give an error estimate of order $\sqrt{\Dta t}+\Dta x(\Dta t)^{-1}$, for a subclass of problems in dimension 1. We compare our method with a max-plus based discretization method previously introduced by Fleming and McEneaney.

Posted Content
TL;DR: This paper improved a recent improvement of a minimax theorem of Borenshtein and Shulamans, replacing a global compactness assumption by a local one. But they did not improve the local compactness of the theorem.
Abstract: I do improve a recent improvement (due to Saint Raymond) of a minimax theorem of Borenshtein and Shul'man, replacing a global compactness assumption by a local one

Posted Content
TL;DR: Based on the geometry of Voronoi partitions and proximity graphs, the authors in this paper analyzed a class of aggregate objective functions and proposed coverage algorithms in continuous and discrete time, which have convergence guarantees and are spatially distributed with respect to appropriate proximity graphs.
Abstract: This paper presents coordination algorithms for groups of mobile agents performing deployment and coverage tasks. As an important modeling constraint, we assume that each mobile agent has a limited sensing/communication radius. Based on the geometry of Voronoi partitions and proximity graphs, we analyze a class of aggregate objective functions and propose coverage algorithms in continuous and discrete time. These algorithms have convergence guarantees and are spatially distributed with respect to appropriate proximity graphs. Numerical simulations illustrate the results.

Journal ArticleDOI
TL;DR: In this paper, the problem of minimal resistance for a body moving with constant velocity in a rarefied medium of chaotically moving point particles, in Euclidean space R^d, was studied.
Abstract: We study the problem of minimal resistance for a body moving with constant velocity in a rarefied medium of chaotically moving point particles, in Euclidean space R^d. The particles distribution over velocities is radially symmetric. Under some additional assumptions on the distribution function, the complete classification of bodies of least resistance is made. In the case of three and more dimensions there are two kinds of solutions: a body similar to the solution of classical Newton's problem and a union of two such bodies ``glued together'' by rear parts of their surfaces. In the two-dimensional case there are solutions of five different types: (a) a trapezium; (b) an isosceles triangle; (c) the union of a triangle and a trapezium with common base; (d) the union of two isosceles triangles with common base; (e) the union of two triangles and a trapezium. The cases (a)--(d) are realized for any distribution of particles over velocities, and the case (e) is only realized for some distributions. Two limit cases are considered, where the average velocity of particles is big and where it is small as compared to the body's velocity. Finally, using the obtained analytical results, we study numerically a particular case: the problem of body's motion in a rarefied homogeneous monatomic ideal gas of positive temperature in R^2 and in R^3.

Posted Content
TL;DR: In this paper, the authors considered an optimal control problem for a system governed by a Volterra integral equation with impulsive terms and proved necessary optimality conditions of a form analogous to a discrete maximum principle.
Abstract: We consider an optimal control problem for a system governed by a Volterra integral equation with impulsive terms. The impulses act on both the state and the control; the control consists of switchings at discrete times. The cost functional includes both, an integrated cost rate (continuous part) and switching costs at the discrete impulse times (discrete part). We prove necessary optimality conditions of a form analogous to a discrete maximum principle. For the particular case of a system governed by impulsive ordinary differential equations, we obtain an impulsive maximum principle as a special case of the necessary optimality conditions for impulsive Volterra equations.

Posted Content
TL;DR: In this paper, a computer-assisted approach to locate approximate coarse optimal switching policies between stationary states of chemically reacting systems described by microscopic/stochastic evolution rules is presented, which constitutes a bridge between the underlying kinetic Monte Carlo simulation and traditional, continuum numerical optimization techniques formulated in discrete time.
Abstract: We present a computer-assisted approach to locating approximate coarse optimal switching policies between stationary states of chemically reacting systems described by microscopic/stochastic evolution rules. The ``coarse time-stepper" constitutes a bridge between the underlying kinetic Monte Carlo simulation and traditional, continuum numerical optimization techniques formulated in discrete time. The approach is illustrated through two simple catalytic surface reaction models, implemented through kinetic Monte Carlo: NO reduction on Pt, and CO oxidation on Pt. The objective sought in both cases is to switch between two coexisting stable stationary states by minimal manipulation of a macroscopic system parameter.

Posted Content
TL;DR: In this paper, the authors considered a discrete time swarm model of a group of mobile autonomous agents with a simple attraction and repulsion function for swarm aggregation and investigated its stability properties.
Abstract: This paper considers a discrete time swarm model of a group of mobile autonomous agents with a simple attraction and repulsion function for swarm aggregation and investigates its stability properties. In particular, it is proved that the individuals (members) of the swarm will aggregate and form a cohesive cluster of a finite size depending only on the parameters of the swarm model in a finite time, and the swarm system is completely stable.

Posted Content
TL;DR: In this paper, the authors considered parabolic Bellman equations with Lipschitz coefficients and obtained error bounds of order $h 1/2$ for certain types of finite-difference schemes.
Abstract: We consider parabolic Bellman equations with Lipschitz coefficients. Error bounds of order $h^{1/2}$ for certain types of finite-difference schemes are obtained.

Posted Content
TL;DR: In this paper, the generalized Hadamard product was used to routinize, to a large extend, the differentiation of spectral functions, and the results from [8] and [9] were used in [10] to make the reading self-contained.
Abstract: In [8] a notion of generalized Hadamard product was introduced We show that when certain kinds of tensors interact with the eigenvalues of symmetric matrices the resulting formulae can be nicely expressed using the generalized Hadamard product and two simple linear operations on the tensors The Calculus-type rules developed here will be used in [9] to routinize, to a large extend, the differentiation of spectral functions We include all the necessary definitions and results from [8] on the generalized Hadamard product to make the reading self-contained

Posted Content
TL;DR: Two VaR approaches are proposed, precisely aim at robustifying the model and introducing a new set of constraints modelling the uncertainties in the original optimization problem or equivalently to change the dual objective function.
Abstract: In this paper, we apply Value-at-Risk (VaR) approaches on the problem of yearly electric generation management. In a classical approach, the future is modelled as a markov chain and the goal is to minimize the average generation cost over this uncertain future. However, such a strategy could lead to big financiallosses if worst case scenarios occur. The two VaR approaches we propose, precisely aim at robustifying the model. On a practical point of view, it amounts to introduce a new set of constraints modelling the uncertainties in the original optimization problem or equivalently to change the dual objective function. The new optimization problems are solved as efficiently as the nominal model. Numerical simulations are presented and discussed for this application.

Posted Content
TL;DR: In this article, the authors established a direct link between the time-reversal technique and the adjoint method for imaging and derived new solution strategies for an inverse problem which arises in telecommunication.
Abstract: We establish a direct link between the time-reversal technique and the so-called adjoint method for imaging. Using this relationship, we derive new solution strategies for an inverse problem which arises in telecommunication. These strategies are all based on iterative time-reversal experiments, which try to solve the inverse problem experimentally instead of computationally. We will focus in particular on examples from underwater acoustic communication and wireless communication in a Multiple-Input Multiple-Output (MIMO) setup.

Posted Content
TL;DR: In this paper, the adaptive control problem in the presence of nonlinear parametrization of uncertainties in the model is considered and it is shown that despite traditional approaches require for domination in the control loop during adaptation, it is not often necessary to use such energy inefficient compensators it in wide range of applications.
Abstract: We consider adaptive control problem in presence of nonlinear parametrization of uncertainties in the model. It is shown that despite traditional approaches require for domination in the control loop during adaptation, it is not often necessary to use such energy inefficient compensators it in wide range of applications. In particular, we show that recently introduced adaptive control algorithms in finite form which are applicable to monotonic parameterized systems can be extended to general smooth non-monotonic parametrization. These schemes do not require any damping or domination in control inputs.

Posted Content
TL;DR: In this article, it is shown that the paradigmatic non-cooperative Nash equilibrium itself rests on a strong cooperation assumption in the case of $n \geq 3$ players and a reconsideration of cooperation is suggested, as a more evolved form of rational behaviour.
Abstract: An analysis of several important aspects of competition or conflict in games, social choice and decision theory is presented. Inherent difficulties and complexities in cooperation are highlighted. These have over the years led to a certain marginalization of studies related to cooperation. The significant richness of cooperation possibilities and the considerable gains which my lie there hidden are indicated. Based on that, a reconsideration of cooperation is suggested, as a more evolved form of rational behaviour. As one of the motivations it is shown that the paradigmatic non-cooperative Nash equilibrium itself rests on a strong cooperation assumption in the case of $n \geq 3$ players.

Posted Content
TL;DR: In this paper, the authors studied the minimization problem of minimal resistance for a two-dimensional body moving with constant velocity in a homogeneous rarefied medium of moving particles, where the distribution of the particles over velocities is centrally symmetric.
Abstract: We study the Newton-like problem of minimal resistance for a two-dimensional body moving with constant velocity in a homogeneous rarefied medium of moving particles. The distribution of the particles over velocities is centrally symmetric. The problem is solved analytically; the minimizers are shown to be of four different types. Numerical results are obtained for the physically significant case of gaussian circular distribution of velocities, which corresponds to a homogeneous ideal gas of positive temperature.