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

On the stability of the Kuramoto model of coupled nonlinear oscillators

Abstract: We provide an analysis of the classic Kuramoto model of coupled nonlinear oscillators that goes beyond the existing results for all-to-all networks of identical oscillators. Our work is applicable to oscillator networks of arbitrary interconnection topology with uncertain natural frequencies. Using tools from spectral graph theory and control theory, we prove that for couplings above a critical value, the synchronized state is locally asymptotically stable, resulting in convergence of all phase differences to a constant value, both in the case of identical natural frequencies as well as uncertain ones. We further explain the behavior of the system as the number of oscillators grows to infinity.

An extension of LaSalle's invariance principle for switched systems

Abstract: This paper addresses invariance principles for a certain class of switched nonlinear systems. We provide an extension of LaSalle's Invariance Principle for these systems and state asymptotic stability criteria. We also present some related results that deal with the compactness of the trajectories of these switched systems and that are interesting by their own.

Adaptation and Parameter Estimation in Systems with Unstable Target Dynamics and Nonlinear Parametrization

Abstract: We propose a technique for the design and analysis of adaptation algorithms in dynamical systems. The technique applies both to systems with conventional Lyapunov-stable target dynamics and to ones of which the desired dynamics around the target set is nonequilibrium and in general unstable in the Lyapunov sense. Mathematical models of uncertainties are allowed to be nonlinearly parametrized, smooth, and monotonic functions of linear functionals of the parameters. We illustrate with applications how the proposed method leads to control algorithms. In particular we show that the mere existence of nonlinear operator gains for the desired dynamics guarantees that system solutions are bounded, reach a neighborhood of the target set, and mismatches between the modeled uncertainties and uncertainty compensator vanish with time. The proposed class of algorithms can also serve as parameter identification procedures. In particular, standard persistent excitation suffices to ensure exponential convergence of the estimated to the actual values of the parameters. When a weak, nonlinear version of the persistent excitation condition is satisfied, convergence is asymptotic. The approach extends to a broader class of parameterizations where the monotonicity restriction holds only locally. In this case excitation with oscillations of sufficiently high frequency ensure convergence.

Viability Analysis of Management Frameworks for Fisheries

Abstract: The pressure on marine renewable resources has rapidly increased over past decades. The resulting scarcity has led to a variety of different control and surveillance instruments. Often they have not improved the current situation, mainly due to institutional failure and intrinsic uncertainties about the state of stocks. This contribution presents an assessment of different management schemes with respect to predefined constraints by utilizing viability theory. Our analysis is based on a bio-economic model which is examined as a dynamic control system in continuous time. Feasible development paths are discussed in detail. It is shown that participatory management may lead to serious problems if a purely resource-based management strategy is employed. The analysis suggests that a less risky management strategy can be implemented if limited data are available.

A Method for Generating a Well-Distributed Pareto Set in Nonlinear Multiobjective Optimization

Abstract: In multidisciplinary optimization the designer needs to find solution to optimization problems which include a number of usually contradicting criteria. Such a problem is mathematically related to the field of nonlinear vector optimization where there are many numerical methods capable of providing a solution. However, only a few of those are suitable for real multidisciplinary design in industry because an iteration design circle usually is very time-consuming. This is due to the time scales and computational resources associated with each iterative design cycle. The recently suggested Physical Programming Method appears to match many requirements raised in industrial applications. The method is modified to make its realization easier and more efficient, the main focus being the even generation of the complete Pareto set. The method is used to find the Pareto surface for different test cases.

A stochastic-variational model for soft Mumford-Shah segmentation

Abstract: In contemporary image and vision analysis, stochastic approaches demonstrate great flexibility in representing and modeling complex phenomena, while variational-PDE methods gain enormous computational advantages over Monte-Carlo or other stochastic algorithms. In combination, the two can lead to much more powerful novel models and efficient algorithms. In the current work, we propose a stochastic-variational model for soft (or fuzzy) Mumford-Shah segmentation of mixture image patterns. Unlike the classical hard Mumford-Shah segmentation, the new model allows each pixel to belong to each image pattern with some probability. We show that soft segmentation leads to hard segmentation, and hence is more general. The modeling procedure, mathematical analysis, and computational implementation of the new model are explored in detail, and numerical examples of synthetic and natural images are presented.

Time Optimal Synthesis for Left--Invariant Control Systems on SO(3)

Abstract: Consider the control system given by $\dot x=x(f+ug)$, where $x\in SO(3)$, $|u|\leq 1$ and $f,g\in so(3)$ define two perpendicular left-invariant vector fields normalized so that $\|f\|=\cos(\al)$ and $\|g\|=\sin(\al)$, $\al\in ]0,\pi/4[$. In this paper, we provide an upper bound and a lower bound for $N(\alpha)$, the maximum number of switchings for time-optimal trajectories. More precisely, we show that $N_S(\al)\leq N(\al)\leq N_S(\al)+4$, where $N_S(\al)$ is a suitable integer function of $\al$ which for $\al\to 0$ is of order $\pi/(4\alpha).$ The result is obtained by studying the time optimal synthesis of a projected control problem on $R P^2$, where the projection is defined by an appropriate Hopf fibration. Finally, we study the projected control problem on the unit sphere $S^2$. It exhibits interesting features which will be partly rigorously derived and partially described by numerical simulations.

Optimal Attitude Estimation and Filtering Without Using Local Coordinates Part I: Uncontrolled and Deterministic Attitude Dynamics

Abstract: There are several attitude estimation algorithms in existence, all of which use local coordinate representations for the group of rigid body orientations. All local coordinate representations of the group of orientations have associated problems. While minimal coordinate representations exhibit kinematic singularities for large rotations, the quaternion representation requires satisfaction of an extra constraint. This paper treats the attitude estimation and filtering problem as an optimization problem, without using any local coordinates for the group of rotations. An attitude determination algorithm and attitude estimation filters are developed, that minimize the attitude and angular velocity estimation errors. For filter propagation, the attitude kinematics and deterministic dynamics equations (Euler's equations) for a rigid body in an attitude-dependent potential are used. Vector attitude measurements are used for attitude and angular velocity estimation, with or without angular velocity measurements.

An ISS Small-Gain Theorem for General Networks

Abstract: We provide a generalized version of the nonlinear small-gain theorem for the case of more than two coupled input-to-state stable (ISS) systems. For this result the interconnection gains are described in a nonlinear gain matrix and the small-gain condition requires bounds on the image of this gain matrix. The condition may be interpreted as a nonlinear generalization of the requirement that the spectral radius of the gain matrix is less than one. We give some interpretations of the condition in special cases covering two subsystems, linear gains, linear systems and an associated artificial dynamical system.

Relative entropy and the multi-variable multi-dimensional moment problem

Abstract: Author(s): Georgiou, Tryphon T | Abstract: Entropy-like functionals on operator algebras have been studied since the pioneering work of von Neumann, Umegaki, Lindblad, and Lieb. The most well-known are the von Neumann entropy $trace (\rho\log \rho)$ and a generalization of the Kullback-Leibler distance $trace (\rho \log \rho - \rho \log \sigma)$, refered to as quantum relative entropy and used to quantify distance between states of a quantum system. The purpose of this paper is to explore these as regularizing functionals in seeking solutions to multi-variable and multi-dimensional moment problems. It will be shown that extrema can be effectively constructed via a suitable homotopy. The homotopy approach leads naturally to a further generalization and a description of all the solutions to such moment problems. This is accomplished by a renormalization of a Riemannian metric induced by entropy functionals. As an application we discuss the inverse problem of describing power spectra which are consistent with second-order statistics, which has been the main motivation behind the present work.

Nonconservative Noether's Theorem in Optimal Control

Abstract: We extend Noether's theorem to dynamical optimal control systems being under the action of nonconservative forces. A systematic way of calculating conservation laws for nonconservative optimal control problems is given. As a corollary, the conserved quantities previously obtained in the literature for nonconservative problems of mechanics and the calculus of variations are derived.

Controllability of 2D Euler and Navier-Stokes Equations by Forcing 4 Modes

Abstract: We study controllability issues for the 2D Euler and Navier-Stokes (NS) systems under periodic boundary conditions. These systems describe motion of homogeneous ideal or viscous incompressible fluid on a two-dimensional torus $\mathbb{T}^2$. We assume the system to be controlled by a degenerate forcing applied to fixed number of modes. In our previous work \cite{ASpb,AS43,ASDAN} we studied global controllability by means of degenerate forcing for Navier-Stokes (NS) systems with nonvanishing viscosity ($ u >0$). Methods of differential geometric/Lie algebraic control theory have been used for that study. In the present contribution we improve and extend the controllability results in several aspects: 1) we obtain a stronger sufficient condition for controllability of 2D NS system in an observed component and for $L_2$-approximate controllability; 2) we prove that these criteria are valid for the case of ideal incompressible fluid ($ u=0)$; 3) we study solid controllability in projection on any finite-dimensional subspace and establish a sufficient criterion for such controllability.

Transport and Concentration Problems with Interaction Effects

Abstract: After presenting an overview about variational problems on probability measures for functionals involving transport costs and extra terms encouraging or discouraging concentration, we look for optimality conditions, regularity properties and explicit computations in the case where Wasserstein distances and interaction energies are considered.

A Small-Gain Theorem for Monotone Systems with Multi-Valued Input-State Characteristics

Abstract: We provide a new global small-gain theorem for feedback interconnections of monotone input-output systems with multi-valued input-state characteristics. This extends a recent small-gain theorem of Angeli and Sontag for monotone systems with singleton-valued characteristics. We prove our theorem using Thieme's convergence theory for asymptotically autonomous systems. An illustrative example is also provided.

PackLib^2: An integrated library of multi-dimensional packing problems

Abstract: We present PackLib^2, the first fully integrated benchmark library for multi-dimensional packing instances. PackLib^2 combines a systematic collection of all benchmark instances from previous literature with a well-organized set of new and challenging large instances. The XML format allows linking basic benchmark data with other important properties, like bibliographic information, origin, best known solutions, runtimes, etc. Transforming instances into a variety of existing input formats is also quite easy, as the XML format lends itself to easy conversion; for this purpose, a number of parsers are provided. Thus, PackLib^2 aims at becoming a one-stop location for the packing and cutting community: In addition to fair and easy comparison of algorithmic work and ongoing measurement of scientific progress, it poses numerous challenges for future research.

Non-Uniform in Time Robust Global Asymptotic Output Stability for Discrete-Time Systems

Abstract: In this paper the notions of non-uniform in time Robust Blobal Asymptotic Output Stability (RGAOS) and Input-to-Output Stability (IOS) for discrete-time systems are studied. Characterizations as well as links between these notions are provided. Particularly, it is shown that a discrete-time system with continuous dynamics satisfies the non-uniform in time IOS property if and only if the corresponding unforced system is non-uniformly in time RGAOS. Necessary and sufficient conditions for the solvability of the Robust Output Feedback Stabilization (ROFS) problem are also given.

Searching for a Shoreline

Abstract: Logarithmic spirals are conjectured to be optimal escape paths from a half plane ocean. Assuming this, we find the rate of increase for both min-max and min-mean interpretations of "optimal". For the one-dimensional analog, which we call logarithmic coils, our min-mean solution differs from a widely-cited published account.

Synchronous robotic networks and complexity of control and communication laws

Abstract: This paper proposes a formal model for a network of robotic agents that move and communicate. Building on concepts from distributed computation, robotics and control theory, we define notions of robotic network, control and communication law, coordination task, and time and communication complexity. We then analyze a number of basic motion coordination algorithms such as pursuit, rendezvous and deployment.

Uniqueness properties of functionals with Lipschitzian derivative

Abstract: We prove that a functional with Lipschitzian derivative, when restricted to suitable spheres centered at a noncritical point, has a unique maximum

Smooth Optimization with Approximate Gradient

Abstract: We show that the optimal complexity of Nesterov's smooth first-order optimization algorithm is preserved when the gradient is only computed up to a small, uniformly bounded error. In applications of this method to semidefinite programs, this means in some instances computing only a few leading eigenvalues of the current iterate instead of a full matrix exponential, which significantly reduces the method's computational cost. This also allows sparse problems to be solved efficiently using sparse maximum eigenvalue packages.

A Luenberger-style Observer for Robot Manipulators with Position Measurements

Abstract: This paper presents a novel Luenberger-style observer for robot manipulators with position measurements. Under the assumption that the state evolutions that are to be observed have bounded velocities, it is shown that the origin of the observation error dynamics is globally exponentially stable and that the corresponding convergence rate can be made arbitrarily high by increasing a gain of the observer. Comparisons and relations between the proposed observer and existing observers are discussed. The effectiveness of the result here presented is illustrated by a simulation of the observer for the Pendubot, an underactuated two-joint manipulator.

Max-plus (A,B)-invariant spaces and control of timed discrete event systems

Abstract: The concept of (A,B)-invariant subspace (or controlled invariant) of a linear dynamical system is extended to linear systems over the max-plus semiring. Although this extension presents several difficulties, which are similar to those encountered in the same kind of extension to linear dynamical systems over rings, it appears capable of providing solutions to many control problems like in the cases of linear systems over fields or rings. Sufficient conditions are given for computing the maximal (A,B)-invariant subspace contained in a given space and the existence of linear state feedbacks is discussed. An application to the study of transportation networks which evolve according to a timetable is considered.

Decomposition of vector-valued divergence free Sobolev functions and shape optimization for stationary Navier-Stokes equations

Abstract: We establish a divergence free partition for vector-valued Sobolev functions with free divergence in ${\bf R}^n, n\geq 1$. We prove that for any domain $\om$ of class $\cal C$ in ${\bf R}^n,n=2,3$, the space $D_0^1(\om)\equiv\{{\mathbf{v}} \in H^1_0(\Omega)^n ; {div}{\mathbf{v}}=0\}$ and the space $H_{0,\sigma}^1(\om)\equiv \bar{\{{\mathbf{v}}\in C^{\infty}_0(\Omega)^n;{div}{\mathbf v}=0\}}^{\|\cdot\|_{H^1(\om)^n}}$, which is the completion of $\{{\mathbf{v}} \in C^{\infty}_0(\Omega)^n; {div}{\mathbf v}=0\}$ in the $H^1(\Omega)^n$-norm, are identical. We will also prove that $H_{0,\sigma}^1(D\setminus\bar\om)=\{{\mathbf v}\in H_{0,\sigma}^1(D); {\mathbf v}=0 {a.e. in} \om\}$, where $D$ is a bounded Lipschitz domain such that $\om\subset\subset D$. These results, together with properties for domains of class $\mathcal C$, are used to solve an existence problem in the shape optimization theory of the stationary Navier-Stokes equations.

Attitude Maneuvers of a Rigid Spacecraft in a Circular Orbit

Abstract: A global model is presented that can be used to study attitude maneuvers of a rigid spacecraft in a circular orbit about a large central body. The model includes gravity gradient effects that arise from the non-uniform gravity field and characterizes the spacecraft attitude with respect to the uniformly rotating local vertical local horizontal coordinate frame. An accurate computational approach for solving a nonlinear boundary value problem is proposed, assuming that control torque impulses can be applied at initiation and at termination of the maneuver. If the terminal attitude condition is relaxed, then an accurate computational approach for solving the minimal impulse optimal control problem is presented. Since the attitude is represented by a rotation matrix, this approach avoids any singularity or ambiguity arising from other attitude representations such as Euler angles or quaternions.

The Logarithmic Spiral Conjecture

Abstract: When searching for a planar line, if given no further information, one should adopt a logarithmic spiral strategy (although unproven).

On the existence and uniqueness of minima and maxima on spheres of the integral functional of the calculus of variations

Abstract: We deal with the integral functional of the calculus of variations assuming that the gradient of the integrand is Lipschitzian. We then prove that if this gradient does not vanish at zero, then the functional has a unique minimum and a unique maximum on each sphere, centered at zero, with radius small enough.

Geometry of optimal control problems and Hamiltonian systems

Abstract: These notes are based on the mini-course given in June 2004 in Cetraro, Italy, in the frame of a C.I.M.E. school. Of course, they contain much more material that I could present in the 6 hours course. The main goal is to give an idea of the general variational and dynamical nature of nice and powerful concepts and results mainly known in the narrow framework of Riemannian Geometry. This concerns Jacobi fields, Morse's index formula, Levi Civita connection, Riemannian curvature and related topics. I tried to make the presentation as light as possible: gave more details in smooth regular situations and referred to the literature in more complicated cases.

Quadratures of Pontryagin Extremals for Optimal Control Problems

Abstract: We obtain a method to compute effective first integrals by combining Noether's principle with the Kozlov-Kolesnikov integrability theorem. A sufficient condition for the integrability by quadratures of optimal control problems with controls taking values on open sets is obtained. We illustrate our approach on some problems taken from the literature. An alternative proof of the integrability of the sub-Riemannian nilpotent Lie group of type (2,3,5) is also given.

Steering laws for motion camouflage

Abstract: Motion camouflage is a stealth strategy observed in nature. We formulate the problem as a feedback system for particles moving at constant speed, and define what it means for the system to be in a state of motion camouflage. (Here we focus on the planar setting, although the results can be generalized to three-dimensional motion.) We propose a biologically plausible feedback law, and use a high-gain limit to prove accessibility of a motion camouflage state in finite time. We discuss connections to work in missile guidance. We also present simulation results to explore the performance of the motion camouflage feedback law for a variety of settings.

Natural frames and interacting particles in three dimensions

Abstract: Motivated by the problem of formation control for vehicles moving at unit speed in three-dimensional space, we are led to models of gyroscopically interacting particles, which require the machinery of curves and frames to describe and analyze. A Lie group formulation arises naturally, and we discuss the general problem of determining (relative) equilibria for arbitrary G-invariant controls (where G = SE(3) is a symmetry group for the control law). We then present global convergence (and non-collision) results for specific two-vehicle interaction laws in three dimensions, which lead to specific formations (i.e., relative equilibria). Generalizations of the interaction laws to n vehicles is also discussed, and simulation results presented.