Research Article An Efficient Pseudospectral...

8
Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 357931, 7 pages http://dx.doi.org/10.1155/2013/357931 Research Article An Efficient Pseudospectral Method for Solving a Class of Nonlinear Optimal Control Problems Emran Tohidi, 1 Atena Pasban, 1 A. Kilicman, 2 and S. Lotfi Noghabi 3 1 Department of Mathematics, Islamic Azad University, Zahedan Branch, Zahedan, Iran 2 Department of Mathematics, Universiti Putra Malaysia (UPM), 43400 Serdang, Malaysia 3 Department of Applied Mathematics, School of Mathematical Sciences, Ferdowsi University of Mashhad, Mashhad, Iran Correspondence should be addressed to A. Kilicman; [email protected] Received 10 March 2013; Accepted 30 July 2013 Academic Editor: Mustafa Bayram Copyright Β© 2013 Emran Tohidi et al. is 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. is paper gives a robust pseudospectral scheme for solving a class of nonlinear optimal control problems (OCPs) governed by differential inclusions. e basic idea includes two major stages. At the first stage, we linearize the nonlinear dynamical system by an interesting technique which is called linear combination property of intervals. Aο¬…er this stage, the linearized dynamical system is transformed into a multi domain dynamical system via computational interval partitioning. Moreover, the integral form of this multidomain dynamical system is considered. Collocating these constraints at the Legendre Gauss Lobatto (LGL) points together with using the Legendre Gauss Lobatto quadrature rule for approximating the involved integrals enables us to transform the basic OCPs into the associated nonlinear programming problems (NLPs). In all parts of this procedure, the associated control and state functions are approximated by piecewise constants and piecewise polynomials, respectively. An illustrative example is provided for confirming the accuracy and applicability of the proposed idea. 1. Introduction Optimal control problems (OCPs) have received considerable attention during the last four decades because of their applications. Such problems arise in many areas of science and engineering and play an important role in the modeling of real-life phenomena in other fields of science. e principal difficulty in studying OCPs via traditional and classical methods lies in their special nature. Obviously, most of OCPs cannot be solved by the well-known indirect methods [1, 2]. erefore, it is highly desirable to design accurate direct numerical approaches to approximate the solutions of OCPs [3]. Among all of the numerical techniques for solving smooth OCPs, orthogonal functions and polynomials have been applied in a huge size of research works. High accuracy and ease of applying these polynomials and functions for OCPs are two important advantages which have encouraged many authors to use them for different types of problems. For solving smooth OCPs, there exist a broad class of methods based on orthogonal polynomials which were presented by famous applied mathematics scientists such as [4, 5]. e fundamental idea of these methods is based upon pseudospectral (or spectral collocation) operational matrices of differentiation. However, Legendre spectral operational matrix of differentiation was used in [6] (for other applica- tions of spectral operational matrices of differentiation see [7]). e best property of the spectral operational matrices of differentiation is the sparsity, while the pseudospectral ones are relatively filled matrices. Another computational approach for solving OCPs which is based on high order Gauss quadrature rules was presented in [8]. However, high order of accuracy may be obtained by this method, but suitable preconditionings should be explored because of its ill-conditioning of the associated algebraic system. In many real mathematical models, the controller should be restricted. In other words, the control functions of OCPs are bounded in many cases. According to the classical theory of optimal control [9], if the control functions are bounded and appear linearly in the cost functionals and dynamical systems, the resulting problem is a Bang-Bang OCP. In this case, the control functions are discontinuous. erefore,

Transcript of Research Article An Efficient Pseudospectral...

Page 1: Research Article An Efficient Pseudospectral …downloads.hindawi.com/journals/aaa/2013/357931.pdfResearch Article An Efficient Pseudospectral Method for Solving a Class of Nonlinear

Hindawi Publishing CorporationAbstract and Applied AnalysisVolume 2013, Article ID 357931, 7 pageshttp://dx.doi.org/10.1155/2013/357931

Research ArticleAn Efficient Pseudospectral Method for Solving a Class ofNonlinear Optimal Control Problems

Emran Tohidi,1 Atena Pasban,1 A. Kilicman,2 and S. Lotfi Noghabi3

1 Department of Mathematics, Islamic Azad University, Zahedan Branch, Zahedan, Iran2Department of Mathematics, Universiti Putra Malaysia (UPM), 43400 Serdang, Malaysia3 Department of Applied Mathematics, School of Mathematical Sciences, Ferdowsi University of Mashhad, Mashhad, Iran

Correspondence should be addressed to A. Kilicman; [email protected]

Received 10 March 2013; Accepted 30 July 2013

Academic Editor: Mustafa Bayram

Copyright Β© 2013 Emran Tohidi 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.

This paper gives a robust pseudospectral scheme for solving a class of nonlinear optimal control problems (OCPs) governed bydifferential inclusions. The basic idea includes two major stages. At the first stage, we linearize the nonlinear dynamical system byan interesting technique which is called linear combination property of intervals. After this stage, the linearized dynamical systemis transformed into a multi domain dynamical system via computational interval partitioning. Moreover, the integral form of thismultidomain dynamical system is considered. Collocating these constraints at the Legendre Gauss Lobatto (LGL) points togetherwith using the Legendre Gauss Lobatto quadrature rule for approximating the involved integrals enables us to transform the basicOCPs into the associated nonlinear programming problems (NLPs). In all parts of this procedure, the associated control and statefunctions are approximated by piecewise constants and piecewise polynomials, respectively. An illustrative example is provided forconfirming the accuracy and applicability of the proposed idea.

1. Introduction

Optimal control problems (OCPs) have received considerableattention during the last four decades because of theirapplications. Such problems arise in many areas of scienceand engineering and play an important role in the modelingof real-life phenomena in other fields of science.Theprincipaldifficulty in studying OCPs via traditional and classicalmethods lies in their special nature. Obviously, most of OCPscannot be solved by the well-known indirect methods [1, 2].Therefore, it is highly desirable to design accurate directnumerical approaches to approximate the solutions of OCPs[3].

Among all of the numerical techniques for solvingsmooth OCPs, orthogonal functions and polynomials havebeen applied in a huge size of research works. High accuracyand ease of applying these polynomials and functions forOCPs are two important advantages which have encouragedmany authors to use them for different types of problems. Forsolving smooth OCPs, there exist a broad class of methodsbased on orthogonal polynomials which were presented

by famous applied mathematics scientists such as [4, 5].The fundamental idea of these methods is based uponpseudospectral (or spectral collocation) operational matricesof differentiation. However, Legendre spectral operationalmatrix of differentiation was used in [6] (for other applica-tions of spectral operational matrices of differentiation see[7]). The best property of the spectral operational matricesof differentiation is the sparsity, while the pseudospectralones are relatively filled matrices. Another computationalapproach for solving OCPs which is based on high orderGauss quadrature rules was presented in [8]. However, highorder of accuracy may be obtained by this method, butsuitable preconditionings should be explored because of itsill-conditioning of the associated algebraic system.

In many real mathematical models, the controller shouldbe restricted. In other words, the control functions of OCPsare bounded in many cases. According to the classical theoryof optimal control [9], if the control functions are boundedand appear linearly in the cost functionals and dynamicalsystems, the resulting problem is a Bang-Bang OCP. In thiscase, the control functions are discontinuous. Therefore,

Page 2: Research Article An Efficient Pseudospectral …downloads.hindawi.com/journals/aaa/2013/357931.pdfResearch Article An Efficient Pseudospectral Method for Solving a Class of Nonlinear

2 Abstract and Applied Analysis

we deal with a nonsmooth OCP. For dealing with suchnonsmooth OCPs, some new numerical methods have beenproposed in the literature such as [10, 11]. These approachesare based on finite difference methods (FDMs). Simplicity ofthe discretization by FDMs is usually easy to handle, but lowerorder of accuracy may make them unsuccessful. Therefore,we should look at high order numerical methods such asspectral or pseudospectral techniques. But, as it is mentionedin the literature, spectral schemes are the best tools just forthe problemswith smooth solutions and data. In other words,if we apply these methods for approximating nonsmoothfunctions we usually observe the Gibbs phenomena. Thefollowing example illustrates this fact.

Example 1 (see [9]). We consider the following OCP:

Min 𝐽 = ∫

2

0

(3𝑒 (𝜏) βˆ’ 2𝑦 (𝜏)) π‘‘πœ

s.t. 𝑦 (𝜏) = 𝑦 (𝜏) + 𝑒 (𝜏) , 0 ≀ 𝜏 ≀ 2,

𝑦 (0) = 4, 𝑦 (2) = 39.392,

𝑒 (𝜏) ∈ [0, 2] , 0 ≀ 𝜏 ≀ 2.

(1)

Since the computational interval is [0, 2], we shouldchange it into [βˆ’1, 1] by a simple transformation as follows:

Min 𝐽 = ∫

1

βˆ’1

(3𝑒 (𝑑) βˆ’ 2𝑦 (𝑑)) 𝑑𝑑

s.t. 𝑦 (𝑑) = 𝑦 (𝑑) + 𝑒 (𝑑) , βˆ’1 ≀ 𝑑 ≀ 1,

𝑦 (βˆ’1) = 4, 𝑦 (1) = 39.392,

𝑒 (𝑑) ∈ [0, 2] , βˆ’1 ≀ 𝑑 ≀ 1.

(2)

The optimal control of the above-mentioned problem isgiven in the following form:

π‘’βˆ—(𝑑) = {

2 βˆ’1 ≀ 𝑑 ≀ 0.096,

0 0.096 ≀ 𝑑 ≀ 1.(3)

For approximating the control function of this problem,we use the classical spectral method [6]. As it is depictedin Figures 1 and 2, the desired optimal control cannot beobtained in a good manner. From these Figures one canobserve that not only the exact value of switching point (i.e.,𝑑 = 0.096) is not detected with a high accuracy, but also theobtained solutions have additional jumps in the boundaryof domain. These are the disadvantages of the applying theclassical spectral methods for solving nonsmooth problems.

To delete these mentioned disadvantages, a robust spec-tral method is presented in [12] for solving a class of non-smooth OCPs that has some fundamental differences withthe classical spectral techniques. First, the computationalinterval is partitioned into subintervals where the size of eachsubinterval is considered as an unknown parameter, and thisenables us to compute the switching times more efficiently.Second, in contrast with the classical spectral schemes,

βˆ’1 βˆ’0.5 0 0.5 1

0.5

1

1.5

2Approximate optimal control history for N = 21

t

Figure 1: Approximate optimal control history of Example 1 for𝑁 =

21.

Approximate optimal control history for N = 23

βˆ’1 βˆ’0.5 0 0.5 1

0.5

1

1.5

2

t

Figure 2:Approximate optimal control history of Example 1 for𝑁 =

23.

the integral form of the dynamical system is considered.This equivalent form is found by integrating the differentialdynamics and adding the initial conditions.

Our fundamental goal of this paper is to extend a new ideawhich was introduced in [12] to approximate the control andstate functions of the following nonsmooth OCP:

Min 𝐽 = ∫

𝑑𝑓

0

𝑓 (𝑑, 𝑦 (𝑑)) 𝑑𝑑

s.t. 𝑦 (𝑑) ∈ 𝑑 (𝑑) , 𝑑 ∈ [0, 𝑑𝑓] ,

(𝑦 (0) , 𝑦 (𝑑𝑓)) ∈ 𝑆,

(4)

Page 3: Research Article An Efficient Pseudospectral …downloads.hindawi.com/journals/aaa/2013/357931.pdfResearch Article An Efficient Pseudospectral Method for Solving a Class of Nonlinear

Abstract and Applied Analysis 3

where 𝑑(𝑑) is a set of continuous functions on [0, 𝑑𝑓] and 𝑆 is

a set which contains boundary points of state variable 𝑦(𝑑).Also, 𝑦(𝑑) ∈ R𝑛, 𝑒(𝑑) ∈ R𝑛, and 𝑓(𝑑, 𝑦(𝑑)) ∈ R. According todiscussions in [11], we can assume that

𝑑 (𝑑) = {𝐷 (𝑑, 𝑒 (𝑑)) : 𝑒 (𝑑) ∈ π‘ˆ} , 𝑑 ∈ [0, 𝑑𝑓] , (5)

where π‘ˆ βŠ‚ R𝑛 is a compact set and 𝐷(𝑑, 𝑒(𝑑)) = (𝐷1(𝑑, 𝑒(𝑑)),

𝐷2(𝑑, 𝑒(𝑑)), . . . , 𝐷

𝑛(𝑑, 𝑒(𝑑)))

𝑇 is a continuous function on[0, 𝑑𝑓] Γ— π‘ˆ. Thus, OCP (4) can be rewritten in the form

Min 𝐽 = ∫

𝑑𝑓

0

𝑓 (𝑑, 𝑦 (𝑑)) 𝑑𝑑

s.t. 𝑦 (𝑑) = 𝐷 (𝑑, 𝑒 (𝑑)) , 𝑒 (𝑑) ∈ π‘ˆ,

𝑦 (0) = 𝑦0, 𝑦 (𝑑

𝑓) = 𝑦𝑓.

(6)

It should be noted that the dynamical system of (6)is nonlinear in terms of control 𝑒(𝑑). For handling OCP(6) in a proper manner, we first linearize the nonlineardynamical system by an interesting technique which is calledlinear combination property of intervals (LCPI). After thisstage, the linearized dynamical system is transformed intoa multidomain dynamical system via computational intervalpartitioning. Collocating these constraints at the LegendreGauss Lobatto (LGL) points together with using the Leg-endre Gauss Lobatto quadrature rule for approximating theinvolved integrals enables us to transform the basicOCPs intothe associated nonlinear programming problems (NLPs).

The paper is organized as follows. Section 2 is devoted tolinearize the nonlinear dynamical system by using LCPI. InSection 3, we design our basic idea which is based on approx-imation of the associated control and state functions bypiecewise constant and piecewise polynomials, respectively. Itshould be noted that Legendre Gauss Lobatto points are usedfor collocating the linearized dynamical system. In Section 4,we present a numerical example, demonstrating the efficiencyof the suggested numerical algorithm. Concluding remarksare given in Section 5.

2. Dynamical System Linearization

Since 𝐷 : [0, 𝑑𝑓] Γ— π‘ˆ β†’ R𝑛 is continuous and [0, 𝑑

𝑓] Γ— π‘ˆ

is a compact and connected subset ofR𝑛+1, then {𝐷(𝑑, 𝑒(𝑑)) :𝑒 ∈ π‘ˆ} is a closed set in R𝑛. Thus, {𝐷

𝑖(𝑑, 𝑒(𝑑)) : 𝑒 ∈ π‘ˆ} for

𝑖 = 1, 2, . . . , 𝑛 is closed inR. Now, suppose that the lower andupper bounds of the {𝐷

𝑖(𝑑, 𝑒(𝑑)) : 𝑒 ∈ π‘ˆ} are 𝑙

𝑖(𝑑) and V

𝑖(𝑑),

respectively. Therefore,

𝑙𝑖(𝑑) ≀ 𝐷

𝑖(𝑑, 𝑒 (𝑑)) ≀ V

𝑖(𝑑) , 𝑑 ∈ [0, 𝑑

𝑓] . (7)

In other words,

𝑙𝑖(𝑑) = min

𝑒{𝐷𝑖(𝑑, 𝑒 (𝑑)) : 𝑒 ∈ π‘ˆ} , 𝑑 ∈ [0, 𝑑

𝑓] ,

V𝑖(𝑑) = max

𝑒{𝐷𝑖(𝑑, 𝑒 (𝑑)) : 𝑒 ∈ π‘ˆ} , 𝑑 ∈ [0, 𝑑

𝑓] .

(8)

By using LCPI, which was first introduced in [10],𝐷𝑖(𝑑, 𝑒(𝑑)) can be approximated as a convex linear combina-

tion of its minimum 𝑙𝑖(𝑑) andmaximum V

𝑖(𝑑) in the following

form:

𝐷𝑖(𝑑, 𝑒 (𝑑)) β‰ˆ πœ†

𝑖(𝑑) V𝑖(𝑑) + (1 βˆ’ πœ†

𝑖(𝑑)) 𝑙𝑖(𝑑)

= πœ†π‘–(𝑑) 𝛼𝑖(𝑑) + 𝑙

𝑖(𝑑) ,

(9)

where 𝛼𝑖(𝑑) = V

𝑖(𝑑) βˆ’ 𝑙

𝑖(𝑑) and πœ†

𝑖(𝑑) ∈ [0, 1]. It should be

mentioned that all the πœ†π‘–(𝑑) are the new associated control

variables. Now, the main problem (6) is approximated by thefollowing OCP:

Min ∫

𝑑𝑓

0

𝑓 (𝑑, 𝑦 (𝑑)) 𝑑𝑑

s.t. 𝑦 (𝑑) = 𝐴 (𝑑) Ξ› (𝑑) + 𝑙 (𝑑) ,

Ξ› (𝑑) ∈

𝑛 times⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞⏞[0, 1] Γ— [0, 1] Γ— β‹… β‹… β‹… Γ— [0, 1], 𝑑 ∈ [0, 𝑑

𝑓] ,

𝑦 (0) = 𝑦0, 𝑦 (𝑑

𝑓) = 𝑦𝑓,

(10)

where 𝐴(𝑑) = diag(𝛼1(𝑑), 𝛼2(𝑑), . . . , 𝛼

𝑛(𝑑))𝑛×𝑛

, Ξ›(𝑑) = (πœ†1(𝑑),

πœ†2(𝑑), . . . , πœ†

𝑛(𝑑))𝑛×1

, and 𝑙(𝑑) = (𝑙1(𝑑), 𝑙2(𝑑), . . . , 𝑙

𝑛(𝑑)))𝑛×1

. Notethat problem (10) is a Bang-Bang OCP, because in thisproblem the new controlΞ›(𝑑) has lower 0 and upper 1 boundsand appears linearly in the dynamical equations. As soonas the controls are assumed to be bang-bang, the problemof finding the required controls becomes one of finding theswitching times.

3. Discretization of the New OCP ContainingLinearized Dynamical System

In the sequel and for simplicity in the discretization proce-dure, we assume that 𝑛 = 1 (in other words, Ξ›(𝑑) = πœ†(𝑑))and suppose that problem (10) has an optimal solution withπ‘š β‰₯ 1 switching points denoted by 𝑑

1, 𝑑2, . . . , 𝑑

π‘š. So if we set

𝑑0= 0 and 𝑑

π‘š+1= 𝑑𝑓, then the interval [0, 𝑑

𝑓] breaks intoπ‘š+1

subintervals. That is,

[0, 𝑑𝑓] = [𝑑

0, 𝑑1] βˆͺ [𝑑1, 𝑑2] βˆͺ β‹… β‹… β‹… βˆͺ [𝑑

π‘š, π‘‘π‘š+1

] , (11)

where on each subinterval, πœ†(𝑑) is constant.We denote πœ†(𝑑) inπ‘˜th subinterval with constant π‘π‘˜. Since 0 ≀ πœ†(𝑑) ≀ 1, we have

0 ≀ π‘π‘˜β‰€ 1, π‘˜ = 1, 2, . . . , π‘š + 1. (12)

Moreover, we take the restriction of 𝑦(𝑑) to the π‘˜thsubinterval by 𝑦

π‘˜(𝑑). By considering (11), the dynamical

system of (10) is conveyed as

π‘¦π‘˜(𝑑) = 𝐴 (𝑑) 𝑏

π‘˜+ 𝑙 (𝑑) ,

π‘‘π‘˜βˆ’1

≀ 𝑑 ≀ π‘‘π‘˜, π‘˜ = 1, 2, . . . , π‘š + 1,

(13)

𝑦1(0) = 𝑦

0, (14)

π‘¦π‘˜(π‘‘π‘˜βˆ’1

) = π‘¦π‘˜βˆ’1

(π‘‘π‘˜βˆ’1

) , π‘˜ = 2, 3, . . . , π‘š + 1. (15)

Page 4: Research Article An Efficient Pseudospectral …downloads.hindawi.com/journals/aaa/2013/357931.pdfResearch Article An Efficient Pseudospectral Method for Solving a Class of Nonlinear

4 Abstract and Applied Analysis

It should be noted that (15) is assumed to guarantee thecontinuity of state functions. Integrating (13) gives rise to thefollowing dynamic equations:

π‘¦π‘˜(𝑑) = 𝑐

π‘˜βˆ’1+ ∫

𝑑

π‘‘π‘˜βˆ’1

(𝐴 (𝑠) π‘π‘˜+ 𝑙 (𝑠)) 𝑑𝑠,

π‘˜ = 1, . . . , π‘š + 1,

(16)

where π‘‘π‘˜βˆ’1

≀ 𝑑 ≀ π‘‘π‘˜and

π‘π‘˜= {

𝑦0

π‘˜ = 0,

π‘¦π‘˜(π‘‘π‘˜) π‘˜ = 1, 2, . . . , π‘š.

(17)

Thefinal condition𝑦(𝑑𝑓) = 𝑦𝑓is imposed only onπ‘¦π‘š+1(𝑑)

as

π‘¦π‘š+1

(π‘‘π‘š+1

) = 𝑦𝑓. (18)

Therefore, problem (10) is transformed into the followingoptimization problem:

Min 𝐽 =

𝑠+1

βˆ‘

π‘˜=1

∫

π‘‘π‘˜

π‘‘π‘˜βˆ’1

𝑓 (𝑠, π‘¦π‘˜(𝑠)) 𝑑𝑠

s.t. π‘¦π‘˜(𝑑) = 𝑐

π‘˜βˆ’1+ ∫

𝑑

π‘‘π‘˜βˆ’1

(𝐴 (𝑠) π‘π‘˜+ 𝑙 (𝑠)) 𝑑𝑠,

π‘‘π‘˜βˆ’1

≀ 𝑑 ≀ π‘‘π‘˜

π‘˜ = 1, 2, . . . , π‘š + 1,

𝑦𝑠+1

(𝑑𝑠+1) = 𝑦𝑓,

0 ≀ π‘π‘˜β‰€ 1, π‘˜ = 1, 2, . . . , π‘š + 1.

(19)

For discretizing (19), we assume π‘ π‘˜

𝑖, 𝑖 = 0, 1, . . . , 𝑁, to

be the shifted LGL nodes to subinterval [π‘‘π‘˜βˆ’1

, π‘‘π‘˜]; that is,

π‘ π‘˜

𝑖= (𝑠𝑖)((π‘‘π‘˜βˆ’ π‘‘π‘˜βˆ’1

)/2) + ((π‘‘π‘˜+ π‘‘π‘˜βˆ’1

)/2). By using Lagrangeinterpolation, we approximate π‘¦π‘˜(𝑑) by

π‘¦π‘˜(𝑑) β‰ˆ

𝑁

βˆ‘

𝑖=0

π‘¦π‘˜

π‘–οΏ½οΏ½π‘˜

𝑖(𝑑) , (20)

where π‘¦π‘˜π‘–= π‘¦π‘˜(π‘ π‘˜

𝑖) and

οΏ½οΏ½π‘˜

𝑖(𝑑) = 𝐿

𝑖(

2

π‘‘π‘˜βˆ’ π‘‘π‘˜βˆ’1

𝑑 βˆ’π‘‘π‘˜+ π‘‘π‘˜βˆ’1

π‘‘π‘˜βˆ’ π‘‘π‘˜βˆ’1

) . (21)

It should be noted that 𝐿𝑖(𝑑) is the 𝑖th Lagrange basis

function. Since π‘¦π‘˜(𝑑) is approximated, therefore 𝑓 can be

approximated in the π‘˜th subinterval as follows:

𝑓 (𝑠, π‘¦π‘˜(𝑠)) β‰ˆ

𝑁

βˆ‘

𝑗=0

𝑓 (π‘ π‘˜

𝑗, π‘¦π‘˜(π‘ π‘˜

𝑗)) οΏ½οΏ½π‘˜

𝑗(𝑑)

=

𝑁

βˆ‘

𝑗=0

𝑓 (π‘ π‘˜

𝑗, π‘¦π‘˜

𝑗) οΏ½οΏ½π‘˜

𝑗(𝑑) .

(22)

Now by substituting approximations (20) and (22) into(19), we get

𝑁

βˆ‘

𝑗=0

π‘¦π‘˜

π‘—οΏ½οΏ½π‘˜

𝑗(𝑑) = 𝑐

π‘˜βˆ’1+ ∫

𝑑

π‘‘π‘˜βˆ’1

(𝐴 (𝑠) π‘π‘˜+ 𝑙 (𝑠)) 𝑑𝑠,

π‘‘π‘˜βˆ’1

≀ 𝑑 ≀ π‘‘π‘˜.

(23)

From (17) and (20) for π‘˜ = 1, . . . , π‘š, we have π‘π‘˜ = π‘¦π‘˜

𝑁.

Now if we set 𝑦0𝑁= 𝑦0, then we obtain

π‘π‘˜= π‘¦π‘˜

𝑁, π‘˜ = 0, . . . , π‘š + 1. (24)

Collocating (23) at π‘ π‘˜π‘–, 𝑖 = 0, . . . , 𝑁, π‘˜ = 1, . . . , π‘š + 1,

yields

π‘¦π‘˜

𝑖= π‘¦π‘˜βˆ’1

𝑁+ π‘π‘˜βˆ«

π‘ π‘˜π‘–

π‘‘π‘˜βˆ’1

𝐴 (𝑠) 𝑑𝑠 + ∫

π‘ π‘˜π‘–

π‘‘π‘˜βˆ’1

𝑙 (𝑠) 𝑑𝑠,

𝑖 = 0, 1, . . . , 𝑁.

(25)

Now, by applying a simple linear transformation, wetransform the interval [𝑑

π‘˜βˆ’1, π‘ π‘˜

𝑖] into [βˆ’1, 1] as follows:

𝑠 =π‘ π‘˜

π‘–βˆ’ π‘‘π‘˜βˆ’1

2πœ‚ +

π‘ π‘˜

𝑖+ π‘‘π‘˜βˆ’1

2, 𝑖 = 0, 1, . . . , 𝑁. (26)

Therefore, the Legendre Gauss Lobatto quadrature rulecan be applied in the following form:

π‘¦π‘˜

𝑖= π‘¦π‘˜βˆ’1

𝑁+π‘ π‘˜

π‘–βˆ’ π‘‘π‘˜βˆ’1

2(π‘π‘˜βˆ«

1

βˆ’1

𝐴 (πœ‚) π‘‘πœ‚ + ∫

1

βˆ’1

οΏ½οΏ½ (πœ‚) π‘‘πœ‚)

β‰ˆ π‘¦π‘˜βˆ’1

𝑁+π‘ π‘˜

π‘–βˆ’ π‘‘π‘˜βˆ’1

2{

𝑁

βˆ‘

π‘ž=0

π‘€π‘ž(π‘π‘˜π΄(π‘ π‘ž) + οΏ½οΏ½ (𝑠

π‘ž))} ,

0 ≀ 𝑖 ≀ 𝑁,

(27)

where 𝐴(πœ‚) = 𝐴(((π‘ π‘˜

π‘–βˆ’ π‘‘π‘˜βˆ’1

)/2)πœ‚ + ((π‘ π‘˜

𝑖+ π‘‘π‘˜βˆ’1

)/2)), οΏ½οΏ½(πœ‚) =

𝑙(((π‘ π‘˜

π‘–βˆ’π‘‘π‘˜βˆ’1

)/2)πœ‚+(π‘ π‘˜

𝑖+π‘‘π‘˜βˆ’1

)/2), π‘€π‘ž= (2/𝑁(𝑁+1))(1/𝑃

2

𝑁(π‘ π‘ž))

for π‘ž = 0, 1, . . . , 𝑁 are the LGL weights and 𝑃𝑁(π‘₯) is the𝑁th

degree Legendre Polynomial.So by considering 𝑦

π‘š+1(𝑑𝑓) = 𝑦

π‘š+1

𝑁, problem (19) is

discretized to the following NLP:

Min 𝐽𝑁,π‘š

=

π‘š+1

βˆ‘

π‘˜=1

𝑁

βˆ‘

𝑗=0

𝑁

βˆ‘

π‘ž=0

π‘‘π‘˜βˆ’ π‘‘π‘˜βˆ’1

2𝑓 (π‘ π‘˜

𝑗, π‘¦π‘˜

𝑗)π‘€π‘žπΏπ‘—(π‘ π‘ž)

s.t. π‘¦π‘˜

π‘–βˆ’ π‘¦π‘˜βˆ’1

π‘βˆ’π‘ π‘˜

π‘–βˆ’ π‘‘π‘˜βˆ’1

2{

𝑁

βˆ‘

π‘ž=0

π‘€π‘ž(π‘π‘˜π΄(π‘ π‘ž) + οΏ½οΏ½ (𝑠

π‘ž))}

= 0

𝑖 = 0, 1, . . . , 𝑁, π‘˜ = 1, 2, . . . , π‘š + 1,

𝑦𝑠+1

π‘βˆ’ 𝑦𝑓= 0,

0 ≀ π‘π‘˜β‰€ 1, π‘˜ = 1, 2, β‹… β‹… β‹… , π‘š + 1.

(28)

Page 5: Research Article An Efficient Pseudospectral …downloads.hindawi.com/journals/aaa/2013/357931.pdfResearch Article An Efficient Pseudospectral Method for Solving a Class of Nonlinear

Abstract and Applied Analysis 5

Here, π‘π‘˜, π‘¦π‘˜π‘–, 𝑖 = 0, . . . , 𝑁, π‘˜ = 1, . . . , π‘š, and parameters

𝑑1, . . . , 𝑑

𝑠, 𝑑𝑓are unknown variables in the NLP. Note that 𝑦0

𝑁

is known and 𝑦0𝑁= 𝑦0.

In the above discretization procedure, the number ofswitching points, 𝑠, is considered as a known parameter. So atfirst we should guess the number of switching points. This isthe disadvantage of the proposed method. It should be notedthat if the number of switching points, 𝑠, is chosen correctly,then the resulting value of π‘π‘˜ is equal to its lower or upperbounds; furthermore, π‘π‘˜ changes in each switching point.

4. Numerical Example

We now apply the proposed idea for solving a nonlinearOCP governed by differential inclusion. This example wasfirst introduced in [11]. In the mentioned work, the authorsused the simplest form of FDMs. One of the advantagesof [11] is that we finally solve a Linear Programming (LP)problem. However, this method has other disadvantages suchas needing higher values of approximations (i.e.,𝑁), and thisleads to ill-conditioning of the associated discrete problem.Our presented ideas do not contains the difficulties of theclassical spectral methods and FDMs for solving nonsmoothOCPs and also achieve superior results with respect to at least3 other methods. These advantages confirm the efficiency ofthis modern spectral approximation. The following exampleismodeled using themathematical software packageMAPLE,and the corresponding nonlinear programming problem issolved using the command NLPSolve. It should be notedthat if the NLP is univariate and unconstrained exceptfor finite bounds, quadratic interpolation method may beused. If the problem is unconstrained and the gradientof the objective function is available, the preconditionedconjugate gradient (PCG) method may be used. Otherwise,the sequential quadratic programming (SQP) method can beused. According to the structure of our NLP, the SQPmethodis used.

Example 2. We consider the following nonlinear OCP gov-erned by differential inclusion:

Min 𝐽 = ∫

1

0

sin (3πœ‹π‘‘) 𝑦 (𝑑) 𝑑𝑑

s.t. 𝑦 (𝑑) ∈ {βˆ’ tan(πœ‹8𝑒3(𝑑) + 𝑑) : 𝑒 (𝑑) ∈ [0, 1]} ,

𝑦 (0) = 1, 𝑦 (1) = 0.

(29)

According to discussions in [11], the above OCP can berewritten in the following form:

Min 𝐽 = ∫

1

0

sin (3πœ‹π‘‘) 𝑦 (𝑑) 𝑑𝑑

s.t. 𝑦 (𝑑) = βˆ’ tan(πœ‹8𝑒3(𝑑) + 𝑑) ,

𝑒 (𝑑) ∈ [0, 1] , 𝑦 (0) = 1, 𝑦 (1) = 0.

(30)

Table 1: Numerical results of Example 2.

𝑁 𝑑1

𝑑2

𝑑3

𝐽𝑁

6 0.2218 0.4538 0.8874 0.09708 0.2214 0.4653 0.8683 0.096010 0.2214 0.4317 0.8341 0.096812 0.2214 0.4591 0.8890 0.096314 0.2214 0.4473 0.8762 0.096916 0.2214 0.4481 0.8971 0.0962

In this problem, the control function appears nonlinearly,andwe should linearize the initial dynamical system. Accord-ing to the idea of LCPI, the above OCP can be reduced to alinear OCP which is Bang-Bang. Here,𝐷(𝑑, 𝑒(𝑑)) = βˆ’ tan((πœ‹/8)𝑒3(𝑑) + 𝑑). Thus,

𝑙 (𝑑) = Min𝑒

{βˆ’ tan(πœ‹8𝑒3(𝑑) + 𝑑) : 𝑒 (𝑑) ∈ [0, 1]}

= βˆ’ tan(πœ‹8+ 𝑑) ,

V (𝑑) = Max𝑒

{βˆ’ tan(πœ‹8𝑒3(𝑑) + 𝑑) : 𝑒 (𝑑) ∈ [0, 1]}

= βˆ’ tan (𝑑) ,

(31)

and hence, 𝛼(𝑑) = V(𝑑) βˆ’ 𝑙(𝑑) = tan((πœ‹/8) + 𝑑) βˆ’ tan(𝑑).Therefore,𝐷(𝑑, 𝑒(𝑑)) can be approximated as follows:

𝐷 (𝑑, 𝑒 (𝑑)) β‰ˆ 𝛼 (𝑑) πœ† (𝑑) + 𝑙 (𝑑)

β‰ˆ (tan(πœ‹8+ 𝑑) βˆ’ tan (𝑑)) πœ† (𝑑) βˆ’ tan(πœ‹

8+ 𝑑) .

(32)

It should be noted that πœ†(𝑑) ∈ [0, 1] is the new controlfunction, which is called associated control. By consideringthis approximation for 𝐷(𝑑, 𝑒(𝑑)), the basic OCP is approxi-mated by the following Bang-Bang OCP:

Min 𝐽 = ∫

1

0

sin (3πœ‹π‘‘) 𝑦 (𝑑) 𝑑𝑑

s.t. 𝑦 (𝑑) = (tan(πœ‹8+ 𝑑) βˆ’ tan (𝑑)) πœ† (𝑑) βˆ’ tan(πœ‹

8+ 𝑑) ,

πœ† (𝑑) ∈ [0, 1] , 𝑦 (0) = 1, 𝑦 (1) = 0.

(33)

According to our experiences in [11], we assume that thenumber of switching points is 𝑠 = 3. Since by applyingthis assumption we reach to the exact results in which thenew associated control πœ†(𝑑) is switched between its lowerand upper bounds, the numerical results related to thevalues of switching points and objective function for differentvalues of𝑁 are provided in Table 1. Moreover, the associatedcontrol πœ†(𝑑), control 𝑒(𝑑), and optimal state 𝑦(𝑑) are depictedin Figures 3, 4, and 5, respectively. Moreover, in Table 2comparisons of the numerical results of the proposedmethodwith respect to the methods of [6, 10, 13] are given. From

Page 6: Research Article An Efficient Pseudospectral …downloads.hindawi.com/journals/aaa/2013/357931.pdfResearch Article An Efficient Pseudospectral Method for Solving a Class of Nonlinear

6 Abstract and Applied Analysis

Table 2: Comparisons of the methods in evaluating the objectivefunction π½βˆ—.

𝑁Proposedmethod

Method of[6]

Method of[13]

Method of[10]

6 0.0970 0.1196 0.1371 β€”8 0.0960 0.1058 0.1289 β€”10 0.0968 0.0964 0.1152 β€”11 0.0960 0.1009 0.1094 β€”100 β€” β€” β€” 0.0985

0.8

1.0

1.2

0.6

0.4

0.2

0

βˆ’0.20 0.2 0.4 0.6 0.8 1

Approximate optimal associated control history for N = 16

Figure 3: Approximate optimal associated control πœ†(𝑑) history ofExample 2 for𝑁 = 16.

this table one can see the efficiency and applicability of thesuggested method for solving nonlinear OCPs governed bydifferential inclusions.

5. Concluding Remarks

In this study, a robust numerical technique has been used forsolving a class of optimal control problems (OCPs) governedby differential inclusions. The proposed idea includes lin-earizing the dynamical system inwhich the resulting problemis a Bang-Bang OCP. After obtaining this nonsmooth OCP,we use the general idea of [12] for dealing with such problemsin the best manner. As observed in the numerical example,the proposed scheme has superior results with regard toat least 3 methods which confirm the applicability of themethod. One of the disadvantages of our method is moresensitivity to initial guess in comparison with the classicalspectral schemes. However, our idea is terminated success-fully by considering an initial guess from the solution of thetraditional spectral techniques, even for small values of𝑁.

0.8

1.0

1.2

0.6

0.4

0.2

0

βˆ’0.20 0.2 0.4 0.6 0.8 1

Approximate optimal control history for N = 16

Figure 4: Approximate optimal control 𝑒(𝑑) history of Example 2for𝑁 = 16.

Approximate optimal state history for N = 16

0.8

1

0.6

0.4

0.2

00 0.2 0.4 0.6 0.8 1

t

Figure 5: Approximate optimal state 𝑦(𝑑) history of Example 2 for𝑁 = 16.

Conflict of Interests

The authors declare that they do not have any conflict ofinterests in their submitted paper.

Acknowledgment

The authors thank the referee for his or her valuable com-ments and helpful suggestions which led to the improvedversion of the paper.

Page 7: Research Article An Efficient Pseudospectral …downloads.hindawi.com/journals/aaa/2013/357931.pdfResearch Article An Efficient Pseudospectral Method for Solving a Class of Nonlinear

Abstract and Applied Analysis 7

References

[1] J. T. Betts, β€œSurvey of numerical methods for trajectory opti-mization,” Journal of Guidance, Control, and Dynamics, vol. 21,no. 2, pp. 193–207, 1998.

[2] E. Tohidi, F. Soleymani, and A. Kilicman, β€œRobustness ofoperational matrices of differentiation for solving state-spaceanalysis and optimal control problems,” Abstract and AppliedAnalysis, vol. 2013, Article ID 535979, 9 pages, 2013.

[3] J. T. Betts, Practical Methods for Optimal Control Using Non-linear Programming, vol. 3 of Advances in Design and Control,Society for Industrial and Applied Mathematics, Philadelphia,Pa, USA, 2001.

[4] G. Elnagar, M. A. Kazemi, and M. Razzaghi, β€œThe pseu-dospectral Legendre method for discretizing optimal controlproblems,” IEEE Transactions on Automatic Control, vol. 40, no.10, pp. 1793–1796, 1995.

[5] F. Fahroo and I. M. Ross, β€œDirect trajectory optimization bya Chebyshev pseudospectral method,” Journal of Guidance,Control, and Dynamics, vol. 25, no. 1, pp. 160–166, 2002.

[6] E. Tohidi, O. R. N. Samadi, and M. H. Farahi, β€œLegendreapproximation for solving a class of nonlinear optimal controlproblems,” Journal of Mathematical Finance, vol. 1, pp. 8–13,2011.

[7] F. Toutounian, E. Tohidi, and A. Kilicman, β€œFourier operationalmatrices of differentiation and transmission: Introduction andApplications,” Abstract and Applied Analysis, vol. 2013, ArticleID 198926, 11 pages, 2013.

[8] E. Tohidi and O. R. N. Samadi, β€œOptimal control of nonlinearVolterra integral equations via Legendre Polynomials,” IMAJournal of Mathematical Control and Information, vol. 30, no.1, pp. 67–83.

[9] A. E. Bryson, Jr. and Y. C. Ho, Applied Optimal Control,Hemisphere, New York, NY, USA, 1975.

[10] M. H. Noori Skandari and E. Tohidi, β€œNumerical solution of aclass of nonlinear optimal control problems using linearizationand discretization,” Applied Mathematics, vol. 2, no. 5, pp. 646–652, 2011.

[11] E. Tohidi andM.H.Noori Skandari, β€œA new approach for a classof nonlinear optimal control problemsusing linear combinationproperty of intervals,” Journal of Computations and Modelling,vol. 1, pp. 145–156, 2011.

[12] M. Shamsi, β€œA modified pseudospectral scheme for accuratesolution of Bang-Bang optimal control problems,” OptimalControl Applications and Methods, vol. 32, no. 6, pp. 668–680,2011.

[13] O. von Stryk, β€œNumerical solution of optimal control problemsby direct collocation,” inOptional Control of Variations, OptimalControl Theory and Numerical Methods, R. Bulrisch, A. Miele,and J. Stoer, Eds., International Series of Numerical Mathemat-ics, pp. 129–143, Birkhauser, Basel, Switzerland, 1993.

Page 8: Research Article An Efficient Pseudospectral …downloads.hindawi.com/journals/aaa/2013/357931.pdfResearch Article An Efficient Pseudospectral Method for Solving a Class of Nonlinear

Submit your manuscripts athttp://www.hindawi.com

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical Problems in Engineering

Hindawi Publishing Corporationhttp://www.hindawi.com

Differential EquationsInternational Journal of

Volume 2014

Applied MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical PhysicsAdvances in

Complex AnalysisJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

OptimizationJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Operations ResearchAdvances in

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Algebra

Discrete Dynamics in Nature and Society

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Decision SciencesAdvances in

Discrete MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com

Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Stochastic AnalysisInternational Journal of