Abstract and Applied Analysis
Volume 2013, Issue 1 681862
Research Article
Open Access

Optimal Control Problem for Switched System with the Nonsmooth Cost Functional

Shahlar Meherrem, 

Corresponding Author

Shahlar Meherrem

Department of Mathematics, Yasar University, 35100 İzmir, Turkey

Search for more papers by this author
Rufan Akbarov, 

Rufan Akbarov

Department of Business Administration, Cologne University, 50931 Cologne, Germany uni-koeln.de

Search for more papers by this author
First published: 24 October 2013
https://doi.org/10.1155/2013/681862
Academic Editor: Nazim Idrisoglu Mahmudov

Abstract

We examine the relationships between lower exhausters, quasidifferentiability (in the Demyanov and Rubinov sense), and optimal control for switching systems. Firstly, we get necessary optimality condition for the optimal control problem for switching system in terms of lower exhausters. Then, by using relationships between lower exhausters and quasidifferentiability, we obtain necessary optimality condition in the case that the minimization functional satisfies quasidifferentiability condition.

1. Introduction

A switched system is a particular kind of hybrid system that consists of several subsystems and a switching law specifying the active subsystem at each time instant. There are some articles which are dedicated to switching system [1–8]. Examples of switched systems can be found in chemical processes, automotive systems, and electrical circuit systems, and so forth.

Regarding the necessary optimality conditions for switching system in the smooth cost functional, it can be found in [1, 4, 6]. The more information connection between quasidifferential, exhausters and Hadamard differential are in [8–10]. Concerning the necessary optimality conditions for discrete switching system is in [5], and switching system with Frechet subdifferentiable cost functional is in [3]. This paper addresses the role exhausters and quasi-differentiability in the switching control problem. This paper is also extension of the results in the paper [5] (additional conditions are switching points unknown, and minimization functional is nonsmooth) in the case of first optimality condition. The rest of this paper is organized as follows. Section 2 contains some preliminaries, definitions, and theorems. Section 3 contains problem formulations and necessary optimality conditions for switching optimal control problem in the terms of exhausters. Then, the main theorem in Section 3 is extended to the case in which minimizing function is quasidifferentiable.

2. Some Preliminaries of Non-Smooth Analysis

Let us begin with basic constructions of the directional derivative (or its generalization) used in the sequel. Let f : X → R, X ⊂ Rn be an open set. The function f is called Hadamard upper (lower) derivative of the function f at the point x ∈ X in the direction g ∈ X if there exist limit such that
()
where [α, g]→[+0, g] means that α → +0 and g → g.
Note that limits in (1) always exist, but there are not necessary finite. This derivative is positively homogeneous functions of direction. The Gateaux upper (lower) subdifferential of the function f at a point x0 ∈ X can be defined as follows:
()
The set
()
is called, respectively, the upper (lower) Frechet subdifferential of the function f at the point x0.
As observed in [9, 10], if f is a quasidifferentiable function then its directional derivative at a point x is represented as
()
where are convex compact sets. From the last relation, we can easily reduce that
()
This means that for the function h(g) = f′(x, g) the upper and lower exhausters can be described in the following way:
()
It is clear that the Frechet upper subdifferential can be expressed with the Hadamard upper derivative in the following way; see [9, Lemma 3.2]:
()

Theorem 1. Let E* be lower exhausters of the positively homogeneous function h : Rn → R. Then, , where is the Frechet upper subdifferential of the h at 0n, and for the positively homogeneous function h : Rn → R the Frechet superdifferential at the point zero follows

()

Proof. Take any . Then by using definition an lower exhausters we can write

()
Consider now any
()
Let us consider . Then, there exists C0 ∈ E* where v0 ∉ C0. Then, by separation theorem, there exists x0 ∈ Rn such that
()
It is conducts (3) and v0 ∈ C for every C ∈ E* and due to arbitrary. This means that . The proof of the theorem is complete.

Lemma 2. The Frechet upper and Gateaux lower subdifferentials of a positively homogeneous function at zero coincide.

Proof. Let h : Rn → R be a positively homogenous function. It is not difficult to observe that every g ∈ Rn and every t > 0:

()
Hence, the Gateaux lower subdifferential of h at 0n takes the forms
()
which coincides with the representation of the Frechet upper subdifferential of the positively homogenous function (see [11, Proposition 1.9]).

3. Problem Formulation and Necessary Optimality Condition

Let investigating object be described by the differential equation
()
with initial condition
()
and the phase constraints at the end of the interval
()
and switching conditions on switching points (the conditions which determine that at the switching points the phase trajectories must be connected to each other by some relations):
()
The goal of this paper is to minimize the following functional:
()
with the conditions (14)–(16). Namely, it is required to find the controls u1, u2, …, uN, switching points t1, t2, …, tN−1, and the end point tN (here t1, t2, …, tN are not fixed) with the corresponding state x1, x2, …, xN satisfying (14)–(16) so that the functional J(u1, …, uN, t1, …, tN) in (18) is minimized. We will derive necessary conditions for the nonsmooth version of these problems (by using the Frechet superdifferential and exhausters, quasidifferentiable in the Demyanov and Rubinov sense).

Here fK : ℝ  ×  ℝn  ×  ℝr → ℝn, MK and FK are continuous, at least continuously partially differentiable vector-valued functions with respect to their variables, L : ℝn × ℝr × ℝ → ℝ are continuous and have continuous partial derivative with respect to their variables, φk(·) has Frechet upper subdifferentiable (superdifferentiable) at a point and positively homogeneous functional, and uK(t) : ℝ → UK ⊂ ℝr are controls. The sets UK are assumed to be nonempty and open. Here (16) is switching conditions. If we denote this as follows: θ = (t1, t2, …, tN), x(t) = (x1(t), x2(t), …, xN(t)), u(t) = (u1(t), u2(t), …, uN(t)), then it is convenient to say that the aim of this paper is to find the triple (x(t), u(t), θ) which solves problem (14)–(18). This triple will be called optimal control for the problem (14)–(18). At first we assume that φk(·) is the Hadamar upper differentiable at the point in the direction of zero. Then, φk(·) is upper semicontinuous, and it has an exhaustive family of lower concave approximations of φk(·).

Theorem 3 (Necessary optimality condition in terms of lower exhauster). Let be an optimal solution to the control problem (14)–(18). Then, for every element from intersection of the subsets CK of the lower exhauster E*,K of the functional , that is, , K = 1,2, …, N, there exist vector functions , K = 1, …, N for which the following necessary optimality condition holds:

  • (i)

    State equation:

    ()

  • (ii)

    Costate equation:

    ()

  • (iii)

    At the switching points, ,

    ()

  • (iv)

    Minimality condition:

    ()

  • (v)

    At the end point ,

    ()
    here
    ()
    is a Kronecker symbol, , is a Hamilton-Pontryagin function, E*,K is lower exhauster of the functional φK(xK(tK)), λK, K = 1, …, N are the vectors, and pk(·) is defined by the conditions (ii) and (iii) in the process of the proof of the theorem, later.

Proof. Firstly, we will try to reduce optimal control problem (14)–(18) with nonsmooth cost functional to the optimal control problem with smooth minimization functional. In this way, we will use some useful theorems in [12, 13]. Let us note that smooth variational descriptions of Frechet normals theorem in [12, Theorem 1.30] and its subdifferential counterpart [12, Theorem 1.88] provide important variational descriptions of Frechet subgradients of nonsmooth functions in terms of smooth supports. To prove the theorem, take any elements from intersection of the subset of the exhauster, , where CK ∈ E*,K, K = 1,2, …, N. Then by using Theorem 1, we can write that . Then, apply the variational description in [12, Theorem 1.88] to the subgradients . In this way, we find functions sK : X → ℝ for K = 1,2, …, N satisfying the relations

()
in some neighborhood of , and such that each sK(·) is continuously differentiable at with , K = 1,2, …, N. It is easy to check that is a local solution to the following optimization problem of type (14)–(18) but with cost continuously differentiable around . This means that we deduce the optimal control problem (14)–(18) with the nonsmooth cost functional to the smooth cost functional data:
()
taking into account that
()
We use multipliers to adjoint to constraints , t ∈ [tk−1, tk], K = 1,2, …, N and FK(xN(tN), tN) = 0, K = 1,2, …, N to S:
()
by introducing the Lagrange multipliers p1(t), p2(t), …, pN(t). In the following, we will find it convenient to use the function HK, called the Hamiltonian, defined as HK(xK(t), pK(t), uK(t), t) = LK(xK(t), uK(t), t) + pK(t)fK(xK, uK, t) for t ∈ [tK−1, tK]. Using this notation, we can write the Lagrange functional as
()
Assume is optimal control. To determine the variation δJ′, we introduce the variation δxK, δuK, δpK, and δtK. From the calculus of variations, we can obtain that the first variation of J′ as
()
If we follow the steps in [3, pages 5–7] then, the first variation of the functional takes the following form:
()
The latter sum is known because
()
and it is easy to check that
()
If the state equations (14) are satisfied, is selected so that coefficient of δxk and δtN is identically zero. Thus, we have
()
The integrand is the first-order approximation to the change in HK caused by
()
Therefore,
()
If is in a sufficiently small neighborhood of then the high-order terms are small and the integral in last equation dominates the expression of δS′. Thus, for to be a minimizing control it is necessary that
()
for all admissible δuK. We assert that in order for the last inequality to be satisfied for all admissible δuK in the specified neighborhood, it is necessary that for all admissible δuK and for all t ∈ [tK−1, tK]. To show this, consider the control
()
where t ∈ [tK−1, tK] is an arbitrarily small, but nonzero time interval and δuK are admissible control variations. After this, if we consider proof description of the maximum principle in [4], we can come to the last inequality.

According to the fundamental theorem of the calculus of the variation, at the extremal point the first variation of the functional must be zero, that is, δJ′ = 0. Setting to zero, the coefficients of the independent increments δxN(tN), δxK(tK)δxK, δuK and δpK, and taking into account that

()
yield the necessary optimality conditions (i)–(v) in Theorem 3.

This completes the proof of the theorem.

Theorem 4 (Necessary optimality conditions for switching optimal control system in terms of Quasidiffereniability). Let the minimization functional φK(·) be positively homogenous, quasidifferentiable at a point , and let be an optimal solution to the control problem (14)–(18). Then, there exist vector functions pK(t), K = 1, …, N, and there exist convex compact and bounded set M(φK(·)), in which for any elements , the necessary optimality conditions (i)–(v) in Theorem 3 are satisfied.

Proof. Let minimization functional φK(·) be positively homogenous and quasidifferentiable at a point . Then, there exist totally bounded lower exhausters E*,K for the φK(·) [9, Theorem 4]. Let us make the substitution M(φK(·)) = E*,K; take any element , then also, and if we follow the proof description and result in Theorem 3 in the current paper, we can prove Theorem 4. If we use the relationship between the Gateaux upper subdifferential and Dini upper derivative [9, Lemma 3.6], substitute , then we can write the following corollary (here , g is the Hadamard upper derivative of the minimizing functional φK(·) in the direction g).

Corollary 5. Let the minimization functional φK(·) be positively homogenous, and let the Dini upper differentiable at a point and be an optimal solution to the control problem (14)–(18). Then for any elements , there exist vector functions pK(t), K = 1, …, N in which the necessary optimality conditions (i)–(v) in the Theorem 3 hold.

Proof. Let us take any element . Then by using the lemma in [9, Lemma 3.8] we can write . Next, if we use the lemma in [9, Lemma 3.2], then we can put . At least, if we follow Theorem 1 (relationship between upper Frechet subdifferential and exhausters) and Theorem 3 (necessary optimality condition in terms of exhausters) in the current paper, we can prove the result of Corollary 5.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.