Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2018, Article ID 4095473, 12 pages
https://doi.org/10.1155/2018/4095473
Research Article

Robust Linear Output Regulation Using Extended State Observer

1Faculty of Mechanical Engineering, University of Tabriz, 29 Bahman, Tabriz, Iran
2Institute of Computational Engineering, Ruhr‐Universität Bochum, Universitätsstr. 150, D‐44801 Bochum, Germany

Correspondence should be addressed to Atta Oveisi; ed.bur@isievo.atta

Received 16 February 2018; Revised 31 May 2018; Accepted 5 June 2018; Published 12 August 2018

Academic Editor: Francesco Riganti-Fulginei

Copyright © 2018 Mehran Hosseini-Pishrobat et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

This paper presents a disturbance rejection-based solution to the problem of robust output regulation. The mismatch between the underlying plant and its nominal mathematical model is formulated by two disturbance classes. The first class is assumed to be generated by an autonomous linear system while for the second class no specific dynamical structure is considered. Accordingly, the robustness of the closed-loop system against the first disturbance class is achieved by following the internal model principle. On the other hand, in the framework of disturbance rejection control, an extended state observer (ESO) is designed to approximate and compensate for the second class, i.e., unstructured disturbances. As a result, the proposed output regulation method can deal with a vast range of uncertainties. Finally, the stability of the closed-loop system based on the proposed compound controller is carried out via Lyapunov and center manifold analyses, and some results on the robust output regulation are drawn. A representative simulation example is also presented to show the effectiveness of the control method.

1. Introduction

The theory of output regulation in its essence deals with the problem of tracking/disturbance rejection of a class of signals generated by autonomous dynamic systems while guaranteeing the closed-loop stability. For linear systems, this theory is well-established, and the solution of the associated control problem is obtained by the internal model principle [1, 2]. The principle is also instrumental in addressing the problem of robust output regulation. On this basis, robust design methods have been proposed in the literature for linear systems with uncertain parameters [36]. These methods consider the effect of external disturbances by an exogenous signal which belongs to the solution space of a particular differential equation. According to such a differential equation, the steady-state behavior of the underlying plant should be considered to examine the solvability of the output regulation problem. After determining the steady-state forms of the plant trajectories that satisfy the tracking/disturbance rejection requirements, the internal model-based design can be pursued [7]. By this method, a stabilizing controller that incorporates a suitable internal model of the class of the desired signals offers guaranteed asymptotic rejection/tracking of any signal from that class.

In this paper, we depart from the conventional formulation of the output regulation problem by considering the effect of disturbances that cannot be modeled by a process signal of a differential equation. As a matter of fact, in many practical applications, such modeling assumption on the disturbances is restrictive. In many systems, the disturbances are not only caused by exogenous factors, but also from endogenous factors such as structural variations, parametric uncertainty, and unmodeled dynamics. The latter factors usually appear as state-dependent disturbances in the system’s mathematical model. For example, in many structural vibration control problems, the main source of the disturbance is the unmodeled higher order modes. Even though the dominant higher order modes can be obtained via suitable system identification methods, a comprehensive dynamic model for the disturbances is not feasible [8]. As another example, in many mechanical and electromechanical systems, parametric uncertainty, friction, and nonlinear effects bring about state-dependent disturbances that are not guaranteed to belong to the solution space of any particular dynamic system [9]. On this basis, our goal in this paper is to extend the applicability of the output regulation method to such examples. To this end, we recast the output regulation problem into the active disturbance rejection framework [10, 11]. Active disturbance rejection control (ADRC) is a robust control method for systems with large uncertainty and disturbances [10, 1214]. The key idea of the ADRC is to treat a robust control problem as an estimation-rejection problem. More specifically, in the first step, all sorts of discrepancies between the physical system and its nominal mathematical model including parameter variations, unknown nonlinearities, and external disturbances/noises are lumped into a total disturbance term [14]. Next, an estimator referred to as extended state observer (ESO) is applied to estimate the total disturbance and then reject it in a closed-loop framework. The active disturbance rejection control offers several promising advantages over the conventional control methods including the following: ADRC is an active robustification method that in comparison to classical robust techniques (based on worst-case analysis) minimizes the conservatism in the design; ADRC can handle large uncertainty/disturbances from both internal and external sources; ADRC does not require involved, accurate system modeling; this feature enables a disturbance-oriented design instead of a model-oriented one [1214]. More details about the ADRC and its various engineering applications can be found in [10, 14] and the recent book [13].

In light of the above discussion, active disturbance rejection provides a suitable framework to generalize the applicability of the output regulation to the systems whose disturbances do not necessarily satisfy a differential equation. The main contribution of this paper is reported in terms of combining the merits of output regulation and disturbance rejection control techniques to achieve a better tracking performance in the presence of a general class of disturbance/uncertainty. The class of considered systems is fairly general, which includes linear systems subjected to mismatched disturbances as well as state-dependent uncertainties. Following the methodology of ADRC, we lump all disturbances/uncertainties of the underlying system into a total disturbance. The total disturbance term is decomposed into two parts. The first part can be classically modeled as the solution of a differential equation while the second part has no specific dynamical structure. The modeled component of the total disturbance is handled via standard method of the output regulation theory, which entails embedding an internal model into the closed-loop system. This approach will also guarantee output tracking of the reference signals that can be generated by the internal model. The unmodeled component of the total disturbance is handled by the method of active disturbance rejection. To this end, the system dynamics is extended by appending an integrator channel that transmits the uncertainty of the unmodeled total disturbance to its time derivative. Meanwhile, an ESO is designed that continuously monitors input-output signals of the extended system to estimate the unmodeled disturbance component. By combining this estimated value with the nominal output regulation control, the mismatch disturbance rejection is achieved. We note that since the ADRC uses an integral action to model the dynamical behavior of the disturbance, the method can be construed as an approximate output regulation technique [16]. This point of view is also explained in [17], where active disturbance rejection and output regulation are combined together for an improved robust vibration control of a MEMS gyroscope. As a novelty in the disturbance rejection aspect, a new ESO design method is proposed based on the convex programming. To this end, the ESO error dynamics is presented as a Lur'e system and its stability condition is phrased in terms of linear matrix inequalities (LMIs). Additionally, the proposed ESO applies nonlinear gain approach which enhances its immunity to the measurement noises.

We note that various methods have been reported in the literature for the general problem of disturbance rejection/attenuation of control systems; for example, LMIs-based disturbance attenuation for nonlinear systems with input delays [18], operator-based disturbance attenuation/rejection [19], disturbance observer-based disturbance attenuation for stochastic systems [20], disturbance rejection based on the equivalent-input-disturbance approach [21], ESO-based disturbance rejection controller for fully actuated Euler-Lagrange systems [22], and sliding mode observer/controller hybrid control structure [15]. With respect to these methods, the main advantages of our method lie in combining the strong points of the output regulation and the disturbance rejection techniques. The output regulation component enables a guaranteed asymptotic rejection/tracking of the disturbances/reference signals with known dynamics. Moreover, for such disturbances/reference signals, no assumptions on the energy boundedness nor control matching are required. For disturbances without known dynamic behavior, the ESO-based disturbance rejection engages to fortify the output regulation. In other words, our method attempts to get the most out of the available information about the disturbances with the primary aim of disturbance rejection rather than disturbance attenuation.

The remainder of this paper is organized as follows. In Section 2, the control problem is formulated in terms of the output regulation theory. In Section 3, a nominal regulator is designed to handle the tracking problem as well as the rejection of the disturbance components with known dynamic characteristics. In Section 4, to compensate for the disturbances without known characteristics, an ESO is developed. A convex optimization-based design method for the ESO is proposed in Section 5. The stability of the closed-loop system is investigated in Section 6. In Section 7, a simulation example based on the plotter system is elaborated. Finally, the paper is concluded by Section 8.

2. Formulation of the Control Problem

Consider the following square state space model: where is the state, is the control input, denotes the measured performance output, and is a sufficiently smooth (differentiable) nonlinear function representing the total disturbance. , , and are real matrices of appropriate dimensions satisfying the following assumption.

Assumption 1. The pair is controllable and is observable.

The control goal is to asymptotically track a given reference signal, i.e., , while boundedness of the all other signals is guaranteed in the presence of the total disturbance . The reference signal is considered to be generated by the solution of a fixed linear autonomous dynamic system of the formwhere and and are real-valued matrices with proper dimensions. The following assumption is taken to guarantee the persistence and boundedness of the reference signal [23].

Assumption 2. All eigenvalues of the matrix have zero real parts with multiplicity one in the minimal polynomial.

By setting , the system in (1) can be rewritten asThe systems in (1) and (2) are trajectory equivalent in the sense that, under the same initial values, their state trajectories coincide with each other [24, 25]. Therefore, we carry out the controller design and analysis on the basis of (2).

The conventional output regulation theory is based on the assumption that the perturbing disturbances belong to the solution space of the dynamic system given in (2). Here, we generalize this assumption by including disturbances which do not necessarily comply with this particular dynamics.

Assumption 3. The total disturbance signal satisfieswhere is a given matrix with the pair being observable. The signal is bounded and sufficiently differentiable such that is bounded as well.

Remark 4. The rationale behind Assumption 3 can be explained as follows. In many engineering systems, only the dominant frequencies of the disturbances can be obtained via time and/or frequency domain identification methods (see, for example, [8]). In such systems, one can embed the known dominant frequencies into the system (2) and model the corresponding disturbance approximation error into the term, . As another example, consider the tracking control problems where the dominant dynamics of the underlying systems are linear. Assuming that the norm of the state-dependent disturbances is smaller than the convergence rate of the linear part, it is conceivable that, for a successful tracking, the frequency spectrum of the disturbances will contain the modes of the reference signals. Accordingly, (4) forms a suitable basis for modeling of the disturbances. An example of such modeling can be found in [9].
Let us define the tracking performance of the control system asNote that here and after the dependence on time variable () is dropped (unless necessary) in the formulation for the sake of readability. The following composite system is proposed regarding the underlying output regulation control problemIn order to examine the solvability of the output regulation problem, first, we consider a steady-state condition in which the output tracking is achieved. In such a steady-state condition, the trajectories of the underlying system should be well-defined to ensure that the solution of the output regulation problem exists. Denoting , , , and , as the steady-state vectors of the state, control, unstructured, and the structured disturbances, respectively, it is easy to obtainSetting the solutions as and , for some and , we obtain the following Sylvester-type matrix equations from (7)

Theorem 5. For any given matrices and , there exist unique matrices and satisfying (8) if and only if the following assumption holds.

Assumption 6. For all ( represents the vector of eigenvalues of the matrix (.));

Proof. See [26] for the proof.

From a geometrical point of view, solutions of the matrix equations (8) —known as the regulator equations—corresponds to a zero-error controlled invariant manifold defined by for the composite system (6). In other terms, for an initial condition of the form , under the control input , the trajectory will evolve on for all and the tracking error (5) will be identically equal to zero. From this standpoint, solving the formulated output regulation problem amounts to rendering the manifold globally attractive by a suitable control function [7]. Since exact dynamic characterization of the total disturbance signal is not available, we pursue practical stabilization of the manifold for the composite system (6). More specifically, trajectories of the closed-loop system all should converge to a small compact set around by approximately recovering the solutions of the regulator equations. To this end, we propose a disturbance rejection-based, two-degrees-of-freedom control structure. The control system is composed of a nominal output regulator equipped with an ESO for disturbance rejection. Accordingly, the main design stages of this control system are as follows.

Stage 1. The nominal controller solves the output regulation problem for the given dynamical system in (5) with the difference that the state equation is simplified toNote that the corresponding control input is designed to drive the nominal closed-loop trajectories toward by recovering the nominal part of the steady-state control signal defined by . This corresponds to the feedforward control input required for tracking as well as compensating for .

Stage 2. On the other hand, the disturbance rejection loop utilizes an ESO that continuously monitors the input-output signals of the plant to provide an estimate of the disturbance, denoted by . The obtained estimated value is then integrated with the nominal control input to cancel out the disturbance signal. Accordingly, the overall control input is in the formThe configuration of the proposed control system is schematically illustrated by the block diagram in Figure 1.

Figure 1: Block diagram of the proposed control system.

3. Nominal Output Regulation

To solve the nominal output regulation problem, we characterize the distance of the system trajectories from the target manifold by a suitable coordinate. Then, by controlling this coordinate to zero, the output regulation will be accomplished. Considering the steady-state system trajectories on the manifold, an intuitive candidate for such a coordinate is . However, owing to the direct dependence of the regulator equations on the solutions of , this method is sensitive to perturbation (see [7]). Consequently, the intuitive candidate may render the control system vulnerable to the disturbance estimation errors. Hence, we follow a more robust design approach based on the internal model principle. For this purpose, setting , the following linear differential operator is considered:where with are the coefficients of the minimal polynomial of the matrix in the ascending order. Next, we introduce the following transformed variable:

Proposition 7. , if and only if .

Proof. The motion of the system trajectories on under the control input is equivalent to the immersion of system (10) into (2). By properties of the minimal polynomial, for any trajectory of in (2), we have . Thereby, the set of state trajectories evolving on the manifold corresponds to the kernel of the operator ; i.e., . Thus, the variable acts as an indicator function for the set in the sense that a state trajectory evolves on if and only if its transformation is equivalent to zero.

In view of Proposition 7, the variable is a distance coordinate characterizing attractivity of the manifold for trajectories of system (10). By embedding the internal model of the reference signal, this distance coordinate does not depend on the solutions of the regulator equation and, therefore, enables a robust design. Interestingly, based on this argument, the output regulation problem entails the problem of regulating to zero. Hence, by applying the operator (12) to the nominal state equation (10), we obtain the following dynamics: in which the following control transformation is introduced:Since the variable is not available for feedback, system (14) cannot be stabilized by the standard methods. To overcome this issue, we obtain the following differential equation describing the dynamic relation between the distance coordinate and the reference tracking through applying to the tracking error (5):This differential equation is converted to the following state space representation simply by considering as an input:in which andSetting , while selecting as the fictitious output, both (14) and (17) are integrated into the following augmented system:where

Proposition 8. Under Assumptions 1 and 6, the augmented system (19) is both controllable and observable.

Proof. According to the Popov-Belevitch-Hautus (PBH) test, the following rank conditions should be verified for all ; i.e.,Controllability. To assure the controllability of the augmented system (19), the rank condition (21) should hold. By expanding the corresponding matrix and after an appropriate rearrangement of the block rows and columns, the rank condition is inherited over By the controllability condition of Assumption 1, the first block row has the rank of for all . Consequently, owing to the identity matrices with different column indices, the last block rows have the rank . Note that the second block row is independent of the other rows, unless for . Thereby, to guarantee the controllability, the following rank condition needs to be satisfied for all :Clearly, in view of Assumption 6, this condition is verified.
Observability. To show observability of the augmented system (17), the rank condition (22) needs to be verified. Again, we expand the pertinent matrix rank condition as Due to the observability condition of Assumption 1, the first block column has the rank for all . The last block columns are independent due to the identity matrices with different row indices. Accordingly, the overall rank of the matrix is . This completes the proof.

In order to stabilize the augmented system (19), we propose a dynamic output feedback controller of the formwhere is the internal state of the controller and are real matrices of appropriate dimensions. The controller (26) in conjunction with the augmented system (19) yields a closed-loop system governed by the following equation:Here is the aggregated state vector. Moreover, the system matrix is given asOwing to Proposition 8, there always exist matrices , , and such that the resultant closed-loop system is exponentially stable. In view of this observation, without loss of generality, the following assumption is made.

Assumption 9. The controller (26) is synthesized in such a way that the matrix is Hurwitz stable.
The proposed output regulation method uses the transformed control variable (15) in its feedback loop, i.e., . Consequently, the primary control input is readily available by applying the inverse of the operator to the transformed variable. To this end, the following state space realization is employed:where and the system matrices are the same as those of (17). The controller (26) together with the system (29) constitute the nominal output regulation loop of the overall control system.

Remark 10. System (29) replicate a model of the exogenous signal, , defined by (2). Therefore, the proposed nominal output regulation has the internal model property which, in turn, guarantees asymptotic rejection/tracking of any signal belonging to the solution space of (2) [7].

4. Extended State Observer

The output regulation technique presented in Section 3 can handle the disturbances whose frequency spectra are embedded in the modes of system (2). For compensation of the disturbances without known frequency characteristics—represented by the signal —an ESO is designed. Note that, trivially, based on the matched condition, the unstructured disturbance is assumed to belong to the range space of ; otherwise the transfer function from disturbance to the output of interest cannot be set to null (see the geometrical approach proposed in [27]). Considering the composite system (6), the following ESO is proposed:where , , and are the estimates of the states, structured, and unstructured disturbances, respectively. Additionally, the estimated system output is . In ESO dynamics, , are design matrices of appropriate dimensions. Based on the nonlinear observer proposed by Prasov and Khalil [28], for positive scalars , and , the nonlinear gain function of the observer, i.e., , is defined as

Remark 11. The gain function (31) is a dead-zone nonlinearity decreasing the observer gain when the estimation error falls inside the zone . This allows adjusting a trade-off between fast state estimation and robustness to measurement noises.
In order to investigate convergence of the ESO (30), defining the error variables as , , and , we obtain the following differential equation for the estimation error dynamics:where and the system matrices are given by

Assumption 12. The unperturbed error dynamics, given in has a globally exponentially stable equilibrium at the origin. The feasibility of this assumption is addressed in Section 5.

Theorem 13. Under Assumptions 3 and 12, the estimation error of the ESO (30) is globally bounded and globally ultimately bounded in the sense that, after a finite transient time , the following bound is valid:where is arbitrarily small while , and .

Proof. By Assumption 12, there exist a positive definite function and positive scalars , , and satisfying (see Theorem 5.17 of [29]) Calculating the time derivative of along the solution of (32) gives . By dividing both sides of the last inequality by , invoking the comparison lemma and using (36), we obtain , which clearly shows the global boundedness of the estimation error. Moreover, considering the decaying exponential term, after the time , the inequality (35) holds with .

5. ESO Design via LMIs

The key to the convergence result of Theorem 13 is Assumption 12, which requires the existence of a positive definite function satisfying (36). In this regard, we propose a convex programming-based method to construct the function and also to design the gain matrices in (29). Instrumental for the development of our method, the unperturbed error dynamics (34) is considered as a Lur'e system in terms of the gain function (which is assumed to be a sector nonlinearity).

Remark 14. The gain function belongs to the sector . That is, for all ,Using (34), the sector condition (37) is equivalent to the following quadratic inequality (see [30]):In the framework of quadratic stabilization, we search for a positive definite function of the form , which guarantees Assumption 12 by satisfying the first requirement of (36). Thereby,We should note that since is a quadratic function, the other two requirements of (36) are trivially satisfied according to Rayleigh’s principle.

Theorem 15. For a given constant , assume there exists a positive definite matrix , a matrix with appropriate dimension, and a scalar , satisfying the LMIThen, the function , along with the gain matrix , guarantees the exponential stability of the origin of (34).

Proof. The origin of the system (34) is exponentially stable if the inequality (39) holds for all and satisfying the sector condition (38). According to the S-procedure Lemma [30], this statement is equivalent to the existence of a scalar such that . Convexifying the inequality by the transformation , and using the Schur complement Lemma, LMI (40) is achieved. Thus the proof is complete.

6. Closed-Loop Stability

The modular structure of the proposed control system enables an independent design of the output regulation and disturbance rejection loops. However, due to the interaction of the components, the overall closed-loop system stability still needs to be investigated. The stability of the disturbance rejection loop is established by the ESO convergence results of Theorem 13 and the design method presented in Theorem 15. Therefore, we consider the effect of the ESO-based disturbance rejection on the performance of the nominal regulator. The nominal closed-loop system operating in conjunction with the disturbance rejection loop is described by the equations of the formwhere , andAdditionally, to examine the effect of disturbance rejection on regulating the distance coordinate , we consider system (27) perturbed by the disturbance cancellation errorwhere is the transformed perturbation and .

Assumption 16. The signal is Lebesgue measurable and bounded.
The next lemma is instrumental for the closed-loop stability analysis.

Lemma 17. We have .

Proof. We show that the characteristic polynomials of and coincide. For this, it suffices to show that for all First, regarding the block components of , we haveFollowing the same procedure for , we obtainSince , the matrix multiplication of commutes with and, thereby, equality (44) holds for all .

Theorem 18. Consider the system (41). Assume that Assumptions 116 are satisfied, , and . Then,(1)The state trajectories , , and are all globally bounded.(2)In the state space of the composite system (6), the state trajectory converges practically to the manifold in the sense thatfor some positive scalars and .(3)The error variable and its first derivatives are globally bounded and globally ultimately bounded. That is, there is a finite time , after which the following inequalities holds:where is arbitrarily small and is a pertinent constant.

Proof. The proof is separated into three parts.
(I) We consider the closed-loop equation (41) without perturbationIn view of Lemma 17 and Assumption 9, the matrix is Hurwitz stable. Therefore, according to the center manifold theorem [29], there exists a stable invariant manifold attracting all trajectories of (49). The motion of the system trajectories on is equivalent to the immersion of the system (49) into (2). Hence, there is a linear map of the form , in which the matrix satisfies the Sylvester equationWe note that existence of is guaranteed since . For the perturbed closed-loop dynamics (41), an attractivity index with respect to is defined as . Then, it is straightforward to obtainBy Theorem 13 and following the same notation, the disturbance estimation error is bounded as , for some . As a result, the solution of (51) satisfies an inequality of the formwhere , , and are appropriate positive numbers. Inequality (52) implies practical convergence of the closed-loop trajectories to the manifold . Using the triangle inequality , boundedness of the trajectory is deduced.
(II) Apportioning matrix asthe following matrix equation is obtained from (50):Comparing (54) with (8), it follows from the uniqueness result of Theorem 5 that , and . Thereby, is a submanifold of , and finally it is implied from inequality (52) that , in which , and .
(III) The solution of the state equation (43) satisfies . Given , after the transient time , the inequality holds with . This completes the proof.

7. Simulation Example

In order to illustrate the efficacy of the proposed control method, we explain its application to the plotter system, which is a computer printer used for vector graphics [15]. The schematic model of the plotter is shown in Figure 2, and the corresponding symbols and numerical values are given in Table 1. The basic components of the plotter are a DC motor and three disks (referred to as disks 1-3). The state variables of the system , , and are the angular displacement of disk 1, the angular velocity of disk 1, and the current in the motor, respectively. The control variable is in the input voltage of the motor. Through a first principle modeling, we obtain the state equation of the plotter as follows:whereThe total disturbance comprises two terms in such a way that . The first, which has a known frequency spectrum, affects both motor dynamics and mechanical part of the system and is given by . The second term is a matched state-dependent uncertainty of the form , which represents frictional effects in the motor. Taking the disk 1 angle as the output, , we assume that the control objective is to track a reference signal of the form, . According to the available frequency data of the reference/disturbance signals, system (2) is characterized by the following matrices:In view of Assumption 3 and Remark 4, we consider the disturbance model (4) withThe controller (26) is designed using linear quadratic regulation in such a way that all eigenvalues of the matrix are placed on the left of the line in the complex plane. Parameters of the nonlinear gain function (31) are selected as and . To obtain the matrices , taking , the LMI (40) is solved per CVX [31]. We obtainedWe also compare the tracking response of the controller with the hybrid controller [15], which comprises a sliding mode observer and a sliding mode output feedback controller. Since only the stabilization problem is considered in [15], we perform the following state and control transformation:where are the entries of the state matrix . According to the transformation (60), the following system is obtained for the stabilization problem:where and . The hybrid controller is given bywhere and are estimates of and , respectively, , , and are design matrices of suitable dimensions ( should be positive semidefinite), and is the pseudoinverse of and is the standard signum function [15]. We note that in the design of the hybrid controller only matched disturbances are considered [15]. Using eigenvalue placement, the design matrices of the hybrid controller are tuned as follows:The tracking responses of both controllers are shown in Figure 3. The settling times of the proposed controller and the hybrid controller are and , respectively. Our controller shows a much faster transient response, but its overshoot is larger. The approximate values of the absolute steady-state tracking errors of the controllers are for the proposed controller and for the hybrid controller. That is, our controller outperforms the hybrid controller in terms of transient time and steady-state tracking. This is mainly due to the output regulation property of our controller which enables guaranteed asymptotic tracking as well as mismatched disturbance rejection. The control signals generated by the controllers are shown in Figure 4. Both control signals are approximately the same; however, there is a high-frequency component in the control input of our controller. This component is caused by the internal model property of our controller which embeds the known frequencies of the reference/disturbances to learn their behavior [8]. In order to assess the performance of the ESO, the estimated state variables of the plotter system are given in Figure 5. According to the ESO differential equations (30), state reconstruction is a part of disturbance estimation. The ESO successfully tracks the state variables of the system, which, in turn, confirms its disturbance estimation capability.

Table 1: Symbols of the plotter system model with the numerical values [15].
Figure 2: Schematics of the plotter system [15].
Figure 3: Tracking responses of the proposed controller and the hybrid controller.
Figure 4: Time trajectories of the control inputs of the proposed controller and the hybrid controller.
Figure 5: Estimation of the plotter state variables using the ESO.

8. Conclusion

This paper presented a control structure combining output regulation and disturbance rejection control techniques. This method extends the range of the disturbances considered in the conventional output regulation theory. In the output regulation aspect, the internal model principle enables the controller to handle the mismatched disturbances with known frequency characteristics. In the disturbance rejection aspect, an ESO is employed to compensate for the disturbances without known dynamical characteristics, which, for example, may arise from nonlinear effects and structural variations of the underlying plant. Generalization and application of the method to a class of mechanical systems will be pursued in future works.

Data Availability

The authors are willing to share the implementation scripts in the form of some MATLAB m-files with the interested reader.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Supplementary Materials

MATLAB .m file “Plotter_system.m” which represents the design and implementation of output regulation via the proposed NESO for a plotter system. It should be noted that the execution of this file requires the installation of CVX program which is a free disciplined convex programming tool. MATLAB .m file “Plotter_system_Hybrid_Controller.m” which represents the design and implementation of the hybrid control system on the plotter benchmark problem. SIMULINK .mdl files “Hybrid_control_system.mdl” and “Plotter_system_control.mdl” which are the realizations of closed-loop systems as SIMULINK models. (Supplementary Materials)

References

  1. B. A. Francis and W. M. Wonham, “The internal model principle of control theory,” Automatica, vol. 12, no. 5, pp. 457–465, 1976. View at Publisher · View at Google Scholar · View at MathSciNet
  2. B. Francis, O. A. Sebakhy, and W. M. Wonham, “Synthesis of multivariable regulators: the internal model principle,” Applied Mathematics and Optimization. An International Journal with Applications to Stochastics, vol. 1, no. 1, pp. 64–86, 1974/75. View at Publisher · View at Google Scholar · View at MathSciNet
  3. A. A. Adegbege and W. P. Heath, “Internal model control design for input-constrained multivariable processes,” AIChE Journal, vol. 57, no. 12, pp. 3459–3472, 2011. View at Publisher · View at Google Scholar · View at Scopus
  4. E. J. Davison and A. Goldenberg, “Robust control of a general servomechanism problem: the servo compensator,” Automatica, vol. 11, no. 5, pp. 461–471, 1975. View at Publisher · View at Google Scholar · View at MathSciNet
  5. J. Huang and Z. Chen, “A general framework for tackling the output regulation problem,” Institute of Electrical and Electronics Engineers Transactions on Automatic Control, vol. 49, no. 12, pp. 2203–2218, 2004. View at Publisher · View at Google Scholar · View at MathSciNet
  6. A. Isidori, “Regulation and Tracking in Linear Systems,” in Lectures in feedback design for multivariable systems, pp. 83–133, Springer, New York, NY, USA, 2016. View at Publisher · View at Google Scholar · View at MathSciNet
  7. Z. Chen and J. Huang, “Robust Output Regulation: A Framework,” in Stabilization and Regulation of Nonlinear Systems, Z. Chen and J. Huang, Eds., pp. 197–237, Springer International Publishing, Cham, Switzerland, 2015. View at Publisher · View at Google Scholar
  8. A. Oveisi, M. Hosseini-Pishrobat, T. Nestorović, and J. Keighobadi, “Observer-based repetitive model predictive control in active vibration suppression,” Structural Control and Health Monitoring, vol. 13, no. 4, p. e2149, 2018. View at Publisher · View at Google Scholar
  9. M. Hosseini-Pishrobat and J. Keighobadi, “Robust Vibration Control and Angular Velocity Estimation of a Single-Axis MEMS Gyroscope Using Perturbation Compensation,” Journal of Intelligent Robotic Systems, vol. 32, no. 10, p. 94, 2018. View at Google Scholar
  10. Z. Gao, “On the centrality of disturbance rejection in automatic control,” ISA Transactions®, vol. 53, no. 4, pp. 850–857, 2014. View at Publisher · View at Google Scholar · View at Scopus
  11. A. Oveisi and T. Nestorović, “Robust observer-based adaptive fuzzy sliding mode controller,” Mechanical Systems and Signal Processing, vol. 76-77, pp. 58–71, 2016. View at Publisher · View at Google Scholar · View at Scopus
  12. Z. Gao, “Active disturbance rejection control: A paradigm shift in feedback control system design,” in Proceedings of the American Control Conference, 7 pages, IEEE, June 2006. View at Scopus
  13. B.-Z. Guo and Z.-L. Zhao, Active Disturbance Rejection Control for Nonlinear Systems, John Wiley & Sons, Singapore, 2016. View at Publisher · View at Google Scholar · View at MathSciNet
  14. Y. Huang and W. Xue, “Active disturbance rejection control: Methodology and theoretical analysis,” ISA Transactions®, vol. 53, no. 4, pp. 963–976, 2014. View at Publisher · View at Google Scholar · View at Scopus
  15. J. D. J. Rubio, “Hybrid controller with observer for the estimation and rejection of disturbances,” ISA Transactions®, vol. 65, pp. 445–455, 2016. View at Publisher · View at Google Scholar · View at Scopus
  16. Z. Chen and D. Xu, “Output regulation and active disturbance rejection control: unified formulation and comparison,” Asian Journal of Control, vol. 18, no. 5, pp. 1668–1678, 2016. View at Publisher · View at Google Scholar · View at MathSciNet
  17. M. Hosseini-Pishrobat and J. Keighobadi, “Robust output regulation of a triaxial MEMS gyroscope via nonlinear active disturbance rejection,” International Journal of Robust and Nonlinear Control, vol. 28, no. 5, pp. 1830–1851, 2018. View at Publisher · View at Google Scholar · View at MathSciNet
  18. Z. Zuo, C. Wang, W. Yang et al., “Robust disturbance attenuation for a class of uncertain Lipschitz nonlinear systems with input delay,” International Journal of Control, vol. 6, no. 2, pp. 1–7, 2017. View at Google Scholar · View at Scopus
  19. M. Li and M. Deng, “Operator-based external disturbance rejection of perturbed nonlinear systems by using robust right coprime factorization,” Transactions of the Institute of Measurement and Control, vol. 57, 2018. View at Publisher · View at Google Scholar
  20. X.-J. Wei, Z.-J. Wu, and H. R. Karimi, “Disturbance observer-based disturbance attenuation control for a class of stochastic systems,” Automatica, vol. 63, pp. 21–25, 2016. View at Publisher · View at Google Scholar · View at MathSciNet
  21. F. Gao, M. Wu, J. She, and W. Cao, “Disturbance rejection in nonlinear systems based on equivalent-input-disturbance approach,” Applied Mathematics and Computation, vol. 282, pp. 244–253, 2016. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  22. Y. Zhang, L. Wang, J. Zhang, and J. Su, “Robust observer based disturbance rejection control for Euler-Lagrange systems,” Mathematical Problems in Engineering, Art. ID 3839505, 13 pages, 2016. View at Publisher · View at Google Scholar · View at MathSciNet
  23. A. Isidori, L. Marconi, and A. Serrani, “Fundamentals of Internal-Model-Based Control Theory,” in Robust Autonomous Guidance: An Internal Model Approach, A. Isidori, L. Marconi, and A. Serrani, Eds., pp. 1–85, Springer, London, UK, 2003. View at Google Scholar
  24. C. Coleman, “Local trajectory equivalence of differential systems,” Proceedings of the American Mathematical Society, vol. 16, pp. 890–892, 1965. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  25. H. Sira-Ramírez, A. Luviano-Juárez, M. Ramírez-Neria et al., “Generalities of ADRC,” in Active Disturbance Rejection Control of Dynamic Systems, pp. 13–50, Elsevier, 2017. View at Google Scholar
  26. J. Huang, “Linear Output Regulation,” in Nonlinear output regulation: theory and applications, pp. 1–34, SIAM, Philadelphia, Pa, USA, 2004. View at Google Scholar
  27. A. Oveisi and T. Nestorović, “Reliability of disturbance rejection control based on the geometrical disturbance decoupling,” PAMM, vol. 16, no. 1, pp. 823-824, 2016. View at Publisher · View at Google Scholar
  28. A. A. Prasov and H. K. Khalil, “A nonlinear high-gain observer for systems with measurement noise in a feedback control framework,” Institute of Electrical and Electronics Engineers Transactions on Automatic Control, vol. 58, no. 3, pp. 569–580, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  29. S. Sastry, Nonlinear Systems: Analysis, Stability, and Control, Springer, New York, NY, USA, 1999. View at Publisher · View at Google Scholar · View at MathSciNet
  30. S. Boyd, L. El Ghaoui, E. Feron et al., Linear matrix inequalities in system and control theory, society for industrial and applied mathematics, SIAM, Philadelphia, Pa, USA, 1994. View at Publisher · View at Google Scholar · View at MathSciNet
  31. M. C. Grant and S. P. Boyd, “Graph implementations for nonsmooth convex programs,” in Recent Advances in Learning and Control, V. Blondel, S. Boyd, and H. Kimura, Eds., vol. 371 of Lecture Notes in Control and Information Sciences, pp. 95–110, Springer, Berlin, Germany, 2008. View at Publisher · View at Google Scholar · View at MathSciNet