We give a necessary and sufficient condition, of geometrical type, for the uniform decay of energy of solutions of the linear system of magnetoelasticity in a bounded domain with smooth boundary. A Dirichlet-type boundary condition is assumed. When the geometrical condition is not fulfilled, we show polynomial decay of the energy, for smooth initial conditions. Our strategy is to use micro-loca...

We study one-dimensional disordered bosons with strong repulsive interactions. A Bose-Fermi mapping expresses this problem in terms of noninteracting Anderson-localized fermions, whereby known results for the distribution function of the local density of states, the spectral statistics, and density-density correlations can be transferred to this new domain of applicability. We show that disorde...

The main features of (finite) multidimensional convolutional codes are introduced as properties of the codewords supports, and connected with the polynomial matrices (encoders) adopted for their description. Observability and local detectability are shown to be equivalent to the kernel representation of a code via some parity check matrix H . The input/output representation of convolutional cod...

We introduce a formal mechanism for capturing test justification and propagation related behavior of blocks. Based on the identified test translation behavior, an RTL testability analysis methodology for hierarchical designs is derived. An algorithm for pinpointing the local-to-global test translation controllability and observability bottlenecks is presented. The analysis results are validated...

One of the most interesting questions concerning hierarchical control of discrete-event systems with partial observations is a condition under which the language observability is preserved between the original and the abstracted plant. Recently, we have characterized two such sufficient conditions—observation consistency and local observation consistency. In this paper, we prove that the condit...

This paper studies the problems of local exact controllability of nonlinear and global exact null controllability of linear parabolic integro-differential equations respectively with mixed and Neumann boundary data with distributed controls acting on a subdomain ω of Ω ⊂ R. The proof of the linear problem relies on a Carleman-type estimate and observability inequality for the adjoint equations ...

We introduce a formal mechanism for capturing test justification and propagation related behavior of blocks. Based on the identified test translation behavior, an RTL testability analysis methodology for hierarchical designs is derived. An algorithm for pinpointing the local-to-global test translation controllability and observability bottlenecks is presented. The analysis results are validated...

This paper is concerned with the controllability and observability for a class of fractional linear systems with two different orders. The sufficient and necessary conditions for state controllability and state observability of such systems are established. The results obtained extend some existing results of controllability and observability for fractional dynamical systems.

Ever-increasing energy demand has led to geographic expansion of transmission lines and their complexity. In addition, higher reliability is expected in the transmission systemsdue to their vital role in power systems. It is very difficult to realize this goal by conventional monitoring and control methods. Thus, phasor measurement units (PMUs) are used to measure system parameters. Although in...