The regulator problem is solvable for a linear dynamical system if and only if is both pole assignable and state estimable. In this case, is a canonical system (i.e., reachable and observable). When the ring is a field or a Noetherian total ring of fractions the converse is true. Commutative rings which have the property that the regulator problem is solvable for every canonical system (RP-rings) are characterized as the class of rings where every observable system is state estimable (SE-rings), and this class is shown to be equal to the class of rings where every reachable system is pole-assignable (PA-rings) and the dual of a canonical system is also canonical (DP-rings).
The mathematical theory of systems is a theory about mathematical models of real-life systems, which are often given by functions that describe the time dependence of a point in some state-space. This approach assumes that there are several internal variables to the system and that system itself evolves in terms of external inputs together with current internal states. Systems are not always simple enough to be described using linear models, but linear systems are very useful and widely applied. A linear system can then be presented in terms of the time-variable as the right-hand-side equation together with a read-out equation
where is the sequence of external inputs to the system, is the sequence of observations, and is the sequence of internal states. Inputs and outputs live in finite dimensional real vector spaces in the classical framework. This is also the case of I/O systems realized in a finite dimensional real vector space of internal states. Note that once bases in finite dimensional vector spaces of inputs, states, and outputs are fixed, the above dynamical equation gives rise to a system given by the triple of real matrices.
In more general cases [1,2], scalars live in a commutative ring . This commutative ring would be the field of complex numbers , or in a finite field , in the ring of modular integers , in a polynomial ring , or in a ring of continuous functions . In this paper, linear systems are given by triples of matrices with entries in some commutative ring of scalars. For general reading on the subject of linear systems over commutative rings and its applications the reader is referred to [1,2]. Some recent studies on the topic are [4,5,7,8,9, 10,11,12, 13,14]. References [6,15, 16,17] also deal with linear dynamical systems over commutative rings from the feedback regulation point of view.
This paper deals with the study of regulation of linear systems over commutative rings by means of dynamic compensators. The paper is organized as follows: feedback control of linear systems as well as output rejections and dynamic compensator actions are reviewed in Section 2.
Note that if is any field, then it is well known that a triple admits a dynamic compensator if and only if (a) pair is reachable; and (b) pair is observable; that is to say, triple is a canonical one. But however that characterization does not extend to the case of being an arbitrary commutative ring: the condition of being canonical does not assure, in general, that a dynamic compensator does exist. Section 3 is devoted to review reachability, observability, as well as necessary conditions on a triple, like duality and pole-assignment, in order to admit a dynamic compensator in the case of scalars in a commutative ring .
Next, Section 5 is devoted to solve the regulator property for single-input single-output (SISO) triples . To be concise, the class of rings where every SISO canonical triple admits a dynamic compensator is the class of total rings of fractions.
Section 6 deals with the general case of multi-input multi-output linear systems . The class of SE-rings is introduced as the class of commutative rings where every observable pair is state-estimable. This latter class of rings is exactly the same as the class of rings where every canonical triple admits a dynamic compensator (RP-rings). Hence, the characterization result
is proved. Even more, the class RP (or SE) is related to former classical classes of PA-rings and DP-rings. To be concise, we prove the following result:
Some examples to distinguish several classes of rings related to the problem are described in Section 7; special attention is paid to finite commutative rings as a class of RP-rings useful by their applications, see [4,5,19,20], or . Several examples are also given to circumscribe the class of RP-rings. Finally, conclusion of the paper is given in Section 8.
2 Feedback control, output rejection, and regulation
Feedback action on a linear system
or closed loop by matrix is performed by choosing the inputs as a linear function of current states. Then system (2) is transformed into
that is to say, triple is brought to a new triple , which is equivalent to the latter in the sense that one of them is obtained from the other by the feedback loop defined by (Figure 1).
Note that characteristic polynomial of is not equal to characteristic polynomial of . Hence, feedback loops modify the eigen-structure of state-transition matrix of linear system, and therefore feedback loops modify the behavior of systems.
But, on the other hand, measuring internal states in order to define the feedback loop is in general a hard task because too many sensors are often needed. It would be impossible to access internal states in many real-world cases. Thus, an estimator is often used instead current internal state to close the feedback loop. Hence, a dynamic compensator scheme is performed as follows in order to give rise to a useful observer .
Now set the inputs as . Then dynamics of the observer are as follows:
The error estimate satisfies the dynamic equation
The above discussion proves, in the context of commutative rings, the following result:
Let be a commutative ring. Consider the linear system (1) with scalars in . Then the dynamic compensator yields the following linear control system:
where is the error of the estimator .
It is worth highlighting that dynamic compensator brings linear system to linear system
and therefore the characteristic polynomial of state-transition matrix of dynamic compensator is
Hence, if we can assign the characteristic polynomials and from the triple , then we are able to control effectively errors , as well as states by means of a dynamic compensator. This motivates the following definition:
Consider the linear system given by . Then:
System is pole-assignable if for each selection of there exists some matrix such that ; that is to say, we are able to set the poles of the state transition matrix up to feedback action.
System is state-estimable if for each selection of there exists some matrix such that ; that is to say, we are able to set the poles of the state transition matrix up to output rejection.
Now it is clear from the aforementioned definition and the aforementioned construction that a dynamic compensator can be built from linear system if and only if is both pole-assignable and state-estimable.
3 Reachability, controllability, and observability
Notions of reachability and observability are reviewed in this section. These conditions on a system will be shown to be necessary for pole-assignability and state-estimability, and hence to build dynamic compensators.
Let be a commutative ring and consider the triple of matrices representing a linear system given by equations (2). Then:
System is reachable if and only if reachability block matrix defines an onto linear map
System is observable if and only if observability block matrix defines an injective linear map
The following classical result characterizes when a linear system admits a dynamic compensator in terms of surjectivity of reachability map and injectivity of observability map.
Let be a commutative ring and a linear system, then:
If system is pole assignable, then is reachable.
If system is state estimable, then is observable.
See [1, Theorem 3.1] for a proof of statement 1.
In order to prove let be a state estimable linear system, then it is straightforward that system is pole assignable and hence is a reachable pair by statement . Finally, note that if is a reachable pair, then is an observable pair and the result is complete.□
System is called the dual system. The aforementioned proof is an example of duality argument. Section 4 deals with dual systems and duality property.
[17, Def. 3.3.] A linear system is called canonical if it is reachable and observable.
It is clear that every canonical system over a field admits dynamic compensator. When does this result generalize to commutative rings? That is to say, we are interested in describing conditions for a commutative ring in order that any canonical system over admits a dynamic compensator.
A commutative ring has the regulator property for canonical systems (or is an RP-ring) if every canonical linear system admits a dynamic compensator.
Since every field has the regulator property it follows that fields are RP-rings.
In general, it is clear that a ring having the regulator property verifies:
Every reachable system is pole-assignable, that is to say, is a PA-ring.
Every observable system is state-estimable. In this case, we say that is an SE-ring.
Note that the aforementioned classes of commutative rings are closely related. In fact, the class of PA-rings contains the class of SE-rings. In other words, we have the following characterization.
Let be a commutative ring. Then the following are equivalent:
is an RP-ring.
is a PA-ring and an SE-ring.
is an SE-ring.
The only non-trivial issue to prove is that every SE-ring is a PA-ring. Suppose that is an SE-ring and consider a reachable system and scalars . The result is proven if we find out a feedback matrix such that .
Since is reachable it follows that represents an onto linear map. Thus, the ideal generated by maximal minors (of size ) contains a unit of . But
Thus, contains a unit of and therefore represents an injective linear map and consequently system is observable. Now, since is SE-ring, there exists such that and we are done by setting .□
The proofs of aforementioned results of Theorems 3.2, and 3.7, were performed by arguments of duality in linear systems [15,16]. Now we are dealing with main definitions and results on duality which are related to our problem.
Let be a linear system over commutative ring representing the following right-hand-side equation together with a read-out equation
We denote by the dual system representing the right-hand-side equation together with a read-out equation
Systems and are dual to each other. Note that it is straightforward to prove that there exists a dynamic compensator for if and only if there exists a dynamic compensator for .
For our purposes, we note that if is a field, then is canonical if and only if is canonical. In the general case of being a commutative ring one has the following result:
If system is reachable, then dual system is observable.
See proof of Theorem 3.7.□
The converse does not hold: consider the trivial system over given by . It is clear that is observable because is injective. But on the other hand dual system is not reachable because is not surjective.
 Let be a commutative ring. We say that the duality principle holds for , or is a DP-ring if the following statements are equivalent:
System is observable.
System is reachable.
The aforementioned definition could also be read as: dual system of a canonical system is also canonical in DP-rings.
Recall that the class of DP-rings is characterized in the following terms [16, Corollary 2.5]: a commutative ring is a DP-ring if and only if every finitely generated ideal of with zero annihilator contains a unit.
5 SISO systems
This section is devoted to solve the regulator property for SISO linear systems. Recall that a SISO linear system over is given by a triple .
Let be a commutative ring. The following statements are equivalent:
The regulator problem is solvable for every canonical SISO linear system over .
equals its own total ring of fractions (i.e., ).
Suppose (i) and let be a non-zerodivisor. Then the SISO one-dimensional system is canonical and consequently the regulator problem is solvable for . Therefore, regulator problem is also solvable for (see Remark 4.2). Hence, dual system is in particular pole-assignable and therefore reachable. This yields that is in fact a unit of . Thus, every non zero divisor of is a unit and is a total ring of fractions.
Assume (ii) and let be a canonical linear system. Since is in particular observable it follows that -matrix is injective. By McCoy’s theorem, see [2, Theorem 4], is a nonzero divisor and consequently, by hypothesis, a unit. Therefore, the dual system is also a canonical system.
Both systems and are reachable. But every reachable single-input system is pole assignable, see [1, Theorem 3.2]. Thus, both systems and are pole assignable and a fortiori the regulator problem is solvable for . Then we conclude that regulator problem is solvable for every canonical SISO system.□
6 RP-rings, SE-rings
The class of RP-rings has been characterized in Theorem 3.7 as the class of SE-rings. This class of rings contains the class of PA-rings. In this section, we will prove that SE-rings (or equivalently RP-rings) also contains DP-rings. Moreover, the class of RP-rings is exactly the intersection of PA-rings and DP-rings.
If is an SE-ring, then is a DP-ring. That is to say, if every observable system is state-estimable, then duality principle holds.
Let be a observable linear system. Put . Since is SE-ring it follows that there exists an output rejection such that . Hence, by setting and system is pole-assignable. Then it follows that dual system is reachable and is a DP-ring.□
Let be a commutative ring. Then the following are equivalent:
is a RP-ring (or equivalently an SE-ring).
is a PA-ring and a DP-ring.
In order to prove the converse , consider a ring which is a PA-ring and a DP-ring and let us prove that is an SE-ring: Let be an observable system, consider scalars , and let us prove that there exists an output rejection such that :
Since is DP it follows that is reachable and hence pole assignable because is PA. Consider feedback such that ; thus by setting one has ; therefore, there exists an output rejection, and consequently is an SE-ring.□
7 Some examples
The class of commutative rings where there exist dynamic compensators for canonical systems (RP-rings) is thus characterized as the class SE of rings where there exist output rejections for observable systems. Moreover, it is proven that the class SE is the intersection of classical classes of PA (pole-assignable) rings and DP (duality) rings.
Fields have been proved to be RP-rings, but we have not given any other example of a commutative ring in the class RP. In fact, Remark 4.4 proves that is not an RP-ring by the lack of duality property.
Next result shows that any modular integer ring , and in general any finite ring, is an RP-ring and thus regulator problem is solvable on any finite ring. Thus, any canonical linear system with coefficients in a finite ring admits a dynamic compensator. This would be of interest in the field of codification theory, which actually often works with finite rings like ; or more generally , where is a prime integer. Reader can review codes over such Galois rings in [20, Ch. 7–8], and review decoding techniques as system tracking problems in .
Every finite ring is an RP-ring.
Therefore, is an RP-ring because of is both a DP-ring and a PA-ring.□
The rest of the section is devoted to provide several negative examples in order to circumscribe classes of PA and DP rings.
(Negative examples by lack of duality property) First note that finding out an example of PA ring that is not DP is quite easy because several wide classes of PA rings are known (apart from fields): local rings, one-dimensional -algebras, principal ideal rings, and so on. In order to assure that is not DP-ring it suffices to find out an element which is neither a unit nor a zerodivisor. Therefore, we obtain several examples of PA-rings that are not DP-rings like the ring of integers (again), the ring of polynomials , and the ring of formal power series . All these rings fail to solve the regulator problem by means of lack of duality property.
Far more complicated is to find out an example of commutative ring which is a DP-ring but is not a PA-ring and hence fail to solve regulator problem by lack of pole-assignment.
Next, we expose a method for constructing reduced rings that verify the principle of duality but do not have PA property. This construction follows Huckaba’s construction of rings in [22, §26].
(A negative example by lack of pole-assignability) Let be a reduced ring (no nonzero nilpotents) and a nonempty set of prime ideals of . For any consider the domain . Finally, define the commutative rings
Consider the natural morphism sending , and . Then is the Huckaba’s construction based on and .
The interesting properties of construction for our purposes are the following: If is the set of maximal ideals of , then:
is a total ring of fractions.
Let be a reduced ring and the set of maximal ideals of . Then
The duality principle holds for Huckaba’s construction .
If is not a PA-ring, then is not a PA-ring.
By [22, Theorems 26.4 and 27.1] equals its own total ring of fractions and every finitely generated ideal consisting entirely of zero divisors has a nonzero annihilator. Hence, is a DP-ring.
Since is not a PA-ring it follows that is not a PA ring. This is clear because the residue class ring of a PA-ring is again a PA-ring, see [6, Theorem 1].□
Let be a reduced ring, , and is not PA-ring. Then Huckaba’s construction is a DP-ring, but it is not a PA-ring (and a fortiori it fails to be RP only by lack of pole-assignment property).
The dynamic compensator for a linear system over a commutative ring is presented. Reachability and observability of the base triple are necessary conditions to set up a dynamic compensator (i.e., to solve the regulator problem). In the case of SISO systems, the class of rings where every canonical (reachable and observable) triple admits a regulator is exactly the class of total rings of fractions.
A commutative ring solves the regulator problem (i.e., is an RP-ring) if and only if it solves the output-rejection for observable systems (i.e., it is an SE-ring). The classical notion of PA-ring is weaker than dual notion of SE-ring. In fact, SE-ring = RP-ring = PA-ring + DP-ring. And there are examples of PA-rings which are not DP, and examples of DP-rings which are not PA.
Funding information: This research was partially supported by RIASC, Research Institute of Applied Sciences and Cybersecurity (riasc.unileon.es).
Conflict of interest: The authors declare that they have no conflict of interest.
 J. W. Brewer , J. W. Bunce , and F. S. Van Vleck , Linear systems over commutative rings , Lecture Notes in Pure and Appl. Math. , vol. 104, Marcel Dekker, New York, USA, 1986. Search in Google Scholar
 J. A. Hermida-Alonso , On linear algebra over commutative rings , in: M. Hazewinkel (ed.), Handbook of Algebra , vol. 3, Elsevier Science, Amsterdam, The Netherlands, 2003, pp. 3–61. 10.1016/S1570-7954(03)80057-8Search in Google Scholar
 R. E. Kalman , Lectures on controllability and observability , in: E. Evangelisti (ed.), Controllability and Observability , CIME Summer Schools, vol. 46, Springer, Berlin, Heidelberg, 2010. 10.1007/978-3-642-11063-4_1Search in Google Scholar
 J. W. Brewer , D. Katz , and W. Ullery , Pole assignability in polynomial rings, power series rings, and Prüfer domains, J. Algebra 106 (1987), 265–286. 10.1016/0021-8693(87)90031-7Search in Google Scholar
 R. Marta García Fernández and M. V. Carriegos , On pointwise feedback invariants of linear parameter-varying systems, Univers. J. Appl. Math. 5 (2017), no. 5, 87–95. 10.13189/ujam.2017.050501Search in Google Scholar
 Z. Bartosiewicz , J. Belikov , Ü. Kotta , and W. Małgorzata , State feedback linearization of nonlinear control systems on homogeneous time scales, Nonlinear Anal. Hybrid Syst. 31 (2019), 69–85. 10.1016/j.nahs.2018.08.002Search in Google Scholar
 Y. Bouzini , T. Cluzeau , and A. Quadrat , On the computation of stabilizing controllers of multidimensional systems, IFAC PapersOnLine 52 (2019), no. 17, 88–93. 10.1016/j.ifacol.2019.11.032Search in Google Scholar
 L. Liu , H. Xing , X. Cao , X. Cai , and Z. Fu , Nonfragile observer-based guaranteed cost finite-time control of discrete-time positive impulsive switched systems, Open Math. 17 (2019), 716–727. 10.1515/math-2019-0058Search in Google Scholar
 W. S. Ching and B. F. Wyman , Duality and the regulator problem for linear systems over commutative rings, J. Comput. Syst. Sci. 14 (1977), no. 3, 360–368. 10.1016/S0022-0000(77)80020-2Search in Google Scholar
 J. A. Hermida-Alonso and T. Sánchez-Giralda , On the duality principle for linear dynamical systems over commutative rings, Linear Algebra Appl. 135 (1990), 175–180. 10.1016/0024-3795(90)90397-USearch in Google Scholar
 M. V. Carriegos , J. A. Hermida-Alonso , and T. Sánchez-Giralda , Pole-shifting for linear systems over commutative rings, Linear Algebra Appl. 346 (2002), 97–107. 10.1016/S0024-3795(01)00502-XSearch in Google Scholar
 G. Bini and F. Flamini , Finite commutative rings and their applications , The Springer International Series in Engineering and Computer Science 680 , Springer, US, 2002. 10.1007/978-1-4615-0957-8Search in Google Scholar
 H. Gluesing-Luerssen , U. Helmke , and J. I. Iglesias Curto , Algebraic decoding for doubly cyclic convolutional codes, Adv. Math. Commun. 4 (2010), 83–99. 10.3934/amc.2010.4.83Search in Google Scholar
 J. A. Huckaba , Commutative Rings with Zero Divisors , Pure and Applied Mathematics , vol. 117, Marcel Dekker, New York, USA, 1988. Search in Google Scholar
© 2021 José Ángel Hermida-Alonso et al., published by De Gruyter
This work is licensed under the Creative Commons Attribution 4.0 International License.