Reachability indices of positive linear systems.
The notion of a common canonical form for a sequence of square matrices is introduced. Necessary and sufficient conditions for the existence of a similarity transformation reducing the sequence of matrices to the common canonical form are established. It is shown that (i) using a suitable state vector linear transformation it is possible to decompose a linear 2D system into two linear 2D subsystems such that the dynamics of the second subsystem are independent of those of the first one, (ii) the...
The paper studies the problem of lowering the orders of input derivatives in nonlinear generalized state equations via generalized coordinate transformation. An alternative, computation-oriented proof is presented for the theorem, originally proved by Delaleau and Respondek, giving necessary and sufficient conditions for existence of such a transformation, in terms of commutativity of certain vector fields. Moreover, the dual conditions in terms of 1-forms have been derived, allowing to calculate...
Necessary and sufficient conditions are given for the existence of state and output transformations, that bring single-input single-output nonlinear state equations into the observer form. The conditions are formulated in terms of differential one-forms, associated with an input-output equation of the system. An algorithm for transformation of the state equations into the observer form is presented and illustrated by an example.
We show how we can transform the and control problems of descriptor systems with invariant zeros on the extended imaginary into problems with state-space systems without such zeros. Then we present necessary and sufficient conditions for existence of solutions of the original problems. Numerical algorithm for control is given, based on the Nevanlinna-Pick theorem. Also, we present an explicit formula for the optimal controller.
This paper introduces a new approach for the joint alignment of a large collection of segmented images into the same system of coordinates while estimating at the same time an optimal common coordinate system. The atlas resulting from our group-wise alignment algorithm is obtained as the hidden variable of an Expectation-Maximization (EM) estimation. This is achieved by identifying the most consistent label across the collection of images at each voxel in the common frame of coordinates. In an...