Realization and elimination in rational representations of behaviors
Introduction
A behavior, say , of a linear time invariant differential systems (LTIDS) admits many different kinds of representations such as polynomial representations, rational representations, state representations etc. Also, a behavior admits different kinds of state representations such as classical input/state/output (I/S/O) representations, driving variable representations, and output nulling representations (see [1], [2]). In this paper we deal with the relation between rational representations and output nulling/driving variable representations.
Among other things, in this paper, we address elimination of the state variable from a given output nulling or driving variable representation, thereby attaining a kernel representation of its external behavior. Further, given a rational kernel or image representation of a behavior, a natural question is whether a given realization of the rational matrix appearing in it yields a state representation of the behavior. More precisely, given a behavior and a rational kernel representation with a proper real rational matrix, does a realization of the rational matrix yield an output nulling representation of this behavior? Similarly, given a controllable behavior and a rational image representation with a proper real rational matrix, does a realization of the rational matrix yield a driving variable representation of this behavior? We show under which conditions the answer to the above posed questions is positive.
We also look into the aspect of minimality of these state representations. Minimality is defined differently for each of the state representations that a behavior admits, see [1]. Minimal output nulling and driving variable representations were treated earlier in [3], [4]. It is well-known that every proper real rational matrix admits a realization such that the underlying constant real matrices form a controllable and an observable pair and that the I/S/O representation obtained from such realization is minimal. However, this is not the case with driving variable and output nulling representations. The controllability and observability conditions on the underlying constant real matrices are not sufficient to ensure minimality of the output nulling and driving variable representations. In fact, not every rational matrix appearing in a rational kernel (image) representation yields a minimal output nulling (driving variable) representation via realization. We therefore want to answer the following question: Given a behavior , a rational kernel representation with a proper real rational matrix, and a realization of this matrix such that the underlying constant real matrices form a controllable and an observable pair, find conditions under which this realization yields a minimal output nulling representation of the behavior. A second question that we want to address is: Given a controllable behavior , a rational image representation with a proper real rational matrix, and a realization of this matrix such that the underlying constant real matrices form a controllable and an observable pair, find conditions under which this realization yields a minimal driving variable representation of the behavior.
The outline of this paper is as follows. In the remainder of this section we will introduce some notation. In Section 2, we will review various representations that a behavior of a LTIDS admits. In Section 3, we deal with elimination of the state variable from a given output nulling representation, thereby attaining a kernel representation of its external behavior. In the case of driving variable representations, we eliminate both the state and the driving variable. In Section 4, we deal with realizations of the rational matrix appearing in a rational representation, and the state representations it yields. Finally, in Section 5, we address the questions posed above on minimality of output nulling and driving variable representations. We conclude the paper with remarks in Section 6.
We use the standard symbols and for the fields of real and complex numbers. We use , etc. for the real linear spaces of vectors and matrices with components in . denotes the set of infinitely often differentiable functions from to . will denote the field of real rational functions in the indeterminate . will denote the ring of polynomials with real coefficients in the indeterminate . will denote the ring of proper rational functions in the indeterminate with real coefficients. We will use , etc. for the spaces of vectors and matrices with components in and , respectively. If dimensionality is clear from the context, we will use the notation , or , etc. A square non-singular polynomial matrix is called unimodular if the determinant of is a non-zero constant. is biproper if and are both proper. A polynomial matrix is called left prime over if has full row rank for all . For constant real matrices of appropriate dimensions, the quadruple is called strongly controllable if the pair is controllable for every of appropriate dimensions. Similarly, the quadruple is called strongly observable if the pair is observable for every of appropriate dimensions.
Section snippets
Behaviors and their representations
In this section we review linear time invariant differential systems and representations of their behavior. A linear time invariant differential system (LTIDS) is defined as a system whose behavior is a solution space of finite set of higher order constant coefficient linear differential equations. Obviously, for any LTIDS there exists a real polynomial matrix with columns, i.e. , such that The representation (1) is called a
External behavior induced by state representations
In this section we investigate how to obtain the external behavior induced by a given state representation. We limit attention to output nulling and driving variable representations. Elimination of the state in I/S/O representations was dealt with, for example, in [5], [11]. Here, we investigate two main problems. Firstly, if is the full behavior induced by the output nulling representation , how can we obtain a kernel representation of its external behavior
Realizations and state representations
For linear differential systems represented by polynomial kernel and image representations, realization theory in the behavioral framework has been dealt with in [1], [3], [11]. In [1], an algorithm to realize a minimal ISO representation from a given polynomial kernel representation was given. For a given state representation of the system, conditions under which this representation is minimal were given in [3].
In this section we deal with realizations of the rational matrix appearing in a
Realization and minimal state representations
In the context of I/S/O representations, it is well known that a representation obtained from a realization is minimal if and only if is a controllable pair and is an observable pair. As mentioned in the introduction, in the case of output nulling and driving variable representations these conditions on are not sufficient for minimality. This can be clearly seen in the example below: Example 5.1 Let . Consider a realization of in which . Then we have ONR given
Conclusions
In this paper we have dealt with rational representations and their connection with driving variable and output nulling representations of linear differential systems. We have attained kernel representations of the external behaviors induced by output nulling and driving variable representations. We have also established conditions under which a given realization of a proper real rational matrix appearing in a rational kernel (image) representation of a behavior yields an output nulling
References (18)
Input–output and state-space representations of finite-dimensional linear time-invariant systems
Linear Algebra and its Applications
(1983)- et al.
Behaviors defined by rational functions
Linear Algebra and its Applications
(2007) - et al.
Rational representations and controller synthesis of behaviors
Automatica
(2012) - et al.
Equivalence of rational representations of behaviors
Systems and Control Letters
(2011) First-Order Representations of Linear Systems
(1994)- S. Weiland, Theory of approximation and disturbance attenuation for linear systems, Doctoral Dissertation,...
- H.B. Minh, Model reduction in a behavioral framework, Doctoral Dissertation, Rijksuniversiteit Groningen, 2009....
- et al.
Introduction to Mathematical Systems Theory: A Behavioral Approach
(1997) - et al.
Rational representations of behaviors: interconnectability and stabilizability
Mathematics of Control, Signal, and Systems
(1997)
Cited by (3)
A converse to the deterministic separation principle
2017, Systems and Control LettersA complement on elimination and realization in rational representations
2015, Lecture Notes in Control and Information SciencesDistance between behaviors and rational representations
2013, SIAM Journal on Control and Optimization