Next Article in Journal
Location Privacy Protection Systems in Presence of Service Quality and Energy Constraints
Next Article in Special Issue
A High Throughput Hardware Architecture for Parallel Recursive Systematic Convolutional Encoders
Previous Article in Journal
Privacy-Preserving Secure Computation of Skyline Query in Distributed Multi-Party Databases
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Youla–Kučera Parametrization with no Coprime Factorization—Single-Input Single-Output Case

School of Computer Science and Engineering, The University of Aizu, Aizu-Wakamatsu 965-8580, Japan
Information 2019, 10(4), 120; https://doi.org/10.3390/info10040120
Submission received: 5 March 2019 / Revised: 24 March 2019 / Accepted: 24 March 2019 / Published: 31 March 2019
(This article belongs to the Special Issue ICSTCC 2018: Advances in Control and Computers)

Abstract

:
We present a generalization of the Youla—Kučera parametrization to obtain all stabilizing controllers for single-input and single-output plants. This uses three parameters and can be applied to plants that may not admit coprime factorizations. In this generalization, at most two rational expressions of plants are required, while the Youla–Kučera parametrization requires precisely one rational expression.

1. Introduction

So far, the coprime factorization has played a central role to obtain stabilizing controllers in the factorization approach [1]. The factorization approach to control systems has the advantage that it includes, within a single framework, numerous linear systems such as continuous-time as well as discrete-time systems, lumped as well as distributed systems, one-dimensional as well as multidimensional systems, etc. [1,2]. A transfer function of this approach is considered as the ratio of two stable causal transfer functions. One of the attractive points of the factorization approach is the fact that all stabilizing controllers can be obtained by the Youla–Kučera parametrization with coprime factorization [3,4,5]. This Youla–Kučera parametrization has been used in a wide variety of applications for a long time (e.g., [6,7,8,9,10]).
Unfortunately, the Youla–Kučera parametrization cannot be applied to the plants that do not admit coprime factorizations. Mori, so far, gave the method to obtain part of stabilizing controllers by some different factorizations [11,12]. The objective of this paper is to generalize the Youla–Kučera parametrization to be applicable even for single-input single-output plants that may not admit the coprime factorization. This generalization employs three parameters and requires at most two rational expressions of plant, while the Youla–Kučera parametrization requires only one parameter and one rational expression of plant. The generalization will be expressed with an extension of Bézout identity. We will show that this generalization is equivalent to the parameterization method of [13], which does not require coprime factorization.
This paper is started with preliminaries from Section 2 to recall the notion of the factorization approach. We next state the main results of this paper, generalization of the Bézout identity and the Youla–Kučera parametrization, in Section 3. Then we review, in Section 4, the parametrization of stabilizing controllers of plants which may not admit coprime factorizations [13]. The proofs of the main results are given in Section 5. In Section 6, we give examples for the main results of Section 3. First example will be the plants that admit coprime factorizations. The next one will be Anantharam’s example [14]. Third one will be the discrete-time systems without the unit-delay element.

2. Preliminaries

The stabilization problem considered in this paper follows that of [15,16], shown in Figure 1. In the figure, u 1 and u 2 are inputs, y 1 and y 2 outputs, and e 1 and e 2 errors. We employ the symbols used in [13,15] in general. For further details, the reader is referred to [1,2,3,4,5,6,7,8,9,10,11,12,13].
We consider that the set of stable causal transfer functions is an integral domain with identity, denoted by A . The total field of fractions of A is denoted by F ; that is, F = { n / d | n , d A , d 0 } . This F is considered as the set of all possible transfer functions. Let Z be a prime ideal of A with Z A . Define the subsets P and P s of F as follows: P = { a / b F | a A , b A \ Z } , P s = { a / b F | a Z , b A \ Z } . Then, a transfer function in P ( P s ) is called causal (strictly causal).
Throughout the paper, the plant we consider has single-input and single-output, and its transfer function, which is also called a plant itself simply, is denoted by p and belongs to P (that is, p is causal).
For p P and c F , a matrix H ( p , c ) F 2 × 2 is defined as
H ( p , c ) = ( 1 + p c ) 1 p ( 1 + p c ) 1 c ( 1 + p c ) 1 ( 1 + p c ) 1
provided that 1 + p c is nonzero. This H ( p , c ) is the transfer matrix from [ u 1 u 2 ] t to [ e 1 e 2 ] t of the feedback system of Figure 1. If 1 + p c is nonzero and H ( p , c ) A 2 × 2 , then we say that the plant p is stabilizable, p is stabilized by c, and c is a stabilizing controller of p. In the definition above, we do not mention the causality of the stabilizing controller. Even so, it is known that if a causal plant is stabilizable, there always exists a causal stabilizing controller of the plant, and further if a strictly causal plant is stabilizable, any stabilizing controller of the plant is causal [16] [Propositions 6.1 and 6.2].
We denote by S ( p ) the set of all stabilizing controllers of the plant p, and by H ( p ) the set of H ( p , c ) ’s with all stabilizing controllers c of p. The relationship between S ( p ) and H ( p ) is as follows [17]:
H ( p ) = { H ( p , c ) A 2 × 2 | c S ( p ) } ,
S ( p ) = h 11 1 h 21 F | h 11 h 12 h 21 h 11 H ( p ) .
Thus, obtaining S ( p ) and obtaining H ( p ) are equivalent to each other.

3. Main Results

We present three main results. The first one is a generalization of the notions of Bézout identity and coprime factorization. The others are generalizations of the Youla–Kučera parametrization that can be applied to stabilizable plants even with no coprime factorization.
Theorem 1.
Let p be a causal plant ( p P ). Then p is stabilizable if and only if there exist n 1 and n 2 of A , and d 1 and d 2 of A { 0 } such that
p = n 1 / d 1 = n 2 / d 2 ,
y 1 n 1 + x 1 d 1 + y 2 n 2 + x 2 d 2 = 1
with y 1 , x 1 , y 2 , x 2 of A .
Theorem 2.
Let p be a stabilizable causal plant of P with symbols in Theorem 1 satisfying (4) and (5). Then the set S ( p ) of all stabilizing controllers of p is given as
S ( p ) = { y 1 d 1 + y 2 d 2 + r d 1 2 + s d 1 d 2 + t d 2 2 x 1 d 1 + x 2 d 2 r n 1 d 1 s n 1 d 2 t n 2 d 2 | r , s , t A , ( x 1 d 1 + x 2 d 2 r n 1 d 1 s n 1 d 2 t n 2 d 2 ) i s n o n z e r o } .
Theorem 3.
Let p be a stabilizable causal plant of P and c its stabilizing controller. Denote
h 11 h 12 h 21 h 11 = H ( p , c ) .
Then the set S ( p ) of stabilizing controllers of p is given as
S ( p ) = { h 21 + h 11 2 r + h 11 h 21 s + h 21 2 t h 11 + h 11 h 12 r + h 12 h 21 s ( 1 h 11 ) h 21 t | r , s , t A , ( h 11 + h 11 h 12 r + h 12 h 21 s ( 1 h 11 ) h 21 t ) i s n o n z e r o } .
Remark 1.
The fraction in (6) can be rewritten as
( y 1 + r d 1 + s d 2 ) d 1 + ( y 2 + t d 2 ) d 2 ( x 1 r n 1 ) d 1 + ( x 2 t n 2 s n 1 ) d 2
and, by noting that n 1 d 2 = n 2 d 1 ,
( y 1 + r d 1 ) d 1 + ( y 2 + t d 2 + s d 1 ) d 2 ( x 1 r n 1 s n 2 ) d 1 + ( x 2 t n 2 ) d 2 .
Observing the fractions above, we might add new parameter s of A as follows:
( y 1 + r d 1 + s d 2 ) d 1 + ( y 2 + t d 2 + s d 1 ) d 2 ( x 1 r n 1 s n 2 ) d 1 + ( x 2 t n 2 s n 1 ) d 2 ,
where s and s are s of (8) and (9), respectively. Even so, rearranging the numerator and denominator, we have
y 1 d 1 + y 2 d 2 + r d 1 2 + ( s + s ) d 1 d 2 + t d 2 2 x 1 d 1 + x 2 d 2 r n 1 d 1 ( s + s ) n 1 d 2 t n 2 d 2 .
Since s and s appear as in the form s + s only, we can remove the parameter s and consider s only.
Remark 2.
Even without considering the coprimeness, any stabilizable plant must satisfy (4) and (5) of Theorem 1. Otherwise, the plant is not stabilizable.
Remark 3.
An attractive point of Theorem 2 is that the set of stabilizing controllers can be obtained in the generalization form of the Youla–Kučera parametrization without the computation of coprime factorization, once the Equations (4) and (5) are obtained. On the other hand, Theorem 3 has the same attractive point once exactly one stabilizing controller is obtained.
Remark 4.
Theorems 1 and 2 are generalizations of Corollary 3.1.11 and Theorem 3.1.13 of [1], respectively.
Remark 5.
Suppose that a plant p P has two rational representations n 1 / d 1 and n 2 / d 2 with n 1 , n 2 , d 1 , d 2 A . Suppose further that we have found y 1 and x 2 of A such that
y 1 n 1 + x 2 d 2 = 1 .
In this case, we can apply Theorems 1 and 2 to the plant with y 2 = x 1 = 0 as special cases of Theorems 1 and 2, so that a stabilizing controller can be obtained and the set of stabilizing controllers can also be obtained. See Section 6.2 and Section 6.3 for examples.
Note that, in (10), we consider only numerator and denominator of (possibly) different rational expressions. Also, (10) does not mean the coprimeness of the plant. Evan so, once we have (10), we can obtain all stabilizing controllers.

4. Parametrization without Coprime Factorizability

Here, we briefly review the parameterization method of [13], which does not require coprime factorization. This is used to give the proof of Theorem 2.
Theorem 4.
(Single-input single-output version of Theorem 4 and Corollary 1 of [13]) Let p be a stabilizable causal plant of P . Let H 0 be H ( p , c ) A 2 × 2 , where c is a fixed stabilizing controller of p. Let Ω ( Q ) be a matrix defined as
Ω ( Q ) = H 0 1 0 0 0 Q H 0 0 0 0 1 + H 0
with a stable causal and square matrix Q in A 2 × 2 . Then we have the identity
H ( p ) = { Ω ( Q ) | Q A 2 × 2 a n d det ( Ω ( Q ) ) i s n o n z e r o } .
Then, any stabilizing controller has the form ω 21 ω 22 1 , where ω 21 and ω 22 are the (2,1)- and (2,2)-entries of Ω ( Q ) , provided that ω 22 is nonzero.
This theorem gives the parameterization with a parameter matrix Q without coprime factorizability of the plant. The parameterization by Ω ( Q ) is independent of the choice of stabilizing controller c.
Decompose Q, Ω ( Q ) , and H ( p , c ) in Theorem 4 as follows:
q 11 q 12 q 21 q 22 = Q , ω 11 ω 12 ω 21 ω 22 = Ω ( Q ) , h 11 h 12 h 21 h 11 = H ( p , c ) .
Then, by noting that h 12 h 21 = ( 1 h 11 ) h 11 , we have
ω 11 = ω 22 = h 11 + ( h 11 1 ) h 11 ( q 11 + q 22 ) + ( h 11 1 ) h 21 q 12 + h 11 h 12 q 21 , ω 12 = h 12 + ( h 11 1 ) h 12 ( q 11 + q 22 ) + ( h 11 1 ) 2 q 12 + h 12 2 q 21 , ω 21 = h 21 + h 11 h 21 ( q 11 + q 22 ) + h 21 2 q 12 + h 11 2 q 21 .
In the equations above, q 11 and q 22 appears always in the form ( q 11 + q 22 ) . Thus, the parameter q 22 can be removed with keeping the parameter q 11 effective, so that ω 11 , ω 12 , ω 21 , and ω 22 can be given as
ω 11 = ω 22 = h 11 + ( h 11 1 ) h 11 q 11 + ( h 11 1 ) h 21 q 12 + h 11 h 12 q 21 ,
ω 12 = h 12 + ( h 11 1 ) h 12 q 11 + ( h 11 1 ) 2 q 12 + h 12 2 q 21 ,
ω 21 = h 21 + h 11 h 21 q 11 + h 21 2 q 12 + h 11 2 q 21 .
Hence, noting that ω 11 = ω 22 , we can express H ( p ) and S ( p ) as follows:
H ( p ) = { ω 11 ω 12 ω 21 ω 11 | ω 11 , ω 12 , ω 21 are of ( 14 ) , ( 15 ) , ( 16 ) , respectively , and ω 11 is nonzero . } ,
S ( p ) = ω 21 ω 11 | ω 11 , ω 21 are of ( 14 ) , ( 16 ) , respectively , and ω 11 is nonzero . ,
in which the parameters are q 11 , q 12 , and q 21 . In the proof of Theorem 2, we will show that the parametrization of (17) is equal to the set of H ( p , c ) ’s based on the right-hand side of (6).

5. Proofs of Theorems 1, 2 and 3

Proof of Theorem 1.
(Only If). Suppose that p is stabilizable. Then, there exists a stabilizing controller c. Thus, H ( p , c ) of (1) is over A . Let
h 11 h 12 h 21 h 11 : = H ( p , c ) = ( 1 + p c ) 1 p ( 1 + p c ) 1 c ( 1 + p c ) 1 ( 1 + p c ) 1
((1,1)- and (2,2)-entries of H ( p , c ) are identical).
If c is zero, then p is in A because of h 12 = p . Letting n 1 = n 2 = p , y 1 = y 2 = x 2 = 0 , d 1 = d 2 = x 1 = 1 , we have (4) and (5).
In the case where c is nonzero, both h 11 and h 21 are nonzero. Letting n 1 = h 12 , d 1 = h 11 , n 2 = p h 21 ( = 1 h 11 ), d 2 = h 21 , x 1 = y 2 = 1 , y 1 = x 2 = 0 , we have (4) and (5).
(If). Suppose that there exist n 1 , d 1 , y 1 , x 1 , n 2 , d 2 , y 2 , x 2 of A with (4) and (5).
Consider the case where x 1 d 1 + x 2 d 2 is zero. This is equal to 1 ( y 1 n 1 + y 2 n 2 ) , so that y 1 n 1 + y 2 n 2 = 1 . It follows that at least one of y 1 n 1 and y 2 n 2 is nonzero. Assume, without loss of generality, that y 1 n 1 is nonzero, which means that both y 1 and n 1 are nonzero. Because d 1 is nonzero, n 1 d 1 is a nonzero. Thus, x 1 d 1 + x 2 d 2 + n 1 d 1 is nonzero.
From the previous paragraph, we observe that the expression
x 1 d 1 + x 2 d 2 + r 0 n 1 d 1 + t 0 n 2 d 2
is nonzero by appropriate choice of ( r 0 , t 0 ) from ( 0 , 0 ) , ( 1 , 0 ) , ( 0 , 1 ) . In the following, we suppose that (20) is nonzero with ( r 0 , t 0 ) being one of ( 0 , 0 ) , ( 1 , 0 ) , ( 0 , 1 ) .
From now, we show that the following c is a stabilizing controller of p:
c = y 1 d 1 + y 2 d 2 r 0 d 1 2 t 0 d 2 2 x 1 d 1 + x 2 d 2 + r 0 n 1 d 1 + t 0 n 2 d 2 .
This is done by showing that H ( p , c ) with c of (21) is over A , which consists of h 11 , h 12 , h 21 of (19). Observe that
h 11 = x 1 d 1 + x 2 d 2 + r 0 n 1 d 1 + t 0 n 2 d 2 , h 12 = ( x 1 n 1 + x 2 n 2 + r 0 n 1 2 + t 0 n 2 2 ) , h 21 = y 1 d 1 + y 2 d 2 r 0 d 1 2 t 0 d 2 2 ,
which are all in A , so that H ( p , c ) is over A . Further, 1 + p c is 1 / ( x 1 d 1 + x 2 d 2 + r 0 n 1 d 1 + t 0 n 2 d 2 ) , which is nonzero. Hence, c is a stabilizing controller of p. Therefore, p is stabilizable. □
Remark 6.
Analogously to the construction of (20), we can make x 1 d 1 + x 2 d 2 + r 0 n 1 d 1 + t 0 n 2 d 2 not in Z with ( r 0 , t 0 ) being one of ( 0 , 0 ) , ( 1 , 0 ) , ( 0 , 1 ) , so that c of (21) is causal. This fact can be shown by discussion analogous to the proof above.
Proof of Theorem 2.
Suppose that p is stabilizable.
We denote by S ¯ ( p ) the right-hand side of (6). We also introduce H ¯ ( p ) , by virtue of the relation (2), as follows:
H ¯ ( p ) = { H ( p , c ) | c S ¯ ( p ) } .
This H ¯ ( p ) is expressed as follows:
H ¯ ( p ) = { x 1 d 1 + x 2 d 2 r n 1 d 1 s n 1 d 2 t n 2 d 2 ( x 1 n 1 + x 2 n 2 r n 1 2 s n 1 n 2 t n 2 2 ) y 1 d 1 + y 2 d 2 + r d 1 2 + s d 1 d 2 + t d 2 2 x 1 d 1 + x 2 d 2 r n 1 d 1 s n 1 d 2 t n 2 d 2 | r , s , t A , x 1 d 1 + x 2 d 2 r n 1 d 1 s n 1 d 2 t n 2 d 2 is nonzero }
(The determinant of the matrix in (22) is equal to x 1 d 1 + x 2 d 2 r n 1 d 1 s n 1 d 2 t n 2 d 2 ).
Thus, the proof of Theorem 2 is achieved by showing H ¯ ( p ) = H ( p ) , which is done by showing H ¯ ( p ) H ( p ) and H ¯ ( p ) H ( p ) .
In the following, based on the proof of Theorem 1, we assume, without loss of generality, that x 1 d 1 + x 2 d 2 + r 0 n 1 d 1 + t 0 n 2 d 2 is nonzero, where ( r 0 , t 0 ) is one of ( 0 , 0 ) , ( 1 , 0 ) , ( 0 , 1 ) .
( H ¯ ( p ) H ( p ) ). Let
c = y 1 d 1 + y 2 d 2 r 0 d 1 2 t 0 d 2 2 x 1 d 1 + x 2 d 2 + r 0 n 1 d 1 + t 0 n 2 d 2 ,
which is a stabilizing controller of p. Then H ( p , c ) is as follows:
H ( p , c ) = h 11 h 12 h 21 h 11 = x 1 d 1 + x 2 d 2 + r 0 n 1 d 1 + t 0 n 2 d 2 ( x 1 n 1 + x 2 n 2 + r 0 n 1 2 + t 0 n 2 2 ) y 1 d 1 + y 2 d 2 r 0 d 1 2 t 0 d 2 2 x 1 d 1 + x 2 d 2 + r 0 n 1 d 1 + t 0 n 2 d 2 .
Based on this c, we consider an element of H ( p ) , that is, a matrix below in the set of the right-hand side of (17) with the equations of (14), (15), and (16):
ω 11 ω 12 ω 21 ω 11 .
Now we let
q 11 = ( d 1 n 1 + d 1 2 n 1 ( x 1 + r 0 n 1 ) + d 1 2 n 2 ( x 2 + t 0 n 2 ) ) ( r + r 0 ) + 2 d 1 n 2 s + ( d 2 n 2 + d 2 2 n 1 ( x 1 + r 0 n 1 ) + d 2 2 n 2 ( x 2 + t 0 n 2 ) ) ( t + t 0 ) ,
q 12 = ( n 1 2 + d 1 n 1 2 ( x 1 + r 0 n 1 ) + d 1 n 1 n 2 ( x 2 + t 0 n 2 ) ) ( r + r 0 ) + n 1 n 2 s + ( n 2 2 + d 2 n 1 n 2 ( x 1 + r 0 n 1 ) + d 2 n 2 2 ( x 2 + t 0 n 2 ) ) ( t + t 0 ) ,
q 21 = d 1 2 ( r + r 0 ) + d 1 d 2 s + d 2 2 ( t + t 0 ) .
Then, a straightforward but tedious computation shows that the matrix of (24) becomes equal to the matrix in the right-hand side of (22). Hence we have H ¯ ( p ) H ( p ) .
( H ¯ ( p ) H ( p ) ). Suppose an element of H ¯ ( p ) of (22). Then we let
r = ( y 1 r 0 d 1 ) ( x 1 + r 0 n 1 ) q 11 + ( y 1 r 0 d 1 ) 2 q 12 + ( x 1 + r 0 n 1 ) 2 q 21 r 0 ,
s = ( ( y 1 r 0 d 1 ) ( x 2 + t 0 n 2 ) + ( y 2 t 0 d 2 ) ( x 1 + r 0 n 1 ) ) q 11 + 2 ( y 1 r 0 d 1 ) ( y 2 t 0 d 2 ) q 12 + 2 ( x 1 + r 0 n 1 ) ( x 2 + t 0 n 2 ) q 21 ,
t = ( y 2 t 0 d 2 ) ( x 2 + t 0 n 2 ) q 11 + ( y 2 t 0 d 2 ) 2 q 12 + ( x 2 + t 0 n 2 ) 2 q 21 t 0 .
By a straightforward but tedious computation again, the matrix in the right-hand side of (22) becomes equal to Ω ( Q ) of (11) with
Q = q 11 q 12 q 21 0 , c = y 1 d 1 + y 2 d 2 + r 0 d 1 2 + t 0 d 2 2 x 1 d 1 + x 2 d 2 + r 0 n 1 d 1 + t 0 n 2 d 2 , and H 0 = H ( p , c ) .
Therefore, we have H ¯ ( p ) H ( p ) . □
Proof of Theorem 3.
We consider two cases: c = 0 and c 0 .
( c = 0 ). In this case, p is in A . Then, h 11 = 1 , h 12 = p , and h 21 = 0 . The fraction in (7) is expressed as r 1 r p provided 1 r p is nonzero. This is just the Youla–Kučera parametrization of the plant p in A by noting that the coprime factorization of p A is p = n / d with n = p , d = 1 , and the Bézout identity 0 · n + 1 · d = 1 .
( c 0 ). As in the proof of Theorem 1, letting n 1 = h 12 , d 1 = h 11 , n 2 = 1 h 11 , d 2 = h 21 , x 1 = y 2 = 1 , y 1 = x 2 = 0 , we obtain (4) and (5). Applying Theorem 2 to them, we have (7). □

6. Example

6.1. Coprime Factorization

Suppose that a plant admits a coprime factorization, say p = n / d and y n + x d = 1 with n, d, y, x A . Letting n 1 = n 2 = n , d 1 = d 2 = d , y 1 = y , x 1 = x , y 2 = x 2 = 0 , one can apply Theorems 1 and 2 to the plant in order to obtain stabilizing controllers. The expression in the right-hand side of (6) is expressed as
y + ( r + s + t ) d x ( r + s + t ) n .
By replacing ( r + s + t ) by new parameter u of A , we have
y + u d x u n ,
which is equivalent to the Youla–Kučera parametrization.

6.2. Anantharam’s Example

Let us consider an example given by Anantharam in [14]. He considered the case A = Z [ 5 ] = { u + v 5 | u , v Z } , where Z denotes the set of integers. We also let Z be { 0 } . The ring A is isomorphic to Z [ x ] / ( x 2 + 5 ) and is an integral domain but not a unique factorization domain [18] (pp. 134–135). In fact, 6 A has two factorizations, 2 · 3 and ( 1 + 5 ) · ( 1 5 ) . He showed, in [14], that a plant p = ( 1 + 5 ) / 2 does not admit a coprime factorization but is stabilizable and c = ( 1 5 ) / ( 2 ) is a stabilizing controller. Then, H ( p , c ) is as follows:
H ( p , c ) = 2 1 + 5 1 5 2 .
Based on Theorem 3, the set of stabilizing controllers of p, S ( p ) of (7), is given as
S ( p ) = { ( 1 5 ) + 4 r 2 ( 1 5 ) s 2 ( 2 + 5 ) t 2 2 ( 1 + 5 ) r + 6 s 3 ( 1 5 ) t | r , s , t A , ( 2 2 ( 1 + 5 ) r + 6 s 3 ( 1 5 ) t ) is nonzero } .
By replacing r u , s u , t u with new parameter u of A , we have
S ( p ) = 2 u + ( 1 5 ) ( 1 + 5 ) u 2 | u A , ( ( 1 + 5 ) u 2 ) is nonzero ,
which is the same result as one shown in [19].
We can also obtain alternative parametrization from Theorem 2 based on Note 5. The plant p = ( 1 + 5 ) / 2 has alternative representation 3 / ( 1 5 ) . From 3 and 2, which are the numerator of 3 / ( 1 5 ) and the denominator of ( 1 + 5 ) / 2 , respectively, we can see 1 · 3 + ( 1 ) · 2 = 1 , so that letting n 1 = 3 , n 2 = ( 1 + 5 ) , d 1 = ( 1 5 ) , d 2 = 2 , y 1 = 1 , x 1 = 0 , y 2 = 0 , x 2 = 1 , we have (4) and (5). Thus, (6) results
{ ( 1 5 ) 2 ( 2 + 5 ) r + 2 ( 1 5 ) s + 4 t 2 3 ( 1 5 ) r 6 s 2 ( 1 + 5 ) t | r , s , t A , ( 2 3 ( 1 5 ) r 6 s 2 ( 1 + 5 ) t ) is nonzero } .
This set (32) is equal to (31) by appropriate changes of parameters r, s, t.

6.3. Discrete-Time Systems without Unit-Delay Element

Mori [16] considered the case A = R [ z 2 , z 3 ] , where R denotes the set of real numbers. We also let Z be { f A | f has zero constant term . } . This ring is an integral domain but not a unique factorization domain. In fact, z 6 A has two factorizations, z 2 · z 2 · z 2 and z 3 · z 3 .
Let us consider the plant p = ( 1 z 2 ) / ( 1 z 3 ) P . Now we let
n 1 = 1 z 2 , d 1 = 1 z 3 , n 2 = 1 + z 3 , d 2 = 1 + z 2 + z 4
of A with p = n 1 / d 1 = n 2 / d 2 . Then we have y 1 = ( 2 + z 2 ) / 3 , x 1 = 0 , y 2 = 0 , and x 2 = 1 / 3 with n 1 y 1 + d 1 x 1 + n 2 y 2 + d 2 x 2 = 1 . Thus, the plant p is stabilizable by Theorem 1.
Based on Theorem 2, the set of stabilizing controllers of p, S ( p ) of (6), is given as
S ( p ) = { n c / d c | r , s , t A , d c is nonzero } ,
where
n c = 1 3 ( 2 + z 2 ) ( 1 z 3 ) + ( 1 z 3 ) 2 r + ( 1 z 3 ) ( 1 + z 2 + z 4 ) s + ( 1 + z 2 + z 4 ) 2 t , d c = 1 3 ( 1 + z 2 + z 4 ) ( 1 z 2 ) ( 1 z 3 ) r ( 1 z 6 ) s ( 1 + z 3 ) ( 1 + z 2 + z 4 ) t .

7. Conclusions and Future Work

This paper has presented a generalization of the Youla–Kučera parametrization to obtain all stabilizing controllers without coprime factorization. This is based on two rational expressions of a given plant. Alternative parametrization is also given by one stabilizing controller.
As future work, we will aim to investigate further generalization of the Youla–Kučera parametrization for multi-input multi-output plants with no coprime factorizations as well. Also, the possibility to extend Theorems 1–3 will be investigated.

Funding

This research received no external funding.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Vidyasagar, M. Control System Synthesis: A Factorization Approach; MIT Press: Cambridge, MA, USA, 1985. [Google Scholar]
  2. Mori, K. Parametrization of All Strictly Causal Stabilizing Controllers. IEEE Trans. Automat. Contr. 2009, 54, 2211–2215. [Google Scholar] [CrossRef]
  3. Youla, D.; Jabr, H.; Bongiorno, J., Jr. Modern Wiener-Hopf design of optimal controllers, Part I: The single-input case. IEEE Trans. Automat. Contr. 1976, 21, 3–14. [Google Scholar] [CrossRef]
  4. Kučera, V. Stability of discrete linear feedback systems. Proc. IFAC World Congr. 1975. [Google Scholar] [CrossRef]
  5. Kučera, V. A Method to Teach the Parameterization of All Stabilizing Controllers. Proc. IFAC World Congr. 2011, 44, 6355–6360. [Google Scholar] [CrossRef]
  6. Landau, I.; Airimţoaie, T.; Alma, M. IIR Youla–Kučera Parameterized Adaptive Feedforward Compensators for Active Vibration Control With Mechanical Coupling. IEEE Trans. Control Syst. Technol. 2013, 21, 765–779. [Google Scholar] [CrossRef]
  7. Sǎbau, Ş.; Martins, N. Youla–Like Parametrizations Subject to QI Subspace Constraints. IEEE Trans. Automat. Contr. 2014, 59, 1411–1422. [Google Scholar] [CrossRef]
  8. Blanchini, F.; Colaneri, P.; Fujisaki, Y.; Miani, S.; Pellegrino, F. A Youla–Kučera parameterization approach to output feedback relatively optimal control. Syst. Control Lett. 2015, 81, 14–23. [Google Scholar] [CrossRef]
  9. Doumiati, M.; Martinez, J.; Sename, O.; Dugard, L.; Lechner, D. Road profile estimation using an adaptive Youla–Kučera parametric observer: Comparison to real profilers. Control Eng. Pract. 2017, 61, 270–278. [Google Scholar] [CrossRef]
  10. Tang, T.; Bo, Q.; Tao, Y. Youla–Kučera Parameterization-Based Optimally Closed-Loop Control for Tip–Tilt Compensation. IEEE Sens. J. 2018, 18, 6154–6160. [Google Scholar] [CrossRef]
  11. Mori, K. Stabilizing Controllers from Non-Coprime Factorization for Single-Input Single-Output Plants. In Proceedings of the 2017 11th Asian Control Conference (ASCC 2017), Gold Coast, Australia, 17–20 December 2017; pp. 2459–2463. [Google Scholar]
  12. Mori, K. A Generalization of Coprime Factorization forObtaining Stabilizing Controllers. In Proceedings of the 2018 22nd International Conference on System Theory, Control and Computing (ICSTCC), Sinaia, Romania, 10–12 October 2018; pp. 147–151. [Google Scholar]
  13. Mori, K. Parameterization of Stabilizing Controllers over Commutative Rings with Application to Multidimensional Systems. IEEE Trans. Circuits Syst. I 2002, 49, 743–752. [Google Scholar] [CrossRef]
  14. Anantharam, V. On Stabilization and the Existence of Coprime Factorizations. IEEE Trans. Automat. Contr. 1985, 30, 1030–1031. [Google Scholar] [CrossRef]
  15. Sule, V. Feedback Stabilization over Commutative Rings: The Matrix Case. SIAM J. Control Optim. 1994, 32, 1675–1695. [Google Scholar] [CrossRef]
  16. Mori, K.; Abe, K. Feedback Stabilization over Commutative Rings: Further study of coordinate-free approach. SIAM J. Control Optim. 2001, 39, 1952–1973. [Google Scholar] [CrossRef]
  17. Mori, K. Elementary proof of controller parametrization without coprime factorizability. IEEE Trans. Automat. Contr. 2004, 49, 589–592. [Google Scholar] [CrossRef]
  18. Sigler, L. Algebra; Springer-Verlag: New York, NY, USA, 1976. [Google Scholar]
  19. Mori, K. Controller Parameterization of Anantharam’s Example. IEEE Trans. Automat. Contr. 2004, 48, 1655–1656. [Google Scholar] [CrossRef]
Figure 1. Feedback System.
Figure 1. Feedback System.
Information 10 00120 g001

Share and Cite

MDPI and ACS Style

Mori, K. Youla–Kučera Parametrization with no Coprime Factorization—Single-Input Single-Output Case. Information 2019, 10, 120. https://doi.org/10.3390/info10040120

AMA Style

Mori K. Youla–Kučera Parametrization with no Coprime Factorization—Single-Input Single-Output Case. Information. 2019; 10(4):120. https://doi.org/10.3390/info10040120

Chicago/Turabian Style

Mori, Kazuyoshi. 2019. "Youla–Kučera Parametrization with no Coprime Factorization—Single-Input Single-Output Case" Information 10, no. 4: 120. https://doi.org/10.3390/info10040120

APA Style

Mori, K. (2019). Youla–Kučera Parametrization with no Coprime Factorization—Single-Input Single-Output Case. Information, 10(4), 120. https://doi.org/10.3390/info10040120

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop