key: cord-0044785-vefv4n38 authors: Asmuss, Svetlana; Budkina, Natalja title: Optimal Control Under Fuzzy Conditions for Dynamical Systems Associated with the Second Order Linear Differential Equations date: 2020-05-16 journal: Information Processing and Management of Uncertainty in Knowledge-Based Systems DOI: 10.1007/978-3-030-50153-2_25 sha: 8dfc5e28a2142b0aa8ba694006abf31415d763cb doc_id: 44785 cord_uid: vefv4n38 This paper is devoted to an optimal trajectory planning problem with uncertainty in location conditions considered as a problem of constrained optimal control for dynamical systems. Fuzzy numbers are used to incorporate uncertainty of constraints into the classical setting of the problem under consideration. The proposed approach applied to dynamical systems associated with the second order linear differential equations allows to find an optimal control law at each [Formula: see text]-level using spline-based methods developed in the framework of the theory of splines in convex sets. The solution technique is illustrated by numerical examples. Optimal control is the process of determining control and state trajectories for a dynamical system over a period of time to minimize an objective function. In this paper we analyse the special case of the following control theory problem: considered with the initial condition x(a) = c. (2) to find a control law u ∈ L 2 [a, b] which drives the scalar output trajectory close to a sequence of set points at fixed times by minimization of the objective functional b a (u(t)) 2 dt. In some applications of such type of control problems, for example, doing trajectory planning in traffic control, we need to be able to generate curves that pass through predefined states at given times since we need to be able to specify the position in which the system will be in at a sequence of times (see, e.g., [1] ). In this case we refer to the classical setting of the problem under consideration: where x and y depend on u by means of (1) . It is shown in [1] and the references therein that a number of interpolation and path planning problems can be incorporated into control problem and studied using control theory and optimization techniques on Hilbert spaces with efficient numerical spline-based schemes. Control splines give a richer class of smoothing curves relative to polynomial curves. They have been proved to be useful for trajectory planning in [2] , mobile robots in [3] , contour modelling of images in [4] , probability distribution estimation in [5] and so on. However, in many situations, it is not really crucial that we pass a trajectory through these points exactly, but rather that we go reasonably close to them, while minimizing the objective functional. Such approach is closely related to the idea of smoothing under fuzzy interpolation conditions. We propose to use fuzzy numbers Z i , i = 1, . . . , n, in (5) instead of crisp z i , i = 1, . . . , n, to incorporate uncertainty of location conditions (3) into the model. According to this idea, we rewrite optimisation problem (5) in the following way: where x and y depend on u by means of (1). In this paper, the main attention is paid to the special case of problem (1): For this case problem (6) can be rewritten as b a (g (t) + pg (t) + qg(t)) 2 dt −→ min where , and g is used to denote x 1 . In this paper we suggest a method for construction of solutions of (7) and finding corresponding control laws at each α-level with respect to fuzzy numbers used in the model by applying results from the theory of splines in convex sets. To rewrite (7) for α-levels we introduce notations to deal with fuzzy numbers Z i , i = 1, . . . , n. Fuzzy real number Z i is a normal fuzzy subset of IR that satisfies the condition: all α-cuts of Z i are closed bounded intervals. The α-cut (α ∈ (0, 1]) of fuzzy number Z i is the crisp set (Z i ) α defined as If α = 0, then α-cut (Z i ) 0 can be defined as the support of function Z i . The constraints "y(t i ) is Z i , i = 1, . . . , n," can be written at α-levels using α-cuts: For each α-level the α-cut of Z i is the closed interval Therefore problem (7) at α-level can be written in the following form: (g (t) + pg (t) + qg(t)) 2 dt −→ min where We apply triangular fuzzy numbers Z i (see Fig. 1 ) given by triples We consider problem (8) as the special case of the following more general conditional minimization problem: where linear operators T : In the case under consideration r = 2 and The solution of problem (9) will be considered for different α-levels. Value α = 1 corresponds to the case when we pass the output trajectory through points (3) exactly (the case z i = z M i ). In this case problem (9) turns into the interpolating problem. For α < 1 problem (9) will be considered applying smoothing splines. Problem (9) in the case α = 1 corresponds to the following interpolating problem: The conditions of existence and uniqueness of solution of (11) and its characterization follow from the well known theorems (see, e.g., Theorems 4.4.2. and 4.5.9. in [6] ). . . , n, and (As) n+1 = c 2 , is a solution of (11) if and only if there exists vector λ ∈ IR n+2 such that This result implies that a solution of problem (11) is a spline from the space Here and in the sequel the corresponding inner product is denoted by ·, · , and kerA is the kernel of operator A. The view of splines from the space S(T, A) in depending on parameters p and q for the considered case of operators (10) is obtained in [7] using the general theorem (see Theorem 1 in [8] ) and applying functional analysis tools. For example, if p = q = 0 then elements of S(T, A) are polynomial cubic splines from Problem (9) in the case α < 1 corresponds to the following smoothing problem (problem on splines in a convex set): considered under assumption Z L i (α) < Z U i (α). The conditions of existence and uniqueness of solution of (13) follow from the known theorem (see Theorem 7 in [8] ). and components λ i , i = 1, . . . , n, satisfy the conditions Under the additional assumption kerT ∩ ker(A) = {0} this solution is unique. This result implies that a solution of problem (13) belongs to the space S(T, A). To find it we can use the method of adding-removing interpolation knots which is considered in details, for example, in [9] or [10] . It is an iterative method. On the k-th step of it we need to solve the following interpolation problem: to construct a spline s k ∈ S(T, A) such that the initial conditions (As k ) 0 = c 1 , (As k ) n+1 = c 2 , and the interpolation conditions written in the form (As k ) i = d k i , i ∈ I k , are satisfied. The set of indices I k ⊂ {1, . . . , n} and numbers d k i are specified during the iterations. The knots t i for i ∈ I k are considered as interpolation knots on the k-th step. We start with a solution s 1 obtained using only the initial conditions, i.e., I 1 = ∅. The iterative step from I k to I k+1 is done by adding to I k all indices i ∈ {1, . . . , n} such that the restriction On the other hand, we remove from I k all indices i ∈ I k such that the rule (15) is not satisfied for the corresponding coefficient of s k . To finish the k-th step we also denote d k+1 If I k+1 = I k then the algorithm ends and the obtained s k is a solution of (13). In this paper we consider problem (8) as (9) with operator T and A defined by (10) . According to Proposition 1 and Proposition 2 in this case solutions of (8) at each α-level belong to the space S(T, A). The view of splines from the corresponding S(T, A) (i.e., the view of solutions of problem (8)) is obtained in [7] . This view in [7] is given depending on the roots r 1 , r 2 of the equation r 2 + pr + q = 0: • Class 1 (exponential splines with polynomial coefficients): r 1 = r 2 ∈ IR \ {0}. • Class 2 (exponential splines): r 1 , r 2 ∈ IR, r 1 = r 2 . • Class 3 (polynomial-exponential splines): r 1 , r 2 ∈ IR, r 1 = r 2 , r 1 = 0, r 2 = 0. • Class 4 (polynomial splines): r 1 = r 2 = 0. • Class 5 (trigonometric splines with polynomial coefficients): r 1,2 = ±iη = 0. • Class 6 (trigonometric splines with exponential-polynomial coefficients): r 1,2 = ζ ± iη with η = 0 and ζ = 0. The simplest case with p = q = 0, i.e., T g = g , corresponds to the classical smoothing problem in the theory of splines according to which a solution of (8) without the initial conditions is a cubic spline. Taking into account the initial conditions we get the following form for solution s of problem (8) for this case: with the following conditions on coefficients Here and in the sequel the truncated power function is defined as The corresponding control function u could be obtained as u = s . Two numerical examples corresponding to more complicated cases are considered below for illustration of the proposed technique. Numerical results are obtained by using Maple. We consider the numerical example for the case p = −3 and q = 2, γ 1 = 1 and γ 2 = 0, interval [a, b] = [0, 0.5], the initial conditions are with c 1 = 1, c 2 = 1. At equally spaced points of interval [0.1, 0.5] with step size 0.1 we take the following fuzzy numbers Z i , i = 1, . . . , 5: (4, 5, 6), (1, 2, 3), (5, 6, 7), (2, 3, 4) , (6, 7, 8) . This case corresponds to the case of two nonzero roots of characteristic equation r 1 = 1, r 2 = 2, i.e., to the case when solutions belong to the class of exponential splines. As it is obtained in [7] , the class of exponential splines for problem (8) consists of splines For the solution of (8) the coefficients are expressed by using the following system: and the system of interpolating conditions for g(t i ) = z M i , i = 1, . . . , n, in case α = 1. For α < 1 the interpolating conditions are precised by iterations of the method of adding-removing knots. The corresponding control function u is given by (γ 1 (e r1(ti−t) − e r2(ti−t) ) + γ 2 (r 1 e r1(ti−t) − r 2 e r2(ti−t) )). (18) For the considered case the conditions of the uniqueness of solution are satisfied. This solution is constructed for four α-levels: α 1 = 0, α 2 = 0.25, α 3 = 0.5 and α 4 = 1. The solution of problem (8) in this case is the exponential spline (16) with coefficients from Table 1 . The control law u is obtained by (18). The corresponding graphs are considered in Fig. 2 and Fig. 3 . The values of the objective functional for these α-levels are compared (see Table 2 ). By comparison of the objective functional at these α-levels from Table 2 we see that the minimum of this functional is obtained for α 1 = 0 and the interpolating spline gives the biggest value. We consider the second numerical example for the case p = 0 and q = 1, (4, 5, 6) , (1, 2, 3) , (3, 4, 5) . This case corresponds to the case of complex roots of characteristic equation r 1,2 = ± i (for this case η = 1), i.e., to the case when solutions belongs to the class of trigonometric splines with polynomial coefficients. As it is obtained in [7] , the class of trigonometric splines with polynomial coefficients for problem (8) in the considered case consists of splines s(t) = c 1 cos (η(t−a))+ c 2 η sin (η(t−a))+ λ 0 2η 3 (η(t−a)cos (η(t−a))−sin (η(t−a))) The coefficients fulfil the following conditions The corresponding control function u is given by For the considered case the conditions on the uniqueness of solution are satisfied. This solution is constructed for four α-levels: α 1 = 0, α 2 = 0.5, α 3 = 0.75 and α 4 = 1. The solution of problem (8) in this case is the trigonometric splines with polynomial coefficients (19) with coefficients from Table 3 . The control law u could be obtained by (21). The corresponding graphs are considered in Fig. 4 and Fig. 5 . The values of the objective functional for considered α-levels are compared (see Table 4 ). Table 4 we see that the minimum of this functional is obtained for α 1 = 0 and the interpolating spline gives the biggest value. The proposed method can be effectively used for dynamical systems associated with linear differential equations (the restriction on the order of equations is not essential) when uncertainty in location conditions is described by fuzzy numbers Z i , i = 1, . . . , n (the restriction on the triangular type of fuzzy numbers is not essential). It seems natural to incorporate into the model also uncertainty of the sequence of times to be considered. For such purpose fuzzy numbers T i , i = 1, . . . , n, could be used instead of crisp t i , i = 1, . . . , n. In this case the constraints y(t i ) is Z i , i = 1, . . . , n, could be rewritten using IF-THEN rules as The future research could be devoted to development of the proposed approach for the following problem b a (u(τ )) 2 dτ → min u ∈ L 2 [a, b] : x(a) = c, IF t is T i THEN y(t) is Z i , i = 1, . . . , n considered in the context of (1)-(4). Control Theoretic Splines Optimal trajectory planning and smoothing splines Optimal control theoretic splines and its application to mobile robot Periodic smoothing splines Cumulative distribution estimation via control theoretic smoothing splines Three Decades of Progress in Control Sciences Approximation et Optimisation Control smoothing splines with initial conditions On some generalization of smoothing problems Construction of smoothing splines by a method of gradual addition of interpolating knots A method of adding-removing knots for solving smoothing problems with obstacles