Open access

Optimal Economic Stabilization Policy under Uncertainty

Written By

André A. Keller

Published: October 1st, 2009

DOI: 10.5772/8222

Chapter metrics overview

2,156 Chapter Downloads

View Full Metrics

1. Introduction

A macroeconomic model can be analyzed in an economic regulation framework, by using stochastic optimal control techniques [Holbrook, 1972; Chow, 1974; Turnovsky, 1974; Pitchford & Turnovsky, 1977; Hall & Henry, 1988]. This regulator concept is more suitable when uncertainty is involved [Leland, 1974; Bertsekas, 1987]. A macroeconomic model generally consists in difference or differential equations which variables are of three main types: (a) endogenous variables that describe the state of the economy, (b) control variables that are the instruments of economic policy to guide the trajectory towards an equilibrium target, and (c) exogenous variables that describe an uncontrollable environment. Given the sequence of exogenous variables over time, the dynamic optimal stabilization problem consists in finding a sequence of controls, so as to minimize some quadratic objective function [Turnovsky, 1974; Rao, 1987]. The optimal control is one of the possible controllers for a dynamic system, having a linear quadratic regulator and using the Pontryagin’s principle or the dynamic programming method [Preston, 1974; Kamien & Schwartz, 1991; Sørensen & Whitta-Jacobsen, 2005]. A flexible multiplier-accelerator model leads to a linear feedback rule for optimal government expenditures. The resulting linear first order differential equation with time varying coefficients can be integrated in the infinite horizon. It consists in a proportional policy, an exponentially declining weighted integral policy plus other terms depending on the initial conditions [Turnovsky, 1974]. The introduction of stochastic parameters and additional random disturbance leads to the same kind of feedbacks rules [Turnovsky, 1974]. Stochastic disturbances may affect the coefficients (multiplicative disturbances) or the equations (additive residual disturbances), provided that the disturbances are not too great [Poole, 1957; Brainard, 1967; Aström, 1970; Chow, 1972; Turnovsky 1973, 1974, 1977; Bertsekas, 1987]. Nevertheless, this approach encounters difficulties when uncertainties are very high or when the probability calculus is of no help with very imprecise data. The fuzzy logic contributes to a pragmatic solution of such a problem since it operates on fuzzy numbers. In a fuzzy logic, the logical variables take continue values between 0 (false) and 1 (true), while the classical Boolean logic operates on discrete values of either 0 or 1. Fuzzy sets are a natural extension of crisp sets [Klir & Yuan, 1995]. The most common shape of their membership functions is triangular or trapezoidal. A fuzzy controller acts as an artificial decision maker that operates in a closed-loop system in real time [Passino & Yurkovich, 1998]. This contribution is concerned with optimal stabilization policies by using dynamic stochastic systems. To regulate the economy under uncertainty, the assistance of classic stochastic controllers [Aström, 1970; Sage & White, 1977, Kendrick, 2002] and fuzzy controllers [Lee, 1990; Kosko, 1992; Chung & Oh, 1993; Ying, 2000] are considered. The computations are carried out using the packages Mathematica 7.0.1, FuzzyLogic 2 [Kitamoto et al., 1992; Stachowicz & Beall, 2003; Wolfram, 2003], Matlab R2008a & Simulink 7, & Control Systems, & Fuzzy Logic 2 [Lutovac et al., 2001; The MathWorks, 2008]. In this chapter, we shall examine three main points about stabilization problems with macroeconomic models: (a) the stabilization of dynamical systems in a stochastic environment, (b) the PID control of dynamical macroeconomic models with application to the linear multiplier-accelerator Phillips’ model and to the nonlinear Goodwin’s model, (c) the fuzzy control of these two dynamical basic models.

Advertisement

2. Stabilization of dynamical systems under stochastic shocks

2.1 Optimal stabilization of stochastic systems

2.1.1 Standard stabilization problem

The optimal stabilization problem with deterministic coefficients is presented first. This initial form, which does not fit to the application of the control theory, is transformed to a more convenient form. In the control form of the system, the constraints and the objective functions are rewritten. Following Turnovsky, let a system be described by the following matrix equation

Y t = A 1 Y t 1 + A 2 Y t 2 + ... + A m Y t m + B 0 U t + B 1 U t 1 + ... + B n U t n E1

The system (1) consists in q 1 target variables in instantaneous and delayed vectors Y and q 2 policy instruments in instantaneous and delayed vectors U . The maximum delays are m and n for Y and U respectively. The squared q 1 × q 1 matrices A are associated to the targets, and the q 1 × q 2 matrices B are associated to the instruments. All elements of these matrices are subject to stochastic shocks. Suppose that the objective of the policy maker is to stabilize the system close to the long-run equilibrium, a quadratic objective function will be

t = 1 ( Y t Y ¯ ) M ( Y t Y ¯ ) + t = 1 ( U t U ¯ ) N ( U t U ¯ ) E2

where M is a strictly positive definite costs matrix associated to the targets and N a positive definite matrix associated to the instruments. According to (1), the two sets Y ¯ and U ¯ of long-run objectives are required to satisfy

( I j = 1 m A j ) Y ¯ = i = 0 n B i U ¯ E3

Letting the deviations be Y t Y ¯ = y t and U t U ¯ = u t , the optimal problem is

                            min u ( t = 1 y t M y t + t = 1 u t N u t ) s .t . y t = A 1 y t 1 + A 2 y t 2 + ... + A m y t m + B 0 u t + B 1 u t 1 + ... + B n u t n E4

2.1.2 State-space form of the system

The constraint (2) is transformed into an equivalent first order system [Preston & Pagan, 1982]

x t = A x t 1 + B v t E5

where x t = ( y t y t 1 y t 2 ,..., y t m + 1 u t u t 1 ,..., u t n + 1 ) is the g × 1 state vector with g = m q 1 + n q 2 . The control vector is v t = u t . The block matrix A and the vector B are defined by

Any stabilization of a linear system requires that the system be dynamically controllable over some time period [Turnovsky, 1977]. The condition for the full controllability of the system states that it is possible to move the system from any state to any other.

Theorem 2.1.2 (Dynamic controllability condition). A necessary and sufficient condition for a system to be dynamically controllable over some time period

T g is given by the dynamic controllability condition
rank ( B | A B | ... | A g 1 B ) = g E6

Proof. In [Turnovsky, 1977], pp. 333-334.

The objective function (3) may be also written as

t = 1 x t ' M * x t + t = 1 v t ' N v t θ E7

where θ includes past y ’s and u ’s before t = 1 . Letting M ˜ = M / m and N ˜ = N / n , the block diagonal matrix M * is defined by

The stabilization problem, (2) is transformed to the control form

min v ( t = 1 x t ' M * x t + t = 1 v t ' N v t ) s .t . x t = A x t 1 + B v t E8

Since the matrices M * and N are strictly positive, the optimal policy exits and is unique.

2.1.3 Backward recursive resolution method

Let a formal stabilization problem be expressed with a discrete-time deterministic system

min x t = 1 T ( y t ' M y t + x t ' N x t ) M N 0 s .t . y t = A y t 1 + B x t E9

In the quadratic cost function of the problem, the n state vector y and the m control vector x are deviations from long-run desired values, the positive semi-definite matrices M n × n and N m × m are costs with having values away from the desired objectives. The constraint of the problem is a first order dynamic system

Any higher order system has an equivalent augmented first-order system, as shown in 2.1.2 . Let a second-order system be the matrix equation

with matrices of coefficients A n × n and B n × m . The objective of the policy maker is to stabilize the system close to its long-run equilibrium. To find a sequence of control variables such that the state variables y t can move from any initial y 0 to any other state y T , the dynamically controllable condition is given by a rank of a concatenate matrix equal to n

rank ( B | A B | ... | A n 1 B ) = n E10

The solution is a linear feedback control given by

x t = R t y t 1 E11

where we have

R t = ( N + B ' S t B ) 1 ( B ' S t A ) E12
S t 1 = M + R t ' N R t + ( A + B R t ) ' S t ( A + B R t ) E13
S T = M E14

The optimal policy is then determined according a backward recursive procedure from terminal step T to the initial conditions, such as

s t e p T : S T = M R T = ( N + B ' S T B ) 1 ( B ' S T A ) E15
s t e p T - 1 : S T 1 = M + R T ' N R T + ( A + B R T ) ' S T ( A + B R T ) R T 1 = ( N + B ' S T 1 B ) 1 ( B ' S T 1 A ) E16
step 1 :        S 1 = M + R 2 ' N R 2 + ( A + B R 2 ) ' S 2 ( A + B R 2 ) R 1 = ( N + B ' S 1 B ) 1 ( B ' S 1 A ) E17
step 0 :  S 0 = M + R 1 ' N R 1 + ( A + B R 1 ) ' S 1 ( A + B R 1 ) R 0 = ( N + B ' S 0 B ) 1 ( B ' S 0 A ) E18

2.1.4 The stochastic control problem

Uncorrelated multiplicative and additive shocks: The dynamic system is now subject to stochastic disturbances with random coefficients and random additive terms to each equation. The two sets of random deviation variables are supposed to be uncorrelated.

The deviations are about some desired and constant objectives such that and .

The problem (3) is transformed to the stochastic formulation ( also [Turnovsky, 1977]).
min x E [ y t M y t + x t N x t ] s .t . y t = ( A + Φ t ) y t 1 + ( B + Ψ t ) x t + ε t M N 0 E19

The constant matrices A n × n and B n × m are the deterministic part of the coefficients. The random components of the coefficients are represented by the matrices Φ n × n and Ψ m × m . Moreover, we have the stochastic assumptions : the elements ϕ i j t ψ i j t and ε i t are identically and independently distributed (i.i.d.) over time with zero mean and finite variances and covariances. The elements of Φ t are correlated with those of Ψ t , the matrices Φ t and Ψ t are uncorrelated with ε t . The solution is a linear feedback control given by

x t = R y t 1 E20

where A scalar system is studied by Turnovsky [Turnovsky,1977]. The optimization problem is given by where are i.i.d. with zero mean, variances and correlation coefficient . The optimal policy is , where and where is the positive solution of the quadratic equationA necessary and sufficient condition to have a unique positive solution is (with )where the variabilities and vary inversely. Moreover, the stabilization requirement is satisfied for any () and any such that .

R = ( N + B ' S B + E [ Ψ ' S Ψ ] ) 1 ( B ' S A + E [ Ψ ' S Φ ] ) E21
R = ( N + B ' S B + E [ Ψ ' S Ψ ] ) 1 ( B ' S A + E [ Ψ ' S Φ ] ) p = ( N + B ' S B + E [ Ψ ' S Ψ ] ) 1 ( B ' k + E [ Ψ ' S ε ] ) E23
and S is a positive semi-definite solution to the matrix equation
S = M + R N R + ( A + B R ) S ( A + B R ) + E [ ( Φ + Ψ R ) S ( Φ + Ψ R ) ] E25

Correlated multiplicative and additive shocks: The assumption of non correlation in the original levels equation, will necessarily imply correlations in the deviations equation. Let the initial system be defined in levels by the first order stochastic equation

Y t = ( A + Φ t ) Y t 1 + ( B + Ψ t ) X t + ε t E26

and the stationary equation

Y * = A Y * + B X * E27

By subtracting these two matrix equations and letting y t Y t Y * and x t X t X * , we have

y t = ( A + Φ t ) y t 1 + ( B + Ψ t ) x t + ε t ' E28

where the additive composite disturbance ε ' denotes a correlation between the stochastic component of the coefficients and the additive disturbance. The solution to the stabilization problem takes a similar expression as in the uncorrelated case. We have the solution

x t = R y t 1 + p E29

where

and S is positive semi-definite solution to the matrix equation
S = M + R ' N R + ( A + B R ) ' S ( A + B R ) + E [ ( Φ + Ψ R ) ' S ( Φ + Ψ R ) ] E30
and k is solution to the matrix equation
k = ( A + B R ) ' k + E [ ( Φ + Ψ R ) ' S ε ] E31

The optimal policy then consists of a feedback component R together to a fixed component p . The system will oscillate about the desired targets.

2.2 Stabilization of empirical stochastic systems

2.2.1 Basic stochastic multiplier-accelerator model

Structural model: The discrete time model consists in two equations, one is the final form of output equation issued from a multiplier-accelerator model with additive disturbances, the other is a stabilization rule [Howrey, 1967; Turnovsky, 1977]

Y t + b Y t 1 + c Y t 2 = G t + ε t G t = g 1 Y t 1 + g 2 Y t 2 + B ¯ E32

where Y denotes the total output, G the stabilization oriented government expenditures, B ¯ a time independent term to characterize a full-employment policy [Howrey, 1967] and ε random disturbances (serially independent with zero mean, constant variance) from decisions only. The policy parameters are g 1 g 2 and Y ¯ is a long run equilibrium level

The stabilization rule may be considered of the proportional-derivative type [Turnovsky, 1977] rewriting as

.

Time path of output: Combining the two equations, we obtain a second order linear stochastic difference equation (SDE)

Y t + ( b g 1 ) Y t 1 + ( c g 2 ) Y t 2 = B ¯ + ε t E33

where B ¯ is a residual expression. Provided the system is stable

A necessary and sufficient condition of a linear system is that the characteristic roots lie within the unit circle in the complex plane. In this case, the autoregressive coefficients will satisfy the set of inequalities The region to the right of the parabola in Figure 1 corresponds to values of coefficients and which yield complex characteristic roots.

, the solution is given by

Y t = B ¯ 1 ( b g 1 ) ( c g 2 ) + ( C 1 r 1 t + C 2 r 2 t ) + j = 0 t 1 r 1 j + 1 r 2 j + 1 r 1 r 2 ε t j t = 1,2 E34

where C 1 C 2 are arbitrary constants given the initial conditions and r 1 r 2 the roots of the characteristic equation: r 1 r 2 = ( b ± b 2 4 c ) / 2 The time path of output is the sum of three terms, expressing a particular solution, a transient response and a random response respectively.

2.2.2 Stabilization of the model

Iso-variance and iso-frequencies loci: Let the problem be simplified to [Howrey, 1967]

Y t + b Y t 1 + c Y t 2 = A t + ε t E35

Figure 1 shows the iso-variance and the iso-frequencies contours together with the stochastic response to changes in the parameters b and c . Attempts to stabilize the system may increase its variance ratio σ y 2 / σ ε 2 . As coefficient b c being held constant, the peak is shifted to a higher frequency.

Figure 1.

Iso-variance (a) and iso-frequencies (b) contours

Asymptotic variance of output: Provided the stability conditions are satisfied (the characteristic roots lie within the unit circle in the complex plane), the transient component will tend to zero. The system will fluctuate about the stationary equilibrium rather than converge to it. The asymptotic variance of output is

asy σ y 2 = 1 + c + g 2 ( 1 c g 2 ) ( ( 1 + c + g 2 ) 2 ( b + g 1 ) 2 ) σ ε 2 E36

Speed of convergence: The transfer function (TF) of the autoregressive process (4) is given by

T ( ω ) = ( 1 + b e i ω + c e i 2 ω ) 1 E37

We then have the asymptotic spectrum

| T ( ω ) | 2 = ( 1 + b 2 + c 2 + 2 b ( 1 + c ) cos ω + 2 c cos 2 ω ) 1 E38

The time-dependent spectra are defined by

| T ( ω t ) | 2 = j = 0 t 1 r 1 j + 1 r 2 j + 1 r 1 r 2 e i j ω E39

In this application, the parameters take the values b = 1.1, c = .5, σ ε 2 = 1 as in [Howrey, 1967]. Figure 2 shows how rapid is the convergence of the first ten log-spectra to the asymptotic log- spectrum. [Nerlove et al., 1979].

Figure 2.

Convergence to the asymptotic log- spectrum

Optimal policy: Policies which minimize the asymptotic variance are such

g 1 * = b and g 2 * = c . Then we have Y t = Y ¯ + ε t and
σ y 2 = σ ε 2 E40

The output will then fluctuate about Y ¯ with variance σ ε 2 .

Advertisement

3. PID control of dynamical macroeconomic models

Stabilization problem are considered with time-continuous multiplier-accelerator models: the linear Phillips fluctuation model and the nonlinear Goodwin’s growth model

The use of closed-loop theory in economics is due to Tustin [Tustin, 1953].

.

3.1 The linear Phillips’ model

3.1.1. Structural form of the Phillips’ model

The Phillips’model [Phillips, 1954; Allen, 1955; Phillips, 1957; Turnovsky, 1974; Gandolfo, 1980; Shone, 2002] is described by the continuous-time system

Z ( t ) = C ( t ) + I ( t ) + G ( t ) ( 5 ) C ( t ) = c Y ( t ) u ( t ) ( 6 ) I ˙ = β ( I ( t ) v Y ˙ ) ( 7 ) Y ˙ = α ( Y ( t ) Z ( t ) ) ( 8 ) E41

where I ˙ and Y ˙ denote the first derivatives w.r.t. time of the continuous-time variables I ( t ) and Y ( t ) respectively. All yearly variables are continuous twice-differentiable functions of time and all measured in deviations from the initial equilibrium value. The aggregate demand Z consists in consumption C , investment I and autonomous expenditures of government G in equation (5). Consumption C depends on income Y without delay and is disturbed by a spontaneous change u at time t = 0 in equation (6). The variable u ( t ) is then defined by the step function u ( t ) = 0 , for t 0 and u ( t ) = 1 for t 1 . The coefficient c is the marginal propensity to consume. Equation (7) is the linear accelerator of investment, where investment is related to the variation in demand. The coefficient v is the acceleration coefficient and β denotes the speed of response of investment to changes in production, the time constant of the acceleration lag being β 1 years. Equation (8) describes a continuous gradual production adjustment to demand. The rate of change of production Y at any time is proportional to the difference between demand and production at that time. The coefficient α is the speed of response of production to changes in demand. Simple exponential time lags are then used in this model

The differential form of the delay is the production lag where the operator is the differentiation w.r.t. time. The distribution form is Given the weighting function , the response function is for the path of following a unit step-change in

.

3.1.2. Block-diagram of the Phillips’ model

The block-diagram of the whole input-output system (without PID tuning) is shown in Figure 3 with simulation results. Figure 4. shows the block-diagram of the linear multiplier-accelerator subsystem. The multiplier-accelerator subsystem shows two distinct feedbacks : the multiplier and the accelerator feedbacks.

Figure 3.

Block-diagram of the system and simulation results

Figure 4.

Block diagram of the linear multiplier-accelerator subsystem

3.1.3. System analysis of the Phillips’ model

The Laplace transform of X ( t ) is defined by

X ¯ ( s ) L [ X ( t ) ] = 0 e s t X ( t ) d t E42
Z ¯ ( s ) = C ¯ ( s ) + I ¯ ( s ) + G ¯ ( s ) ( 9 ) C ¯ ( s ) = c Y ¯ ( s ) ( 10 ) s I ¯ ( s ) = β I ¯ ( s ) + β v s Y ¯ ( s ) ( 11 ) s Y ¯ ( s ) = α Y ¯ ( s ) + α Z ¯ ( s ) ( 12 ) E43

Omitting the disturbance u ( t ) , the model (5-8) is transformed to

The TF of the system is

H ( s ) Y ¯ ( s ) G ¯ ( s ) = α ( s + β ) s 2 + ( α ( 1 c ) + β α β v ) s + α β ( 1 c ) E44

Taking a unit investment time-lag with β = 1 together with α = 4, c = 3 4 and v = 3 5 , we have

H ( s ) = 20 s + 1 5 s 2 2 s + 5 E45

The constant of the TF is then 4, the zero is at s = 1 and poles are at the complex conjugates s = .2 ± j . The TF of system is also represented by H ( j ω ) . The Bode magnitude and phase, expressed in decibels 20 log 10 are plotted with a log-frequency axis. The Bode diagram in Figure 5 shows a low frequency asymptote, a resonant peak and a decreasing high frequency asymptote. The cross-over frequency is 4 (rad/sec). To know how much a frequency will be phase-shifted, the phase (in degrees) is plotted with a log-frequency axis. The phase cross over is near 1 (rad/sec). When ω varies, the TF of the system is represented in Figure 5 by the Nyquist diagram on the complex plane.

K i = 0 t e ( τ ) d τ E46

Figure 5.

Bode diagram and Nyquist diagram of the transfer function

3.1.4 PID control of the Phillips’ model

The block-diagram of the closed-loop system with PID tuning is shown in Figure 6. The PID controller in Figure 7 invokes three coefficients. The proportional gain K p e ( t ) determines the reaction to the current error. The integral gain

bases the reaction on sum of past errors. The derivative Gain K d e ˙ determines the reaction to the rate of change of error. The PID controller is a weighted sum of the three actions. A larger K p will induce a faster response and the process will oscillate and be unstable for an excessive gain. A larger K i eliminates steady states errors. A larger K d decreases overshoot [Braae & Rutherford, 1978

The Ziegler-Nichols method is a formal PID tuning method: the and gains are first set to zero. The gain is then increased until to a critical gain at which the output of the loop starts to oscillate. Let denote by the oscillation period, the gains are set to

A PID controller is also described by the following TF in the continuous s-domain [Cominos & Nunro, 2002]

H C ( s ) = K p + K i s + s K d E47

The block-diagram of the PID controller is shown in Figure 7.

Figure 6.

Block diagram of the closed-looped system

Figure 7.

Block diagram of the PID controller

3.2 The nonlinear Goodwin’s model

3.2.1. Structural form of the Goodwin’s model

The extended model of Goodwin [Goodwin, 1951; Allen, 1955; Gabisch & Lorenz, 1989] is a multiplier-accelerator with a nonlinear accelerator. The system is described by the continuous-time system

Z ( t ) = C ( t ) + I ( t ) ( 13 ) C ( t ) = c Y ( t ) u ( t ) ( 14 ) I ˙ = β ( I ( t ) B ( t ) ) ( 15 ) B ( t ) = Φ ( v Y ˙ ) ( 16 ) Y ˙ = α ( Y ( t ) Z ( t ) ) ( 17 ) E48

The aggregate demand Z in equation (13) is the sum of consumption C and total investment I

The autonomous constant component is ignored since is measured from a stationary level.

. The consumption function in equation (14) is not lagged on income Y . The investment (expenditures and deliveries) is determined in two stages: at the first stage, investment I in equation (15) depends on the amount of the investment decision B with an exponential lag; at the second stage the decision to invest B in equation (16) depends non linearly by Φ on the rate of change of the production Y . Equation (17) describes a continuous gradual production adjustment to demand. The rate of change of supply Y is proportional to the difference between demand and production at that time (with speed of response α ). The nonlinear accelerator Φ is defined by

Φ ( Y ˙ ) = M ( L + M L e v Y ˙ + M 1 ) E49

where M is the scrapping rate of capital equipment and L the net capacity of the capital-goods trades. It is also subject to the restrictions

B = 0 if Y ˙ = 0, B L as Y ˙ + , B M as
Y ˙ E50

The graph of this function is shown in Figure 8.

Figure 8.

Nonlinear accelerator in the Goodwin’s model

3.2.2. Block-diagrams of the Goodwin’s model

The block-diagrams of the nonlinear multiplier-accelerator are described in Figure 9.

Figure 9.

Block-diagram of the nonlinear accelerator

3.2.3 Dynamics of the Goodwin’s model

The simulation results show strong and regular oscillations in Figure 10. The Figure 11 shows how a sinusoidal input is transformed by the nonlinearities. The amplitude is strongly amplified, and the phase is shifted.

Figure 10.

Simulation on the nonlinear accelerator

Figure 11.

Simulation of a sinusoidal input

3.2.4 PID control of the Goodwin’s model

Figure 12 shows the block-diagram of the closed-loop system. It consists of a PID controller and of the subsystem of Figure 9. The simulation results which have the objective to maintain the system at a desired level equal to 2.5. This objective is reached with oscillations within a time-period of three years. Thereafter, the system is completely stabilized.

Figure 12.

Block-diagram and simulation results of the PID controlled Goodwin’s model

Advertisement

4. Fuzzy control of dynamic macroeconomic models

4.1 Elementary fuzzy modeling

4.1.1 Fuzzy logic controller

A fuzzy logic controller (FLC) acts as an artificial decision maker that operates in a closed-loop system in real time [Passino & Yurkovitch, 1998]. Figure 13 shows a simple control problem, keeping a desired value of a single variable. There are two conditions: the error and the derivative of the error. This controller has four components: (a) a fuzzification interface to convert crisp input data into fuzzy values, (b) a static set of "If-Then" control rules which represents the quantification of the expert’s linguistic evaluation of how to achieve a good control, (c) a dynamic inference mechanism to evaluate which control rules are relevant, and (d) the defuzzification interface that converts the fuzzy conclusions into crisp inputs of the process

The commonly used centroid method will take the center of mass. It favors the rule with the output of greatest area. The height method takes the value of the biggest contributor.

These are the actions taken by the FLC. The process consists of three main stages: at the input stage 1 the inputs are mapped to appropriate functions, at the processing stage 2 appropriate rules are used and the results are combined, and at the output stage 3 the combined results are converted to a crisp value input for the process.

Figure 13.

Design of a fuzzy controller

4.1.2 Fuzzyfication and fuzzy rules

Simple control example: Let us consider a simple control example of TISO (Two Inputs Single Output) Mamdani fuzzy controller. The fuzzy controller uses identical input fuzzy sets, namely "Negative", "Zero" and "Positive" MFs. The system output is supposed to follow

x ( t ) = 4 + e t / 5 ( 4 cos t + 3 6 sin t ) E51

as in Figure 14. The error is defined by e ( t ) = r ( t ) x ( t ) where r ( t ) is the reference input, supposed to be constant (a set point)

Scaling factors may be used to modify easily the universe of discourse of inputs. We then have the scaled inputs and .

. Then we have d e ( t ) d t e ˙ = x ˙ .

Figure 14.

System output, fuzzy rules and phase trajectory

Fuzzification: Membership functions. A membership function (MF) assigns to each element x of the universe of discourse

X , a grade of membership μ ( x ) such that μ : X [ 0,1 ]

The triangular MF of Figure 15 is defined by μ ( x ) = max { min { x a b a c x c b } ,0 } where a b c . A fuzzy set A ˜ is then defined as a set of ordered pairs A ˜ = { x μ A ˜ ( x ) | x X }

According to the Zadeh operators, we have

μ ( A ˜ B ˜ ) = min { μ ( A ˜ ) μ ( B ˜ ) } μ ( A ˜ B ˜ ) = max { μ ( A ˜ ) μ ( B ˜ ) } and μ ( ¬ A ˜ ) = 1 μ ( A ˜ ) E52

The overlapping MFs of the two inputs error and change-in-error and the MF of the output control-action show the most common triangular form in Figure 15. The linguistic label of these MFs are Negative", "Zero" and "Positive" over the range [ 100,100 ] for the two inputs and over the range [ 1,1 ] for the output.

Figure 15.

Membership functions of the two inputs and one output

Fuzzy rules: Fuzzy rules are coming from expert knowledge and consist in "If-Then" statements. An antecedent block is placed between "If" and "Then" and a consequent block is following "Then"

See [Braee & Rutherford, 1978] for fuzzy relations in a FLC and their influences to select more appropriate operations

. Let the continuous differentiable variables

e ( t ) and e ˙ ( t ) denote the error and the derivative of error in the simple stabilization problem of Figure 13. The conditional recommendations are of the type
I f e e ˙ is A × B T h e n v i s C w h e r e [ A × B ] ( x y ) = min { A ( x ) B ( y ) x [ a a ] y [ b b ] } E53

These FAM (Fuzzy Associative Memory)-rules

Choosing an appropriate dimension of the rule is discussed by [Chopra et al., 2005]. Rules bases of dimension 9 (for 3MFs), 25 (5MFs), 49 (7 MFs), 81 (9 MFs) and 121 (11 MFs) are compared.

are those of the Figure 16. These nine rules will cover all the possible situation. According to rule (PL,NL;ZE), the system output is below the set point (positive error) and is increasing at this point. The controller output should then be unchanged. On the contrary, according to rule (NL,NL;NL), the system output is above the set point (negative error) and is increasing at this point. The controller output should then decrease the overshoot. The commonly linguistic states of the TISO model are denoted by the simple linguistic set A={NL,ZE;PL}. The binary input-output FAM-rules are then triples such as (NL,NL;NL): "If" input e is Negative Large and e ˙ is Negative Large "Then" control action v is Negative Large. The antecedent (input) fuzzy sets are implicitly combined with conjunction "And".

Figure 16.

Fuzzy rule base 1: NL-Negative Large, ZE-Zero error, PL-Positive Large

4.1.3 Fuzzy inference and control action

Fuzzy inference: In Figure 17, the system combines logically input crisp values with minimum, since the conjunction "And" is used. Figure 18 produces the output set, combining all the rules of the simple control example, given crisp input values of the pair

( e e ˙ ) .

Figure 17.

FAM influence procedure with crisp input measurement

Figure 18.

Output fuzzy set from crisp input measurements

Defuzzyfication: The fuzzy output for all rules are aggregated to a fuzzy set as in Figure 18. Several methods can be used to convert the output fuzzy set into a crisp value for the control-action variable v. The centroid method (or center of gravity (COG) method) is the center of mass of the area under the graph of the MF of the output set in Figure 18. The COG corresponds to the expected value

v c = v μ ( v ) d v μ ( v ) d v E54

In this example, v c = .124 for the pair of crisp inputs ( e e ˙ ) = ( 55,20 )

4.2 Fuzzy control of the Phillips’ model

The closed-loop block-diagram of the Phillips’model is represented in Figure 19 with simulation results. It consists of the FLC block and of the TF of the model. The properties of the FLC controller have been described in Figure 13 (design of the controller), Figure 15 (membership functions), Figure 16 (fuzzy rule base) and Figure 18 (output fuzzy set). Figure 20 shows the efficiency of such a stabilization policy. The range of the fluctuations has been notably reduced with a fuzzy control. Up to six years, the initial range [ 12,12 ] goes to

[ 3,3 ] E55

Figure 19.

Block diagram of the Phillips model with Fuzzy Control

Figure 20.

Fuzzy stabilization of the Phillips’ model

4.3 Fuzzy control of the Goodwin’s model

Figure 21 shows the block-diagram of the controlled system. It consists of a fuzzy controller and of the subsystem of the Goodwin’s model. The FLC controller is unchanged. The simulation results show an efficient and fast stabilization. The system is stable within five time-periods, and then fluctuates in an explosive way but restricted to an extremely close range.

Figure 21.

Block-diagram and simulation results of the fuzzy controlled Goodwin’s model

Advertisement

5. Conclusion

Compared to a PID control, the simulation results of a linear and nonlinear multiplier-accelerator model show a more efficient stabilization of the economy within an acceptable time-period of few years in a fuzzy environment. Do the economic policies have the ability to stabilize the economy ? Sørensen and Whitta-Jacobsen [Sørensen & Whitta-Jacobsen, 2005] identify three major limits: the credibility of the policy authorities’ commitments by rational private agents, the imperfect information about the state of the economy, and the time lags occurring in the decision making process. The effects of these limits are studied using an aggregate supply–aggregate demand (AS-AD) model and a Taylor’s rule.

Advertisement

6. Appendix A: Analytical regulation of the Phillips’ model

6.1 Unregulated model dynamics

The unregulated model (with G = 0 and u = 1 ) is governed by a linear second order ordinary differential equation (ODE) in Y , deduced from the system (5-8). We have

Y ¨ + ( α ( 1 c ) + β α β v ) Y ˙ + α β ( 1 c ) Y ( t ) = α β E56

When t 0 with the initial conditions Y ( 0 ) = 0, Y ˙ ( 0 ) = α . Taking the following values for the parameters: c = 3 / 4, v = 3 / 5, α = 4 ( T = α 1 = 3 months) and β = 1 (time constant of the lag 1 year), the ODE is

5 Y ¨ 2 Y ˙ + 5 Y ( t ) = 20, t 0, E57

with initial conditions Y ( 0 ) = 0, Y ˙ ( 0 ) = 4 The solution of the unregulated model is

Y ( t ) = 4 + 2 e t / 5 ( 2 cos 2 6 5 t 6 sin 2 6 5 t ) t 0 E58
or
Y ( t ) = 4 + 6.32 e t / 5 cos ( .98 t + .68 ) t 0 E59

The phase diagram in Figure 22 shows an unstable equilibrium for which stabilization policies are justified.

Figure 22.

Phase diagram of the Phillips’ model

6.2 Stabilization policies

The stabilization of the model proposed by [Phillips, 1954] consists in three additive policies: the proportional P-stabilization policy, the proportional + integral PI-stabilization policy, the proportional + integral + derivative PID-stabilization policy. Modifications are introduced by adding terms to the consumption equation (6).

P-stabilization policy: For a P-stabilization, the consumption equation is

C ( t ) = c Y ( t ) u ( t ) λ D + λ K p Y ( t ) E60

where K p denotes the proportional correction factor and λ the speed of response of policy demand to changes in potential policy demand

The time constant of the correction lag is years.. In the numerical applications, we will retain

λ = 2 (a correction lag with time constant of 6 months). The dynamic equation of the model is a linear third order ODE in Y

Y ( 3 ) + ( α ( 1 c ) + β + λ α β v ) Y ¨ + ( β λ + α ( 1 c ) ( β + λ ) + α λ K p α β λ v ) Y ˙ + α β λ ( 1 c + K p ) Y ( t ) = α β λ u ( t ) E61

Taking c = 3 / 4, v = 3 / 5, α = 4, β = 1, λ = 2, K p = 2, u = 1 the ODE is

5 Y ( 3 ) + 8 Y ¨ + 81 Y ˙ + 90 Y ( t ) = 40, t 0 E62

with the initial conditions Y ( 0 ) = 0, Y ˙ ( 0 ) = 4, Y ¨ ( 0 ) = 5.6 . The solution for t 0 is

Y ( t ) = .44 .03 e 1.15 t 1.1 e .23 t sin ( 3.96 t + 44 ) E63

The graph of the P-controlled is plotted in Figure 23(b). The system is stable according to the Routh-Hurwitz stability conditions

Let be the polynomial equation with real coefficientsThe Routh-Hurwitz theorem states that necessary and sufficient conditions to have negative real part are given by the conditions that all the leading principal minors of a matrix must be positive. In this case, the matrix isWe have all the positive leading principal minors: and .

Moreover, the stability conditions for K p are K p .25 and
K p .35 E64

Y ( t ) = .07 e 1.43 t .13 e .69 t + 1.08 e .26 t sin ( 4.03 t + .19 ) E65

PI-stabilization policy: For a PI-stabilization policy, the consumption equation is

C ( t ) = c Y ( t ) u ( t ) λ D + λ { K p Y ( t ) + K i Y ( t ) d t } E66
Y ( 4 ) + ( α ( 1 c ) + β + λ α β v ) Y ( 3 ) + ( β λ + α ( 1 c ) ( β + λ ) + α λ K p α β λ v ) Y ¨ + ( α β λ ( 1 c ) + α β λ K p + α λ K i ) Y ˙ + α β λ K i Y ( t ) = 0 E67

where K i denotes the integral correction factor. The dynamic equation of the model is a linear fourth order ODE in Y is deduced

c = 3 / 4, v = 3 / 5, α = 4, β = 1, λ = 2, K p = K i = 2, u = 1 E68

Taking the ODE is

5 Y ( 4 ) + 8 Y ( 3 ) + 81 Y ¨ + 170 Y ˙ + 80 Y ( t ) = 0, t 0 E69

with the initial conditions Y ( 0 ) = 0, Y ˙ ( 0 ) = 4, Y ¨ ( 0 ) = 5.6, Y ( 3 ) ( 0 ) = 96 . The solution for t 0 is

Y ( 4 ) + 6 Y ( 3 ) + 20.6 Y ¨ + 34 Y ˙ + 16 Y ( t ) = 0, t 0 E70

The graph of the PI-controlled Y ( t ) is plotted in Figure A.2(c). The system is unstable since the Routh-Hurwitz stability conditions are not all satisfied

The leading principal minors are: .

Given K p = 2 , the stability conditions on K i are
K i [ 0,.8987 ] E71

PID-stabilization policy: For a PID-stabilization policy, the consumption equation is

C ( t ) = c Y ( t ) u ( t ) λ D + λ { K p Y ( t ) + K i Y ( t ) d t + K d D Y ( t ) } E72

where K d denotes the derivative correction factor. The dynamic equation of the model is a linear fourth order ODE in Y

Y ( 4 ) + ( α ( 1 c ) + β + λ + α λ K d α β v ) Y ( 3 ) + ( β λ + ( 1 c + λ K d λ v ) α β + ( 1 c + K p ) α λ ) Y ¨ + ( α β λ ( 1 c + K p ) + α λ K i ) Y ˙ + α β λ K i Y ( t ) = 0 E73

Taking c = 3 / 4, v = 3 / 5, α = 4, β = 1, λ = 2, K p = K i = 2, K d = .55, u = 1 , the fourth order ODE n Y is

with the initial conditions Y ( 0 ) = 0, Y ˙ ( 0 ) = 4, Y ¨ ( 0 ) = 12, Y ( 3 ) ( 0 ) = 2.4 . The solution (for t 0 ) is

Y ( t ) = .07 e 2.16 t .12 e .74 t + 1.40 e 1.55 t cos ( 2.76 t + 1.54 ) E74

Figure 23.

Stabilization policies over a 3-6 years period: (a) no stabilization policy, (b) P-stabilization policy, (c) PI-stabilization policy, (d) PID-stabilization policy

The graph of the PID-controlled Y ( t ) is plotted in Figure A.2(d). The system is stable since the Routh-Hurwitz stability conditions are all satisfied

The leading principal minors are :

Given K p = K i = 2 , the stability conditions on K d are K d 3.92 and K d .07 . The curve Figure A.2(a) without stabilization policy shows the response of the activity Y to the unit initial decrease of demand. The acceleration coefficient ( v = .8 ) generates explosive fluctuations

Damped oscillations are obtained when the acceleration coefficient lies in the closed interval .

.The proportional tuning corrects the level of production but not the oscillations. The oscillations grow worse by the integral tuning. The combined PI-stabilization

The integral correction is rarely used alone.

renders the system unstable. The additional derivative stabilization is then introduced and the combined PID-policy stabilizes the system.

References

  1. 1. Allen R. G. D. 1955 The engineer’s approach to economic models, Economica, 22 86 158-168
  2. 2. Aström K. J. 1970 Stochastic Control Theory, Dover Publications Inc., Mineola, N.Y.
  3. 3. Bertsekas D. P. 1987 Dynamic Programming: Deterministic and Stochastic Models, Prentice Hall Inc., Englewood Cliffs, N.J.
  4. 4. Braae M. Rutherford D. 1978 Fuzzy relations in a control setting, Kybernetes, 7 185-188
  5. 5. Brainard W. C. 1967 Uncertainty and the effectiveness of policy, The American Economic Review Proceedings, 57 411-425
  6. 6. Chopra S. Mitra R. Kumar V. 2005 Fuzzy controller: choosing an appropriate and smallest rule set, International Journal of Computational Cognition, 3 4 73-79
  7. 7. Chow G. C. 1972 How much could be gained by optimal stochastic control policies, Annals of Economic and Social Measurement, 1 391-406
  8. 8. Chow G. C. 1973 Problems of economic policy from the viewpoint of optimal control, The American Economic Review, 63 5 825-837
  9. 9. Chung B. M. Oh J. H. 1993 Control of dynamic systems using fuzzy learning algorithm, Fuzzy Sets and Systems, 59 1-14
  10. 10. Cominos P. Nunro N. 2002 PID Controllers: recent tuning methods and design to specification, IEEE (The Institute of Electrical and Electronics Engineers), Proceedings in Control Theory, 149 1 46-53
  11. 11. Gabisch G. Lorenz H. W. 1989 Business Cycle Theory: A Survey of Methods and Concepts, Springer-Verlag, New York
  12. 12. Gandolfo G. 1980 Economic Dynamics: Methods and Models, North- Holland, Amsterdam
  13. 13. Goodwin R. M. 1951 The nonlinear accelerator and the persistence of business cycles, Econometrica, 19 1 1-17
  14. 14. Hall S. G. Henry S. G. B. 1988 Macroeconomic Modelling, North- Holland, Amsterdam
  15. 15. Holbrook R. 1972 Optimal economic policy and the problem of instrument instability, The American Economic Review, 62 1 57-65
  16. 16. Howrey E. P. 1967 Stabilization policy in linear stochastic models, Review of Economics and Statistics, 49 404-411
  17. 17. Kamien M. I. Schwartz N. L. 1991 Dynamic Optimization: The Calculus of Variations and Optimal Control in Economics and Management, 2nd edition, North-Holland, New York
  18. 18. Kendrick D. A. 2002 Stochastic Control for Economic Models, 2nd edition, version 2.00, The University of Texas, Austin, Texas
  19. 19. Kitamoto T. Saeki M. Ando K. 1992 CAD Package for Control System on Mathematica, IEEE, (The Institute of Electrical and Electronics Engineers), 448 451
  20. 20. Klir G. J. Yuan B. 1995 Fuzzy Sets and Fuzzy Logic: Theory and Applications, Prentice Hall Inc., Upper Saddle River, N.J.
  21. 21. Kosko B. 1992 Neural Networks and Fuzzy Systems: a Dynamical Systems Approach to Machine Intelligence, Prentice Hall Inc., Englewood Cliffs, N.J.
  22. 22. Lee C. C. 1990 Fuzzy logic in control systems: fuzzy logic controller-Part I,IEEE Transactions on Systems, Man, and Cybernetics, 20 2 404-418
  23. 23. Leland H. E. 1974 Optimal growth in a stochastic environment, Review of Economic Studies, 125 75-86
  24. 24. Lutovac M. D. Tošić D. V. Evans B. L. 2001 Filter Design for Signal Using MATLAB and MAT HEMATICA, Prentice Hall, Upper Saddle River, N.J.
  25. 25. Nerlove M. Grether D. M. Carvalho J. L. 1979 Analysis of Economic Time Series: a Synthesis. Academic Press, New York, San Francisco, London
  26. 26. Passino K. M. Yurkovich S. 1998 Fuzzy Control, Addison- Wesley, Menlo Park, Cal.
  27. 27. Phillips A. W. 1954 Stabilisation policy in a closed economy, Economic Journal, 64 254 290-323
  28. 28. Phillips A. W. 1957 Stabilisation policy and the time-forms of lagged responses, Economic Journal, 67 266 265-277
  29. 29. Pitchford J. D. Turnovsky S. J. 1977 Applications of Control Theory to Economic Analysis, North-Holland, Amsterdam
  30. 30. Poole W. 1957 Optimal choice of monetary policy instruments in a simple stochastic macro-model, Quarterly Journal of Economics, 84 197-216
  31. 31. Preston A. J. 1974 A dynamic generalization of Tinbergen’s theory of policy, Review of Economic Studies, 125 65-74
  32. 32. Preston A. J. Pagan A. R. 1982 The Theory of Economic Policy: Statics and Dynamics. Cambridge University Press, Cambridge
  33. 33. Rao M. J. 1987 Filtering and Control of Macroeconomic Systems, North-Holland, Amsterdam
  34. 34. Sage A. S. White C. C. I. I. I. 1977 Optimum System Control, 2nd edition, Prentice Hall Inc., Englewood Cliffs, N.J.
  35. 35. Shone R. 2002 Economic Dynamics: Phase Diagrams and their Economic Application,
  36. 36. 2nd edition, Cambridge University Press, Cambridge
  37. 37. Sørensen P. B. Whitta-Jacobsen H. J. 2005 Introducing Advanced Macroeconomics : Growth & Business Cycles, The McGrawHill Co., London
  38. 38. Stachowicz M. S. Beall L. 2003 MATHEMATICA Fuzzy Logic, Wolfram Research. http://www.wolfram.com
  39. 39. The MathWorks Inc. 2008 User’s Guide: "MATLAB 7", "Simulink 7", "Simulink Control Design", "Control System Design", "Fuzzy Logic Toolbox 2"
  40. 40. Turnovsky S. J. 1973 Optimal stabilization policies for deterministic and stochastic linear economic systems, Review of Economic Studies, 40 79 96 l
  41. 41. Turnovsky S. J. 1974 The stability properties of optimal economic policies, The American Economic Review, 64 1 136-148
  42. 42. Turnovsky S. J. 1977 Macroeconomic Analysis and Stabilization Policy, Cambridge University Press, Cambridge
  43. 43. Tustin A. 1953 The Mechanism of Economic Systems, William Heinemann Ltd, London.
  44. 44. Wolfram S. 2003 The MATHEMATICA Book, 5th edition, Wolfram Media Inc., Champaign Ill., http://www.wolfram.com
  45. 45. Ying H. 2000 Fuzzy Control and Modeling: Analytical Foundations and Applications, IEEE (The Institute of Electrical and Electronics Engineers) Press, New York

Notes

  • Any higher order system has an equivalent augmented first-order system, as shown in 2.1.2 . Let a second-order system be the matrix equation
  • The deviations are about some desired and constant objectives such that and .
  • The stabilization rule may be considered of the proportional-derivative type [Turnovsky, 1977] rewriting as
  • A necessary and sufficient condition of a linear system is that the characteristic roots lie within the unit circle in the complex plane. In this case, the autoregressive coefficients will satisfy the set of inequalities The region to the right of the parabola in Figure 1 corresponds to values of coefficients and which yield complex characteristic roots.
  • The use of closed-loop theory in economics is due to Tustin [Tustin, 1953].
  • The differential form of the delay is the production lag where the operator is the differentiation w.r.t. time. The distribution form is Given the weighting function , the response function is for the path of following a unit step-change in
  • The Ziegler-Nichols method is a formal PID tuning method: the and gains are first set to zero. The gain is then increased until to a critical gain at which the output of the loop starts to oscillate. Let denote by the oscillation period, the gains are set to
  • The autonomous constant component is ignored since is measured from a stationary level.
  • The commonly used centroid method will take the center of mass. It favors the rule with the output of greatest area. The height method takes the value of the biggest contributor.
  • Scaling factors may be used to modify easily the universe of discourse of inputs. We then have the scaled inputs and .
  • See [Braee & Rutherford, 1978] for fuzzy relations in a FLC and their influences to select more appropriate operations
  • Choosing an appropriate dimension of the rule is discussed by [Chopra et al., 2005]. Rules bases of dimension 9 (for 3MFs), 25 (5MFs), 49 (7 MFs), 81 (9 MFs) and 121 (11 MFs) are compared.
  • The time constant of the correction lag is years.. In the numerical applications, we will retain
  • Let be the polynomial equation with real coefficientsThe Routh-Hurwitz theorem states that necessary and sufficient conditions to have negative real part are given by the conditions that all the leading principal minors of a matrix must be positive. In this case, the matrix isWe have all the positive leading principal minors: and .
  • The leading principal minors are: .
  • The leading principal minors are :
  • Damped oscillations are obtained when the acceleration coefficient lies in the closed interval .
  • The integral correction is rarely used alone.

Written By

André A. Keller

Published: October 1st, 2009