POLYNOMIAL SYSTEMS AS ADJOINT PROCESS MACHINES

ABSTRACT

By defining a suitable adjoint process in the category of k-spaces, it is shown that systems that can be described by polynomial equations can be studied via the Arbib-Manes model of machines in a category. Basic results regarding reachability, observability and realization are derived from the general theory.     

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.     

Spectral conditions for admissibility and observability of wave systems: applications to finite element schemes

In this article, we derive uniform admissibility and observability properties for the finite element space semi-discretizations of , where A ₀ is an unbounded self-adjoint positive definite operator with compact resolvent. To address this problem, we present a new spectral approach based on several spectral criteria for admissibility and observability of such systems. Our approach provides very general admissibility and observability results for finite element approximation schemes of , which stand in any dimension and for any regular mesh (in the sense of finite elements). Our results can be combined with previous works to derive admissibility and observability properties for full discretizations of . We also present applications of our results to controllability and stabilization problems. The author was partially supported by the “Agence Nationale de la Recherche” (ANR), Project C-QUID, number BLAN-3-139579.     

Exact controllability for stochastic Schrödinger equations

This paper is addressed to studying the exact controllability of stochastic Schrödinger equations by two controls. One is a boundary control and the other is an internal control in the diffusion term. By means of the duality argument, the control problem is converted into an observability problem for backward stochastic Schrödinger equations, and the desired observability estimate is obtained by a global Carleman estimate. At last, we give a result about the lack of exact controllability, which shows that the action of two controls is necessary.     

The Nehari problem for infinite-dimensional linear systems of parabolic type

A complete solution is obtained to the suboptimal Nehari extension problem for transfer functions of parabolic systems with Dirichlet boundary control and smooth observations. The solutions are given in terms of the realization (–A, B, C), whereA is a uniformly strongly elliptic operator of order two with smooth coefficients defined on a bounded open domain ofR _d ,B=AB _D andB _D is the Dirichlet map associated with Dirichlet boundary conditions andC is a bounded observation map fromL ₂() to the output spaceY. The approach is to solve an equivalentJ-spectral factorization problem for this particular realization.     

THE INTEGRAL COMPONENT OF AN ORDER BOUNDED TRANSFORMATION

Summary

Assume that T:L→M is a positive transformation from an arbitrary Riesz space L into a Dedekind complete Riesz space M, and let T=T_c + T_s be the decomposition of T into its integral component T_c and its singular component T_s.

In this note we give an elementary proof of the fact that for every o ? u ? L

T_c u = inf(s_nup Tu_n: o ? u_n + u),

under the conditionns stated above. This generalizes a recent result of C.D. Aliprantis [1].     

The Nehari problem for nonexponentially stable systems

The Nehari problem and its suboptimal extension are solved under the assumption that the system (A, B, C) has bounded controllability and observability maps, an L₂-impulse response and a transfer matrix that is bounded and holomorphic on the right half-plane. Exponential stability of the semigroup is not assumed and the Hankel operator is not compact. The new contribution is an explicit parameterization of all solutions given in terms of the system parametersA, B, C.     

Multidimensional constant linear systems

A continuous resp. discrete r-dimensional (r1) system is the solution space of a system of linear partial differential resp. difference equations with constant coefficients for a vector of functions or distributions in r variables resp. of r-fold indexed sequences. Although such linear systems, both multidimensional and multivariable, have been used and studied in analysis and algebra for a long time, for instance by Ehrenpreis et al. thirty years ago, these systems have only recently been recognized as objects of special significance for system theory and for technical applications. Their introduction in this context in the discrete one-dimensional (r=1) case is due to J. C. Willems. The main duality theorem of this paper establishes a categorical duality between these multidimensional systems and finitely generated modules over the polynomial algebra in r indeterminates by making use of deep results in the areas of partial differential equations, several complex variables and algebra. This duality theorem makes many notions and theorems from algebra available for system theoretic considerations. This strategy is pursued here in several directions and is similar to the use of polynomial algebra in the standard one-dimensional theory, but mathematically more difficult. The following subjects are treated: input-output structures of systems and their transfer matrix, signal flow spaces and graphs of systems and block diagrams, transfer equivalence and (minimal) realizations, controllability and observability, rank singularities and their connection with the integral respresentation theorem, invertible systems, the constructive solution of the Cauchy problem and convolutional transfer operators for discrete systems. Several constructions on the basis of the Gröbner basis algorithms are executed. The connections with other approaches to multidimensional systems are established as far as possible (to the author).Partially supported by US Air Force Grant AFOSR-87-0249 and by Office of Naval Research Grant N 00014-86-K-0538 through the Center for Mathematical System Theory, University of Florida, Gainesville, Florida, U.S.A.     

Solvability,controllability, and observability of singular systems

The problems of solvability, controllability, and observability for the singular systemKx(t)=Ax(t)+Bu(t) are studied, whereK is a singular, square matrix andu(t) is a complex vector function sufficiently differentiable. The classical theories of matrix pencils are first related to the solvability of singular systems. Then, the concepts of reachability, controllability, and observability of regular systems are extended to singular systems. Finally, the set of reachable states is described. The proposed matrix conditions for testing the controllability and observability of singular systems are simple and always feasible.     

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.     

ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION

ABSTRACT

Following the Arbib-Manes approach to machines in categories, the categories Mach(C) of machines and TBeh(C) of total behaviours are constructed, where c is a class of state-behaviour processes. It is shown that the total external behaviour functor E: Mach(C) → TBeh(C) has a left adjoint and that the free realization of any total behaviour is reachable. Furthermore, the restriction of E to the full subcategory of Mach(C) with all reachable machines as objects has as right adjoint the minimal realization functor.     

ON POLE ASSIGNABILITY AND FEEDEBACK CYCLISATION FOR SYSTEMS OVER RINGS OF FINITE DIMENSION

ABSTRACT

It is shown that the rank of the projective added to the state space of a system in dynamic feedback can be decreased by assigning some poles to the original system first and by using these to obtain a new system with state space of lower rank on which dynamic feedback can be applied.     

Reachability and Observability Concepts for Stochastic Systems

We define observability and reachability and introduce the corresponding Gramians for a Levy driven linear system like Benner, Damm in [3] which focused on the case of Wiener noise. We additionally show that the sets of observable and reachable states are characterized by these Gramians. This is analogous to deterministic systems, where observability and reachability concepts are described in Sections 4.2.1 and 4.2.2 in Antoulas [1]. (© 2013 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Carleman Estimates and Controllability of Linear Stochastic Heat Equations

   Abstract. This work is concerned with Carleman inequalities and controllability properties for the following stochastic linear heat equation (with Dirichlet boundary conditions in the bounded domain D ⊂ R ^d and multiplicative noise):

Controllability and observability of a class of linear impulsive systems

This paper studies the controllability and observability of a class of linear piecewise constant impulsive systems. Necessary and sufficient criteria for reachability and controllability are established, respectively. It is proved that the reachability is equivalent to the controllability under some mild conditions. Then, necessary and sufficient criteria for observability and determinability of such systems are established, respectively. It is also proved that the observability is equivalent to the determinability under some mild conditions. Our criteria are of geometric type, they can be transformed into algebraic type conveniently. Finally, a numerical example is given to illustrate the utility of our criteria.     

The Nehari problem for the Pritchard-Salamon class of infinite-dimensional linear systems: a direct approach

A complete solution is obtained to the Nehari problem for symbols which have a realization as an exponentially stable Pritchard-Salamon system (A, B, C). This allows for the possibility thatB andC be unbounded and have infinite rank. The approach is to solve an equivalentJ-spectral factorization problem for this particular realization.     

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.     

Algebraic Properties and Design of Sampling Rates in Hybrid Linear Systems Under Multirate Sampling

This paper addresses the investigation of the reachability, observability and stabilizability properties of hybrid linear systems under multirate sampling. Technical results guaranteeing such properties at sampling instants and in between samples are formulated and proved. It is shown that the above properties can be investigated in terms of ranks of real or complex matrices if the system parameters are periodic or constant. The freedom in the choice of the sampling rates is finally used, under observability and exponential stability conditions, in the context of a optimal worst-case design. Two numerical examples are given. The first one is related to the design of such sampling rates for all possible choices of the inputs in a worst-case design context by using loss functions involving linear combinations of the L ₂ and induced l ₂ norms. The second one considers the choice of the sampling rates for an optimal transmission of possible rounding or measurement errors in the reachability problem.