The time-varying discrete four block Nehari problem: A generalized Popov-Yakubovich type approach

The paper provides necessary and sufficient solvability conditions for the time-variant discrete four block Nehari problem in terms of the existence of the stabilizing solutions to two coupled Riccati equations. A parametrization of the class of all solutions is also given. The results are easily obtained from a signature condition — a generalized Popov Yakubovich type argument-imposed on an appropiate rational node. The present development may be seen as an alternative of the theory developed by Gohberg, Kaashoek and Woerdeman [15].     

Optimal control of the primitive equations of the ocean with state constraints

We investigate in this article Pontryagin’s maximum principle for a class of control problems associated with the primitive equations (PEs) of the ocean. These optimal problems involve a state constraint similar to that considered in Wang (2002) [7] for the three-dimensional Navier-Stokes (NS) equations. The main difference between this work and Wang (2002) [7] is that the nonlinearity in the PEs is stronger than in the three-dimensional NS systems.     

A topological central point theorem

In this paper a generalized topological central point theorem is proved for maps of a simplex to finite-dimensional metric spaces. Similar generalizations of the Tverberg theorem are considered.     

On Turán’s theorem for sparse graphs

For a graphG withn vertices and average valencyt, Turán’s theorem yields the inequalityα≧n/(t+1) whereα denotes the maximum size of an independent set inG. We improve this bound for graphs containing no large cliques.     

Controllability of a quantum particle in a moving potential well

We consider a nonrelativistic charged particle in a 1D moving potential well. This quantum system is subject to a control, which is the acceleration of the well. It is represented by a wave function solution of a Schrödinger equation, the position of the well together with its velocity. We prove the following controllability result for this bilinear control system: given ψ₀ close enough to an eigenstate and ψ_f close enough to another eigenstate, the wave function can be moved exactly from ψ₀ to ψ_f in finite time. Moreover, we can control the position and the velocity of the well. Our proof uses moment theory, a Nash-Moser implicit function theorem, the return method and expansion to the second order.     

An existence theorem for weak solutions for a class of elliptic partial differential systems in Orlicz spaces

We prove the existence of a weak solution of the Dirichlet problem for a class of elliptic partial differential systems in separable Orlicz–Sobolev spaces.     

Local exact controllability to the trajectories of the 1-D Kuramoto-Sivashinsky equation

We are concerned with the boundary controllability to the trajectories of the Kuramoto-Sivashinsky equation. By using a Carleman estimate, we obtain the null controllability of the linearized equation around a given solution. From a local inversion theorem we get the local controllability to the trajectories of the nonlinear system.     

On causality in commutant lifting theorem. I

Two functionals (A) and for an operatorA were introduced in [11] for the study of causality in commutant lifting theory. In this paper we give sufficient and necessary conditions for in a special case. We prove that in this case , and we show by some examples related to nonlinear system control that is the best constant in our inequality.     

On PDE solution in transient optimization of gas networks

Operative planning in gas distribution networks leads to large-scale mixed-integer optimization problems involving a hyperbolic PDE defined on a graph. We consider the NLP obtained under prescribed combinatorial decisions—or as relaxation in a branch-and-bound framework, addressing in particular the KKT systems arising in primal–dual interior methods. We propose a custom solution algorithm using sparse projections locally in time, based on the KKT systems’ structural properties in space as induced by the discretized gas flow equations in combination with the underlying network topology. The numerical efficiency and accuracy of the algorithm are investigated, and detailed computational comparisons with a previously developed control space method and with the multifrontal solver MA27 are provided.     

Generic pole assignability,structurally constrained controllers and unimodular completion

In this paper we assume dynamical systems are represented by linear differential-algebraic equations (DAEs) of order possibly higher than one. We consider a structured system of DAEs for both the to-be-controlled plant and the controller. We model the structure of the plant and the controller as an undirected and bipartite graph and formulate necessary and sufficient conditions on this graph for the structured controller to generically achieve arbitrary pole placement. A special case of this problem also gives new equivalent conditions for structural controllability of a plant. Use of results in matching theory, and in particular, ‘admissibility’ of edges and ‘elementary bipartite graphs’, make the problem and the solution very intuitive. Further, our approach requires standard graph algorithms to check the required conditions for generic arbitrary pole placement, thus helping in easily obtaining running time estimates for checking this. When applied to the state space case, for which the literature has running time estimates, our algorithm is faster for sparse state space systems and comparable for general state space systems.     

A local Paley-Wiener theorem for compact symmetric spaces

The Fourier coefficients of a smooth K-invariant function on a compact symmetric space M=U/K are given by integration of the function against the spherical functions. For functions with support in a neighborhood of the origin, we describe the size of the support by means of the exponential type of a holomorphic extension of the Fourier coefficients.     

Controllability of quasi-linear Hamiltonian NLS equations

We prove internal controllability in arbitrary time, for small data, for quasi-linear Hamiltonian NLS equations on the circle. We use a procedure of reduction to constant coefficients up to order zero and HUM method to prove the controllability of the linearized problem. Then we apply a Nash–Moser–Hörmander implicit function theorem as a black box.     

Positive real control for 2-D discrete delayed systems via output feedback controllers

This paper considers the problem of positive real control for two-dimensional (2-D) discrete delayed systems in the Fornasini–Marchesini second local state-space model. Attention is focused on the design of dynamic output feedback controllers, which guarantee that the closed-loop system is asymptotically stable and the closed-loop transfer function is extended strictly positive real. We first present a sufficient condition for extended strictly positive realness of 2-D discrete delayed systems. Based on this, a sufficient condition for the solvability of the positive real control problem is obtained in terms of a linear matrix inequality (LMI). When the LMI is feasible, an explicit parametrization of a desired output feedback controller is presented. Finally, we provide a numerical example to demonstrate the application of the proposed method.     

Infinite horizon disturbance attenuation for discrete-time systems. A Popov-Yakubovich approach

It is proved that for the discrete-time linear systems with time-varying coefficients the existence of a controller which simultaneously stabilizes and provides prescribed disturbance attenuation for the resultant closed-loop system, implies the existence of global solutions to several Kalman-Szegö-Popov-Yakubovich systems. It is also proved that this fact is equivalent to the existence of the positive semidefinite stabilizing solutions to corresponding game-theoretic Riccati equations. The family of all controllers with the above mentioned properties is constructed in terms of the solutions to the cited Kalman-Szegö-Popov-Yakubovich systems. The main tool is the generalized Popov-Yakubovich theory which is essentially developed in an operator-theoretic framework.     

Scattering Systems with Several Evolutions and Multidimensional Input/State/Output Systems

The one-to-one correspondence between one-dimensional linear (stationary, causal) input/state/output systems and scattering systems with one evolution operator, in which the scattering function of the scattering system coincides with the transfer function of the linear system, is well understood, and has significant applications in H^∞ control theory. Here we consider this correspondence in the d-dimensional setting in which the transfer and scattering functions are defined on the polydisk. Unlike in the onedimensional case, the multidimensional state space realizations and the corresponding multi-evolution scattering systems are not necessarily equivalent, and the cases d = 2 and d > 2 differ substantially. A new proof of Andô’s dilation theorem for a pair of commuting contraction operators and a new statespace realization theorem for a matrix-valued inner function on the bidisk are obtained as corollaries of the analysis.     

Design optimization for structural or mechanical systems against the worst possible loads

The main objective of this paper is to point out several difficulties related to formulating and solving numerically the problem of optimal design of structural systems subjected to worst admissible controls (that is worst external loads). First some known facts and available results are reviewed and minor lemmas are provided so that the problem can be formulated in an appropriate mathematical setting. In the second part of the paper numerical techniques including some algorithms are discussed. Convergence and proper numerical approaches to suboptimal designs are the main topics of this part. While the main concern is structural analysis, a short digression indicates that the techniques and arguments offered here are easily extended to other applications such as the mechanical and electro-magnetic systems design.     

Feedback stabilization of a simplified 1d fluid–particle system

We consider the feedback stabilization of a simplified 1d model for a fluid–structure interaction system. The fluid equation is the viscous Burgers equation whereas the motion of the particle is given by the Newton's laws. We stabilize this system around a stationary state by using feedbacks located at the exterior boundary of the fluid domain. With one input, we obtain a local stabilizability of the system with an exponential decay rate of order σ<_σ0$\sigma <{\sigma }_0$. An arbitrary order for the exponential decay rate can be proved if a unique continuation result holds true or if two inputs are used to stabilize the system. Our method is based on general arguments for stabilization of nonlinear parabolic systems combined with a change of variables to handle the fact that the fluid domains of the stationary state and of the stabilized solution are different.     

Stability by the linear approximation for discrete equations

This paper is concerned with exponential stability of solutions of perturbed discrete equations. For a given m>1 we will provide necessary and sufficient conditions for exponential stability of all perturbed systems with perturbation of order m under the assumption that the unperturbed linear system is exponentially stable. Basing on this result we obtained necessary and sufficient conditions for exponential stability of the perturbed system for all perturbations of order m>1 for regular systems. Our results are expressed in terms of regular coefficients of the unperturbed system.