Sufficient conditions for viability under imperfect measurement

Viability theory gives a necessary and sufficient condition for the existence of a (set-valued) state feedback control such that all trajectories of the closed-loop system starting from the graph of a given tube in the state space remain in the tube. Here we investigate the same problem in the case where only incomplete and inexact measurement of the state is available. In the time-invariant case, we give a sufficient condition for the existence of anoutput feedback regulation map. The condition is shown to be equivalent to Haddad's viability condition if the measurement is perfect.     

Cyclic accessibility of reachable states characterizes von Neumann regular rings

The class of commutative von Neumann regular rings is characterized by a generalization of the feedback cyclization property to non-necessarily reachable systems: for any system (A,B), there exist a matrix K and a vector u such that (A,B) and the single-input system (A+BK,Bu) have the same submodule of reachable states. An explicit algorithm is presented to obtain K,u for a given system (A,B).     

Structural stability of (C, A)-marked subspaces

Given an observable pair of matrices (C, A) we consider the manifold of (C, A)-invariant subspaces having a fixed Brunovsky-Kronecker structure. Using Arnold techniques we obtain the explicit form of a miniversal deformation of a marked (C, A)-invariant subspace with respect to the usual equivalence relation. As an application, we obtain the dimension of the orbit and we characterize the structurally stable subspaces (those with open orbit).     

Semisymmetric graphs

Let be a regular covering projection of connected graphs with the group of covering transformations isomorphic to N. If N is an elementary abelian p-group, then the projection ℘_N is called p-elementary abelian. The projection ℘_N is vertex-transitive (edge-transitive) if some vertex-transitive (edge-transitive) subgroup of the automorphism group of X lifts along ℘_N, and semisymmetric if it is edge- but not vertex-transitive. The projection ℘_N is minimal semisymmetric if it cannot be written as a composition ℘_N=℘℘_M of two (nontrivial) regular covering projections, where ℘_M is semisymmetric.Malni? et al. [Semisymmetric elementary abelian covers of the Möbius-Kantor graph, Discrete Math. 307 (2007) 2156-2175] determined all pairwise nonisomorphic minimal semisymmetric elementary abelian regular covering projections of the Möbius-Kantor graph, the Generalized Petersen graph GP(8,3), by explicitly giving the corresponding voltage rules generating the covering projections. It was remarked at the end of the above paper that the covering graphs arising from these covering projections need not themselves be semisymmetric (a graph with regular valency is said to be semisymmetric if its automorphism group is edge- but not vertex-transitive). In this paper it is shown that all these covering graphs are indeed semisymmetric.     

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.     

Wave propagation in RTD-based cellular neural networks

This work investigates the existence of monotonic traveling wave and standing wave solutions of RTD-based cellular neural networks in the one-dimensional integer lattice . For nonzero wave speed c, applying the monotone iteration method with the aid of real roots of the corresponding characteristic function of the profile equation, we can partition the parameter space (γ,δ)-plane into four regions such that all the admissible monotonic traveling wave solutions connecting two neighboring equilibria can be classified completely. For the case of c=0, a discrete version of the monotone iteration scheme is established for proving the existence of monotonic standing wave solutions. Furthermore, if γ or δ is zero then the profile equation for the standing waves can be viewed as an one-dimensional iteration map and we then prove the multiplicity results of monotonic standing waves by using the techniques of dynamical systems for maps. Some numerical results of the monotone iteration scheme for traveling wave solutions are also presented.     

Characterization of Transfer Functions of Pritchard–Salamon or Other Realizations with a Bounded Input or Output Operator

We show that the transfer functions that have a (continuoustime) well-posed realization with a bounded input operator are exactly those that are strong-H² (plus constant feedthrough) over some right half-plane. The dual condition holds iff the transfer function has a realization with a bounded output operator. Both conditions hold iff the transfer function has a Pritchard–Salamon (PS) realization. A state-space variant of the PS result was proved already in [3], under the additional assumption that the weighting pattern (or impulse response) is a function (whose values are bounded operators). We illustrate by an example that this does not cover all PS systems, not even if the input and output spaces are separable.     

A spectral approach for the exact observability of infinite-dimensional systems with skew-adjoint generator

Let A be a possibly unbounded skew-adjoint operator on the Hilbert space X with compact resolvent. Let C be a bounded operator from D(A) to another Hilbert space Y. We consider the system governed by the state equation with the output y(t)=Cz(t). We characterize the exact observability of this system only in terms of C and of the spectral elements of the operator A. The starting point in the proof of this result is a Hautus-type test, recently obtained in Burq and Zworski (J. Amer. Soc. 17 (2004) 443-471) and Miller (J. Funct. Anal. 218 (2) (2005) 425-444). We then apply this result to various systems governed by partial differential equations with observation on the boundary of the domain. The Schrödinger equation, the Bernoulli-Euler plate equation and the wave equation in a square are considered. For the plate and Schrödinger equations, the main novelty brought in by our results is that we prove the exact boundary observability for an arbitrarily small observed part of the boundary. This is done by combining our spectral observability test to a theorem of Beurling on nonharmonic Fourier series and to a new number theoretic result on shifted squares.     

Some characterizations of orthant monotonic norms

In real n-space the orthant monotonic norms of Gries [5] can be given a new characterization similar to one for monotonic norms: a norm is orthant monotonic if and only if for every D=diag(δ₁,δ₂,…,δ_n)?0, the operator norm of D equals max δ_i. This gives an alternative proof to Gries's: a norm is orthant monotonic if and only if its dual norm is orthant monotonic. Also, it follows that the principal axis vectors are self-dual for orthant monotonic norms.     

Exact controllability of infinite dimensional systems persists under small perturbations

This paper studies the concept of controllability for infinite-dimensional linear control systems in Banach spaces. First, we prove that the set of admissible control operators for the semigroup generator is unchanged if we perturb the generator by the Desch–Schappacher perturbations. Second we show that exact controllability is not changed by such perturbations.     

Dynamic feedback over principal ideal domains and quotient rings

Let R be a principal ideal domain. In this paper we prove that, for a large class of linear systems, dynamic feedback over R is equivalent to static feedback over a quotient ring of R. In particular, when R is the ring of integers Z one has that the static feedback classification problem over finite rings is equivalent to the dynamic feedback classification problem over Z restricted to a special type of system.     

Dimensionality reduction and volume minimization—generalization of the determinant minimization criterion for reduced rank regression problems

In this article we propose a generalization of the determinant minimization criterion. The problem of minimizing the determinant of a matrix expression has implicit assumptions that the objective matrix is always nonsingular. In case of singular objective matrix the determinant would be zero and the minimization problem would be meaningless. To be able to handle all possible cases we generalize the determinant criterion to rank reduction and volume minimization of the objective matrix. The generalized minimization criterion is used to solve the following ordinary reduced rank regression problem:

min_rank(X)=kdet(B-XA)(B-XA)^T,     

Eigenvalue perturbation theory of classes of structured matrices under generic structured rank one perturbations

udy the perturbation theory of structured matrices under structured rank one perturbations, and then focus on several classes of complex matrices. Generic Jordan structures of perturbed matrices are identified. It is shown that the perturbation behavior of the Jordan structures in the case of singular J-Hamiltonian matrices is substantially different from the corresponding theory for unstructured generic rank one perturbation as it has been studied in [18, 28, 30, 31]. Thus a generic structured perturbation would not be generic if considered as an unstructured perturbation. In other settings of structured matrices, the generic perturbation behavior of the Jordan structures, within the confines imposed by the structure, follows the pattern of that of unstructured perturbations.     

The infinite-time admissibility of observation operators and operator Lyapunov equations

Let (A, –, C) be an abstract dynamical system withA being the generator of aC ₀-semigroup on a Hilbert spaceH, C:D(A)Y a linear operator,Y another Hilbert space. In this paper, some sufficient and necessary conditions are obtained for the observation operatorC to be infinite-time admissible. For a control system (A, B, –), due to duality argument, some sufficient and necessary conditions are also given for the control operatorB to be extended admissible. It is wellknown that observation operatorC is admissible if and only if the operator Lyapunov equation associated with the system has a nonnegative solution. In this paper, all nonnegative solutions to this equation are represented parametrically.This project is supported by the NNSF of China, and the Youth Science and Technique Foundation of Shanxi Province.     

Weakly Birkhoff recurrent switching signals, almost sure and partial stability of linear switched dynamical systems

Let {A₁,…,AK}⊂Cd×d be arbitrary K matrices, where K and d both ?2. For any 0<Δ<∞, we denote by the set of all switching sequences u=(λ.,t.):N→{1,…,K}×R₊ satisfying tj−tj−1?Δ and

     

Realizations of perturbations of an observable pair with prescribed indices

It is well known that, when a full rank observable pair (C,A) is slightly perturbed, the new observability indices k′ are majorized by the initial ones k, k?k′. Conversely, any indices k′ majorized by k can be obtained by perturbing (C,A). The aim of this paper is the explicit construction of perturbations of (C,A) which have the desired indices k′ by means of a sequence of uniparametrical versal perturbations. Even more, using versal deformations we refine this construction in such a way that the perturbation has the maximum possible number of zeros and no parameters in the square part.     

Conformal invariants associated with quadratic differentials

We associate a functional of pairs of simply-connected regions D₂ ? D₁ to any quadratic differential on D₁ with specified singularities. This functional is conformally invariant, monotonic, and negative. Equality holds if and only if the inner domain is the outer domain minus trajectories of the quadratic differential. This generalizes the simply-connected case of results of Z. Nehari [20], who developed a general technique for obtaining inequalities for conformal maps and domain functions from contour integrals and the Dirichlet principle for harmonic functions. Nehari’s method corresponds to the special case that the quadratic differential is of the form (?q)² for a singular harmonic function q on D₁.As an application we give a one-parameter family of monotonic, conformally invariant functionals which correspond to growth theorems for bounded univalent functions. These generalize and interpolate the Pick growth theorems, which appear in a conformally invariant form equivalent to a two-point distortion theorem of W. Ma and D. Minda [16].     

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.     

Rectangular products with ordinal factors

Let A and B be subspaces of an ordinal. It is proved that the product A×B is countably paracompact if and only if it is rectangular. Before this main result, we discuss several covering properties of products with one ordinal factor. In particular, for every paracompact space X, it is proved that the product X×A is paracompact if so is A.