
In this paper, we consider maximum hands-off control problem governed by a nonlinear dynamical system, where the maximum hands-off control constraint is characterized by an L0 norm. For this problem, we first approximate the L0 norm constraint by a L1 norm constraint. Then, the control parameterization together with sequential adaptive switching time optimization technique is proposed to approximate the optimal control problem by a sequence of finite-dimensional optimization problems. Furthermore, a smoothing technique is exploited to approximate the non-smooth maximum operator and an error analysis is investigated for this approximation. The gradients of the cost functional with respect to the decision variables in the approximate problem are derived. On the basis of these results, we develop a gradient-based optimization algorithm to solve the resulting optimization problem. Finally, an example is solved to demonstrate the effectiveness of the proposed algorithm.
Citation: Sida Lin, Lixia Meng, Jinlong Yuan, Changzhi Wu, An Li, Chongyang Liu, Jun Xie. Sequential adaptive switching time optimization technique for maximum hands-off control problems[J]. Electronic Research Archive, 2024, 32(4): 2229-2250. doi: 10.3934/era.2024101
[1] | Sida Lin, Dongyao Yang, Jinlong Yuan, Changzhi Wu, Tao Zhou, An Li, Chuanye Gu, Jun Xie, Kuikui Gao . A new computational method for sparse optimal control of cyber-physical systems with varying delay. Electronic Research Archive, 2024, 32(12): 6553-6577. doi: 10.3934/era.2024306 |
[2] | Jingjing Dong, Xiaofeng Ma, Lanlan He, Xin Huang, Jianping Zhou . Energy-to-peak control for switched systems with PDT switching. Electronic Research Archive, 2023, 31(9): 5267-5285. doi: 10.3934/era.2023268 |
[3] | Yu-Jing Shi, Yan Ma . Finite/fixed-time synchronization for complex networks via quantized adaptive control. Electronic Research Archive, 2021, 29(2): 2047-2061. doi: 10.3934/era.2020104 |
[4] | Yineng Ouyang, Zhaotao Liang, Zhihui Ma, Lei Wang, Zhaohua Gong, Jun Xie, Kuikui Gao . A class of constrained optimal control problems arising in an immunotherapy cancer remission process. Electronic Research Archive, 2024, 32(10): 5868-5888. doi: 10.3934/era.2024271 |
[5] |
Zuliang Lu, Fei Huang, Xiankui Wu, Lin Li, Shang Liu .
Convergence and quasi-optimality of |
[6] | Sida Lin, Jinlong Yuan, Zichao Liu, Tao Zhou, An Li, Chuanye Gu, Kuikui Gao, Jun Xie . Distributionally robust parameter estimation for nonlinear fed-batch switched time-delay system with moment constraints of uncertain measured output data. Electronic Research Archive, 2024, 32(10): 5889-5913. doi: 10.3934/era.2024272 |
[7] | Huan Luo . Heterogeneous anti-synchronization of stochastic complex dynamical networks involving uncertain dynamics: an approach of the space-time discretizations. Electronic Research Archive, 2025, 33(2): 613-641. doi: 10.3934/era.2025029 |
[8] | Qiang Yu, Xiujuan Jiang . Stability analysis of discrete-time switched systems with bipartite PDT switching. Electronic Research Archive, 2024, 32(11): 6320-6337. doi: 10.3934/era.2024294 |
[9] | Wei Ji . Optimal control problems with time inconsistency. Electronic Research Archive, 2023, 31(1): 492-508. doi: 10.3934/era.2023024 |
[10] | Changling Xu, Huilai Li . Two-grid methods of finite element approximation for parabolic integro-differential optimal control problems. Electronic Research Archive, 2023, 31(8): 4818-4842. doi: 10.3934/era.2023247 |
In this paper, we consider maximum hands-off control problem governed by a nonlinear dynamical system, where the maximum hands-off control constraint is characterized by an L0 norm. For this problem, we first approximate the L0 norm constraint by a L1 norm constraint. Then, the control parameterization together with sequential adaptive switching time optimization technique is proposed to approximate the optimal control problem by a sequence of finite-dimensional optimization problems. Furthermore, a smoothing technique is exploited to approximate the non-smooth maximum operator and an error analysis is investigated for this approximation. The gradients of the cost functional with respect to the decision variables in the approximate problem are derived. On the basis of these results, we develop a gradient-based optimization algorithm to solve the resulting optimization problem. Finally, an example is solved to demonstrate the effectiveness of the proposed algorithm.
Within numerous control systems, various measures are implemented to mitigate costs or curtail energy consumption. For some special cases, specific control values are deliberately maintained at zero for designated durations using handoff control strategies, thereby effectively minimizing the associated control costs. In [1], a novel control methodology was introduced to solve the maximum hands-off control problem characterized by L0 norm, which is to find the sparsest control among all permissible controls. This control methodology holds significant utility in minimizing electricity or fuel consumption, showcasing its practical relevance and applicability. In [1], within the car's start-stop system, the engine is automatically deactivated when the vehicle comes to a halt or operates at speeds below a predetermined threshold. This deliberate shutdown serves to diminish CO2 emissions and decrease fuel consumption as part of the system's efficiency measures. Handoff control demonstrates effectiveness within networked control systems as well [2].
Sparse optimization has emerged as a prominent subject of interest among scholars in recent years. The technology of sparse optimization has garnered extensive attention and exploration across various domains, including compressed sensing [3], image and signal processing [4,5], machine learning [6,7], Alzheimer's disease biomarkers [8], and other fields. Maximum hands-off control shares a relationship with sparsity, a characteristic pertinent to numerous optimization problems. In the realm of sparse optimization, sparsity refers to a condition where a substantial portion of elements within a matrix or vector assumes zero values. Leveraging sparsity offers the potential to economize on both time and compression expenses. Moreover, it serves as a mechanism to sift through extensive datasets, extracting pertinent information and thereby streamlining the complexity of the problem [9]. Within various optimization problems, the L0 norm of a vector commonly serves as a means to quantify and define sparsity [10,11]. Due to its non-convex and non-continuous nature, the L0 norm presents inherent complexity in analysis. Consequently, numerous scholars resort to exploring the variational property of the L0 norm and employing subdifferentiation techniques to address its intricacies. In [12], a technique known as convex relaxation was introduced as a substitute for the L0 norm, employing the more tractable L1 norm. This transformation enables the formulation of the problem in a linear programming paradigm, amenable to resolution using methods such as the interior point method or the simplex method. In [13,14], the approach revolves around the non-convex relaxation method, leveraging the Lp relaxation technique, where 0≤p≤1, to yield solutions with increased sparsity. In [15,16], a focus is directed toward the Difference of Convex functions (DC) algorithm. This method entails the representation of the L0 norm as a difference between two convex functions. Subsequently, leveraging the DC algorithm facilitates the resolution of the resultant relaxation model. In [17], by addressing the non-convex nature of the logarithmic function, a proposal was made to substitute the logarithm function for the L0 norm. In [18], the resolution involves addressing a sparse optimization problem that encapsulates two competing objectives: measurement error minimization and sparsity maximization. This problem is approached and solved through the utilization of a multi-objective evolutionary algorithm. In [19], an effective fault diagnosis framework was constructed by integrating L0 norm sparse constraint optimization with principal component analysis, aimed at mitigating the extent of sparsity. However, in [12,13,14,15,16,17,18,19], the sparse optimization problems do not take into account the constraints of the dynamical system. The focus of the study presented in [20] revolves around the L1 objective optimal control problem specifically tailored for linear discrete systems. This formulation leads to diverse sparse solutions based on the selection of distinct problem parameters. The study detailed in [21] introduces a methodical approach for synthesizing sparse optimal control structures governed by linear discrete systems. This method guarantees sparsity within solutions, enabling the specification of a predetermined count of zero elements within the control structure. In [22], the utilization of the Smith iteration and Altering-Direction-Implicit (ADI) iteration methods was explored for obtaining numerical solutions in a large sparse optimal control problem governed by linear discrete-time Riccati equations, leveraging Newton's method. In [23], provably optimal sparse solutions to overdetermined linear systems with non-negativity constraints were researched in a least-squares sense by implicit enumeration. Nevertheless, in [20,21,22,23], the sparse optimal control problem governed by the linear dynamical system failed to incorporate the constraints associated with the nonlinear dynamical system. The work presented in [24] delved into the examination of the Newton-like method of undetermined equations. This exploration led to the discovery of sparse solutions pertaining to sparse optimal control problems governed by an affine nonlinear system. The analysis of optimal control using the value function was conducted employing the dynamic programming method. In [25], a dynamic programming approach was introduced to effectively approximate the sparse optimal control problem governed by an affine nonlinear system in a numerical context. The maximum hands off control problem governed by the class of affine nonlinear systems was studied in [26]. Nonetheless, in [24,25,26], the nonlinear dynamical systems involved in the sparse optimal control problem are affine nonlinear systems, where the state variables and control inputs are separable. This paper delves into the investigation of the sparse optimal control problem governed by a general nonlinear dynamical system where the state variables and control inputs are inseparable.
The conventional approach to optimal control involves determining the most effective control strategy within specified constraints [27]. This strategy aims to either maximize or minimize the performance index. Typically, deriving an analytical solution for the optimal control problem governed by a nonlinear dynamic system proves challenging. Therefore, the resolution of such problems often necessitates numerical methods to obtain an effective solution [28]. The numerical solutions to optimal control problems can be divided into two solution strategies: first optimize then discretize (indirect methods), and first discretize then optimize (direct methods) [29]. For problems that do not contain inequality constraints, indirect methods derive the first-order necessary conditions for the optimal control problem, namely, the Euler-Lagrange equations that include the initial and boundary value conditions. The solution to this initial-boundary value problem mainly involves two types of methods: the control vector iteration method and methods such as multiple shooting and collocation [30]. The direct method encompasses techniques such as the direct collocation method and control parameterization [31,32]. Control parameterization involves discretizing solely the control function, approximating it using fixed basis functions within specific subintervals [33]. The coefficients within this linear combination of basis functions serve as the optimal decision variables. Typically, predetermined switching times govern the transitions between values for each control component, often evenly divided within specified intervals [34]. To enhance solution accuracy, the time range of the control function is frequently subdivided more finely, leading to a greater number of decision variables. However, this denser division amplifies computational costs. Simultaneously, to mitigate the need for extensive time range subdivisions, one must consider incorporating the switching times as additional decision variables [35]. The traditional time-scaling transformation operates by mapping variable switching times with fixed points within a redefined time horizon. This process yields an optimization problem wherein the revised switching times remain constant. The application of the time-scaling transformation finds extensive utility across diverse domains, including mixed integer programming [36] and singular optimal control [37]. Yet, in practical scenarios, simultaneous switching of time poses notable challenges [38]. The sequential adaptive switching time optimization technique (SASTOT) presented by [39], suggests that the interval for control switching times can vary, affording the flexibility to freely select the number of segments for each approximate control component. The method initiates by applying control parameterization and the time-scaling transformation to a single control component initially, leaving the remaining components untouched. Subsequently, within the newly introduced time range, the time-scaling transformation introduces a subsequent new time range. This iterative process continues until the final control component undergoes processing in a similar manner. This modification introduces a significant level of flexibility into the control strategy. Compared with the traditional time-scale transformation techniques, the SASTOT can accurately identify sparse positions for each control.
In this study, our focus lies on the maximum hands-off control problem governed by a nonlinear dynamical system (MHCPNDS) with a maximum hands-off control constraint characterized by the L0 norm. The optimization variables encompass the count of segments for each control component and the respective switching times for each of these components. The examination of the MHCPNDS poses challenges in obtaining an analytical solution. Hence, the adoption of a numerical solution becomes imperative. In practical scenarios, simultaneous switching of all control components is not optimal. Addressing this, this paper introduces the SASTOT, which allows for a flexible selection of the number of segments and switching times for each individual control element. The integration of control parameterization with the SASTOT serves as a transformative approach to addressing the MHCPNDS. The non-smooth term that involves the maximum operator is approximated through a smoothing function, and we further illustrate the convergence of this approximation technique. The attainment of a sparse solution for the MHCPNDS involves the utilization of a gradient-based algorithm. Empirical assessments through numerical experiments substantiate the efficacy of the algorithm put forth in the study.
The contributions of the paper are three-fold:
1) Distinguished from the above-mentioned sparse optimization problem, which is amenable to analytical solutions, we consider the sparse optimal control problem within a nonlinear dynamic system. Given the intrinsic complexity of the nonlinear dynamic system, pinpointing an analytical solution poses a significant challenge. Taking these into consideration, we propose a numerical solution method, based on the gradient formulae of the cost function (Theorems 5–8) and the gradient-based algorithm, without requiring the linearization of the nonlinear dynamical systems.
2) A smoothing function has been introduced to mitigate the roughness of the non-smooth term involving the maximum operator. Several significant theorems (Theorems 1–4) have been established, illustrating that the smoothing function effectively addresses the shortcomings associated with constraint qualification noncompliance.
3) Setting itself apart from the time-scaling transformation technique, this paper introduces the SASTOT method that enables flexible determination of the number of segments and the specific switching times for each control element individually.
The rest of the paper is organized as follows. In Section 2, we present the MHCPNDS. In Section 3, the MHCPNDS is transformed by using control parameterization and the SASTOT. In Section 4, we deal with the nonsmoothness of the objective function by using the smoothing technique. In Section 5, the gradient-based algorithm is used to solve the resulting smooth problem. In Section 6, numerical results are presented. In Section 7, we draw some conclusions and suggest some future research directions.
Let In be the set of {1,2,...,n}. For a continuous time control v:[0,T]→R, the Lp norm is defined by
‖v‖p≜(∫T0|v|pdt)1p,p∈[1,+∞). | (2.1) |
The L0 norm is defined by
‖v‖0≜qM(supp(v)), | (2.2) |
where qM is the Lebesgue measure and the set supp(v) is called a support set of v defined by
supp(v)={t∈[0,T]:v(t)≠0}. | (2.3) |
In some cases, it is possible to significantly reduce the control effort by keeping the control value at exactly zero over a time interval. Maximum hands-off control can be called sparse control, which means that the more zeros the control value is in unit time, the more sparse it is. It makes the time interval of the control completely zero.
In order to obtain the sparse solution of maximum hands-off control, we consider a nonlinear dynamical system defined by
{dx(t)dt=f(t,x(t),u(t)),t∈[0,T],x(0)=ξ,x(T)=0, | (2.4) |
where x(t):=(x1(t),...,xn(t))T∈Rn denotes the state vector at time t, u(t):=(u1(t),...,um(t))T∈Rm denotes control input vector at time t, ξ denotes the initial state value, T≥0 denotes a given terminal time, and f(t,x(t),u(t)) denotes a nonlinear function vector defined on Rn.
Let x(⋅|u) denote the solution of system (2.4) satisfying
x(t|u)≥0,t∈[0,T]. | (2.5) |
For all t on [0,T], there is also the following constraint on each component of the control input vector u(t)
maxi∈Im|ui(t)|≤1. | (2.6) |
A control input vector u(t)∈Rm that satisfies constraint (2.6) is called a candidate control input vector. Let L[T,ξ] be the set consisting of all candidate control input vectors.
Definition 1. The maximum hands-off control constraint characterized by the L0 norm is defined by
A0(u)≜1Tm∑i=1λi‖ui‖0≤μ, | (2.7) |
where λi≥0,i∈Im, are given weights, u∈L[T,ξ] denotes the admissible control, and μ is a small positive number.
Definition 1 is used to characterize the sparsity of maximum hands-off control. The cost functional is defined by
J(u)=π0(x(T|u))+∫T0ϑ(x(t|u))dt, | (2.8) |
where π0:Rm→R and ϑ:Rm→R are continuously differentiable functions.
Then, our maximum hands-off control problem can be formulated as follows.
Problem A: Given system (2.4), choose an admissible control u∈L[T,ξ] to minimize the cost functional defined in (2.8) subject to boundary condition (2.6) and maximum hands-off control constraint (2.7).
The L0 norm, owing to its non-convex and discontinuous characteristics, inherently introduces complexity into analytical procedures. The L0 norm can be well approximated by the L1 norm [20]. The maximum hands-off control constraint characterized by the L0 norm is approximated by Definition 2.
Definition 2. The maximum hands-off control constraint characterized by the L1 norm is defined by
A1(u)≜1Tm∑i=1λi‖ui‖1=1Tm∑i=1λi∫T0|ui|dt≤μ, | (3.1) |
where λi≥0,i∈Im, are given weights, u∈L[T,ξ] denotes the admissible control, and μ is a small positive number.
Definition 2 serves to delineate the computationally efficient sparsity of maximum hands-off control. By Definition 2, Problem A can be well approximated by the following Problem B.
Problem B: Given system (2.4), choose the control u∈L[T,ξ] to minimize the objective functional defined in (2.8) subject to boundary condition (2.6) and maximum hands-off control constraint (3.1).
Control parameterization stands as an effective methodology for resolving the optimal control problem, commonly approached through approximation via piecewise constant functions [29,40,41,42]. Increasing the level of detail in the time level partition leads to greater accuracy as it allows for a more intricate and nuanced representation of the time-dependent processes or phenomena under consideration [43]. Employing control parameterization enables the derivation of a finite-dimensional approximation for Problem B. Ultimately, the gradient-based algorithm is employed to resolve the resultant approximation problem.
The conventional time-scaling transformation necessitates simultaneous switching of all control components, a condition challenging to attain in practical applications [44]. Hence, the introduction of SASTOT emerges as a solution, combining both time-scaling transformation and control parameterization methodologies [39]. Within this methodology, each control component possesses the capability to adaptively adjust and independently select its switching time, allowing for diverse switching points across components. Empirical validation showcases a notable reduction in computational complexity alongside an improvement in the accuracy of calculations. For a clearer exposition of this approach, this article examines two distinct control inputs. Let ˜u(t)=[˜u1(t),˜u2(t)]T. Then, the dynamical system is
˜f(t,˜x(t),˜u1(t),˜u2(t))=˜f(t,˜x(t),˜u(t)). | (3.2) |
The interval [0,T] is divided into q1 subintervals [δl1−11,δl11], l1∈Iq1, where σ1:=[δ11,δ21,…,δq11]T are variable switching time vector, and
0=δ11≤δ21≤… ≤δq11=T. | (3.3) |
The control component ˜u1(t) can be approximated by
˜u1(t)≈˜uq11(t|δ1,σ1)=q1∑l1=1ηl11χ[δl1−11,δl11)(t), t∈[0,T],l1∈Iq1, | (3.4) |
where ηl11 is the piecewise constant function value on the l1th subinterval of the control component u1(t) satisfying
a1≤ηl11≤b1,l1∈Iq1, | (3.5) |
and χ[δl1−11,δl11)(t) is an indicator function defined by
χ[δl1−11,δl11)(t)={1,ift∈[δl1−11,δl11)),0,ift∉[δl1−11,δl11)). | (3.6) |
Then, we obtain the following system:
{d˜x(t)dt=q1∑l1=1˜f(t,˜x(t),ηl11,˜u2(t)), t∈[0,T],˜x(0)=ξ,˜x(T)=0. | (3.7) |
Let ˜x(⋅|η1,u2) denote the solution of system (3.7).
After applying the time-scaling transformation [45] to ˜u1(t) and mapping the variable switching times {δ01,δ11,…,δq11} to a fixed number of switching times {0,1,…,q1} in the new time horizon, we define the vector ϕ1:=[ϕ11,…,ϕq11]T∈Rq1, where ϕl11=δl11−δl1−11≥ρ, ρ is an extremely small positive number, l1∈Iq1, and ϕ11+ϕ21+⋯+ϕq11=T.
Then, we introduce a new time variable p and define a time scaling function ν1(p,ϕ1)
t(p)≜ν1(p,ϕ1)=⌊p⌋∑l1=1ϕl11+ϕ(⌊p⌋+1)1(p−⌊p⌋), p∈[0,q1], | (3.8) |
where θ(p)=˜u2(ν1(p,ϕ1))=˜u2(t) and ⌊p⌋ is a floor function of the time variable p. With the new time variable p, the dynamical system is redefined on the subinterval [l1−1,l1), l1∈Iq1,
{dˆx(p)dp=ϕl11ˆf(p,ˆx(p),ηl11,θ(p)),ˆx(0)=ξ,ˆx(T)=0. | (3.9) |
Let ˆx(⋅|η1,θ) denote the solution of system (3.9).
The interval [0,q1] is divided into q2 subintervals [pl2−12,pl22], l1∈Iq2, where σ2=[p02,p12,…,pq22]T is the variable switching time vector, and
0=p02≤p12≤… ≤pq22=T. | (3.10) |
The control component ˜u2(t) can be approximated by
˜u2(t)≈θ(p):=q2∑l2=1ηl22χ[pl2−12,pl22)(p),p∈[0,q1], | (3.11) |
where ηl22 is the piecewise constant function value on the l2th subinterval of the control component θ(p) satisfying
a2≤ηl22≤b2,l2∈Iq2. | (3.12) |
With the new time variable p, system (3.9) is redefined on the subinterval [pl2−12,pl22), l2∈Iq2,
{dˇx(p)dp=ϕ⌊p⌋1ˇf(p,ˇx(p),η⌊p⌋1,ηl22),ˇx(0)=ξ,ˇx(0)=0. | (3.13) |
After applying a time-scaling transformation to ˇu2(t) and mapping the variable switching times {δ02,δ12,…,δq22} to a fixed number of switching times {0,1,…,q2} in the new time horizon, we define the vector ϕ2:=[ϕ12,…,ϕq22]T∈Rq2, where ϕl22=δl22−δl2−12≥ρ, ρ is an extremely small positive number, l2∈Iq2, and ϕ12+ϕ22+⋯+ϕq22=T.
Then, we introduce a new time variable w and define a time scaling function ν2(w,ϕ2)
p(w)≜ν2(w,ϕ2)=⌊w⌋∑l2=1ϕl22+ϕ(⌊w⌋+1)2(w−⌊w⌋), w∈[0,q2], | (3.14) |
where ⌊w⌋ is the floor function of the time variable w. System (3.13) is redefined on the subinterval [l2−1,l2),l2∈Iq2,
{dˇx(w)dw=ϕl22ϕ⌊ν2(w)⌋1ˇf(w,ˇx(w),η⌊ν2(w)⌋1,ηl22),ˇx(0)=ξ,ˇx(0)=0. | (3.15) |
Let ˇx(⋅|η1,η2,ϕ1,ϕ2) be the solution of system (3.15). Then the continuous state constraint (2.5) becomes
ˇx(w|η1,η2,ϕ1,ϕ2)≥0,∀w∈[l2−1,l2), l2∈Iq2. | (3.16) |
The cost function (2.8) and the maximum hands-off control constraint (3.1) become
¯J(η1,η2,ϕ1,ϕ2)=π0(˜x(q2|η1,η2,ϕ1,ϕ2))+q2∑l2=1∫l2l2−1ϕl22ϕ⌊ν2(w)⌋1ϑ(˜x(w|η1,η2,ϕ1,ϕ2))dw, | (3.17) |
A2(η1,η2,ϕ1,ϕ2)=1q2q2∑l2=1∫l2l2−1ϕl22ϕ⌊ν2(w)⌋1[λ1|η⌊ν2(w)⌋1|+λ2|ηl22|]dw≤μ. | (3.18) |
With these in mind, Problem B can be approximated by the following Problem C.
Problem C: Given system (3.15), choose the quadruple (η1,η2,ϕ1,ϕ2)∈Rq1×Rq1×Rq2×Rq2 to minimize the objective function defined by (3.17) subject to continuous inequality constraints (3.16), boundary conditions (3.5) and (3.12), and maximum hands-off control constraint (3.18).
Because of |η⌊ν2(w)⌋1|=2max{η⌊ν2(w)⌋1,0}−η⌊ν2(w)⌋1,|ηl22|=2max{ηl22,0}−ηl22, the maximum hands-off control constraint (3.18) can be equivalently transformed as A3(η1,η2,ϕ1,ϕ2) defined in (3.19).
A3(η1,η2,ϕ1,ϕ2)=1q2q2∑l2=1∫l2l2−1ϕl22ϕ⌊ν2(w)⌋1[λ1(2max{η⌊ν2(w)⌋1,0}−η⌊ν2(w)⌋1)+λ2(2max{ηl22,0}−ηl22)]dw≤μ | (3.19) |
Define
J1(η1,η2,ϕ1,ϕ2,ρ)=¯J(η1,η2,ϕ1,ϕ2)+ρH(η1,η2,ϕ1,ϕ2), | (3.20) |
where ρ is the penalty parameter and
H(η1,η2,ϕ1,ϕ2)=q2∑l2=1∫l2l2−1max{−˜x(w|η1,η2,ϕ1,ϕ2),0}dw+q1∑l1=1[max{a1−ηl11,0}+max{ηl11−b1,0}]+q2∑l2=1[max{a2−ηl21,0}+max{ηl22−b2,0}]+A3(η1,η2,ϕ1,ϕ2). |
Thus, Problem C can be equivalently transformed into Problem D.
Problem D: Given system (3.15), choose the quadruple (η1,η2,ϕ1,ϕ2)∈Rq1×Rq1×Rq2×Rq2 to minimize the objective function defined in (3.20).
Remark 1. According to [29], it has been established that when the penalty parameter ρ exceeds its threshold value ρ∗, the solution derived for Problem D represents an exact solution for Problem C.
The fundamental concept underlying the smooth technique involves the approximation of the non-smooth maximum operator through the utilization of a smoothing function [46], which is defined by
P{G,ρ,q,ε}={0,ifG<−ερq,ρq2εG2+G+ε2ρq,if−ερq≤G<0,G+ε2ρq,ifG≥0, | (4.1) |
where ρ is a penalty factor, q is the number of continuous inequality constraints, and ε>0 is the smoothing parameter.
Theorem 1. ([46]) For ε>0, we have
0≤P{G,ρ,q,ε}−max{G,0}≤ε2ρq. | (4.2) |
By the smoothing process, the maximum hands-off control constraint A3(η1,η2,ϕ1,ϕ2) defined in (3.19) can be approximated by
˜A3(η1,η2,ϕ1,ϕ2,ρ,q2,ε)=1q2q2∑l2=1∫l2l2−1ϕl22ϕ⌊ν2(w)⌋1[λ1(2P{η⌊ν2(w)⌋1,ρ,q2,ε}−η⌊ν2(w)⌋1)+λ2(2P{ηl22,ρ,q2,ε}−ηl22)]dw. | (4.3) |
Based on the smoothing function (4.1), the cost function (3.20) can be approximated by
J2(η1,η2,ϕ1,ϕ2,ρ,q1,q2,ε)=¯J(η1,η2,ϕ1,ϕ2)+ρ˜H(η1,η2,ϕ1,ϕ2,ρ,q1,q2,ε), | (4.4) |
where
˜H(η1,η2,ϕ1,ϕ2,ρ,q1,q2,ε)=q2∑l2=1∫l2l2−1P{−˜x(w|η1,η2,ϕ1,ϕ2),ρ,q2,ε}dw+˜A3(η1,η2,ϕ1,ϕ2,ρ,q2,ε)+q2∑l2=1[P{a2−ηl22,ρ,q2,ε}+P{ηl22−b2,ρ,q2,ε}]+q1∑l1=1[P{a1−ηl11,ρ,q1,ε}+P{ηl11−b1,ρ,q1,ε}]. | (4.5) |
Based on the smoothing function (3.20), Problem D can be approximated by Problem E.
Problem E: Given system (3.15), choose the quadruple (η1,η2,ϕ1,ϕ2)∈Rq1×Rq1×Rq2×Rq2 to minimize the cost function defined in (4.4).
The application of smoothing techniques may introduce discrepancies between Problems D and E. This section entails the derivation of errors between Problems D and E concerning the smoothing function (3.20). It has been demonstrated that for a sufficiently small smoothing parameter ε, the solution to Problem D can be acquired by sequentially solving a series of Problem E while incrementing the values of the penalty factor ρ.
Theorem 2. If ρ>0, q>0, and ε>0, then
0≤J2(η1,η2,ϕ1,ϕ2,ρ,q1,q2,ε)−J1(η1,η2,ϕ1,ϕ2,ρ)≤5ε2+(λ1+λ2)T2εq2. | (4.6) |
Proof. Based on Theorem 1, we have for ρ>0, q1, q2>0, and ε>0,
0≤P{G,ρ,q,ε}−max{G,0}≤ε2ρq. |
Then,
0≤J2(η1,η2,ϕ1,ϕ2,ρ,q1,q2,ε)−J1(η1,η2,ϕ1,ϕ2,ρ)=ρ{q2∑l2=1∫l2l2−1(P{˜x(w|η1,η2,ϕ1,ϕ2),ρ,q2,ε}−max{˜x(w|η1,η2,ϕ1,ϕ2),0})dw+q1∑l1=1[(P{ηl11−a1,ρ,q1,ε}−max{ηl11−a1,0})+(P{b1−ηl11,ρ,q1,ε}−max{b1−ηl11,0})]+q2∑l2=1[(P{ηl22−a2,ρ,q2,ε}−max{ηl21−a2,0})+(P{b2−ηl22,ρ,q2,ε}−max{b2−ηl22,0})]+1q2q2∑l2=1∫l2l2−1ϕl22ϕ⌊ν2(w)⌋1[2λ1(P{η⌊ν2(w)⌋1,ρ,q2,ε}−max{η⌊ν2(w)⌋1,0})+2λ2(P{ηl22,ρ,q2,ε}−max{ηl22,0})]dw}≤ρ[5ε2ρ+2(λ1+λ2)T2ε2ρq2]=5ε2+(λ1+λ2)T2εq2, |
which completes the proof.
Theorem 3. Let (η∗1,η∗2,ϕ∗1,ϕ∗2) be the solution of Problem D, and let (η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2) be the solution of Problem E. Then,
0≤J2(η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2,ρ,q1,q2,ε)−J1(η∗1,η∗2,ϕ∗1,ϕ∗2,ρ)≤5ε2+(λ1+λ2)T2εq2. |
Proof. Based on Theorem 2, we have
0≤J2(η∗1,η∗2,ϕ∗1,ϕ∗2,ρ,q1,q2,ε)−J1(η∗1,η∗2,ϕ∗1,ϕ∗2,ρ)≤5ε2+(λ1+λ2)T2εq2,%(λ1+λ2)T2εc+5ε2cΛ−α0≤J2(η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2,ρ,q1,q2,ε)−J1(η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2,ρ)≤5ε2+(λ1+λ2)T2εq2. |
Since (η∗1,η∗2,ϕ∗1,ϕ∗2) is the solution of Problem D, we have
J1(η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2,ρ)>J1(η∗1,η∗2,ϕ∗1,ϕ∗2,ρ), |
which yields
J2(η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2,ρ,q1,q2,ε)−J1(η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2,ρ)≤J2(η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2,ρ,q1,q2,ε)−J1(η∗1,η∗2,ϕ∗1,ϕ∗2,ρ). | (4.7) |
Since (η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2) is the solution of Problem D, we obtain
J2(η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2,ρ,q1,q2,ε)<J2(η∗1,η∗2,ϕ∗1,ϕ∗2,ρ,q1,q2,ε), |
which yields
J2(η∗∗1,η∗∗2,ϕ∗∗1,ϕ∗∗2,ρ,q1,q2,ε)−J1(η∗1,η∗2,ϕ∗1,ϕ∗2,ρ)≤J2(η∗1,η∗2,ϕ∗1,ϕ∗2,ρ,q1,q2,ε)−J1(η∗1,η∗2,ϕ∗1,ϕ∗2,ρ). | (4.8) |
Based on (4.7) and (4.8), we have
which completes this proof.
Remark 2. Theorem 3 states that when the smoothing parameter assumes a sufficiently small value, the solution of Problem E tends to approximate the solution of Problem D.
To obtain an error estimation between the solutions of Problems E and C outlined in Theorem 4, the definition of -feasibility to Problem D is given in Definition 3.
Definition 3. A vector is called -feasible to Problem D if
Theorem 4. Let and be the solution of Problems D and E, respectively. Furthermore, let be feasible to Problem D and be -feasible to Problem D. Then
(4.9) |
Proof. Since is the solution of Problem D, we have
where
Since is -feasible to Problem D, we obtain
Based on Theorem 3, we get
which completes this proof.
Remark 3. In this scenario, as outlined in Theorem 4, an error estimation between the solutions of Problems E and C is provided, specifically under the condition of . Consequently, the solution for SOP (Sum of Optimization Problems) can be approximately obtained by iteratively solving a sequence of Problem E.
In this section, we will derive the gradient formulae of the cost function with respect to the quadruple based on Theorems 5–8, whose proofs are similar to the proofs of Theorems 1 and 2 in [39].
Theorem 5. For each , we have
(5.1) |
where is the solution to the following system on
(5.2) |
On the basis of Theorem 5, the gradient of with respect to is given as follows:
(5.3) |
Theorem 6. For each ,
where is the solution to the following system on
(5.4) |
On the basis of Theorem 6, the gradient of with respect to is given as follows:
Theorem 7. For each , we have
where is the solution to the following system on
(5.5) |
Based on Theorem 7, the gradient of with respect to is given as follows:
Remark 4. For this, we introduce the inverse of . The gradient of with respect to is complicated to derive because the switching time is in the time range of . is a function of , and at every connection point, this inverse function is not differentiable. is represented by , and the gradient of with respect to at is given in Remark 1 as follows.
Remark 5. If point coincide with then we have
(5.6) |
and
(5.7) |
Remark 6. If point does not coincide with , then we have .
With the above discussion, the gradient of states with respect to is given below.
Theorem 8. For each , we have
where is the solution to the following system on
(5.8) |
with
and
.
Based on Theorem 8, the gradient of with respect to is given as follows:
where and are defined as and , respectively.
Remark 7. The gradient formulae of the cost function with respect to the quadruple is calculated by the variational method (Theorems 5–8). Therefore, the gradient-based algorithm easily obtains the optimal solution for Problem E.
We consider a nonlinear maximum hands-off control problem with the cost functional defined by
(6.1) |
governed by the nonlinear dynamical system
(6.2) |
with the maximum hands-off control constraint
(6.3) |
and the bound constraints of the control inputs
Case 1: The optimal control problem governed by nonlinear dynamical system (6.2) without the maximum hands-off control constraint (6.3).
Case 2: The optimal control problem governed by nonlinear dynamical system (6.2) with the maximum hands-off control constraint (6.3).
For Cases 1 and 2, the number of segments for the two controls are, respectively, 10 and 20. For Cases 1 and 2, by using the proposed method we respectively obtain the optimal control strategies and plotted in Figures 1 and 2. Their corresponding optimal cost and sparsity levels are given in Table 1. From Figure 2, it is observed that for the first control, sparse control happened in the first and from the fourth to the tenth segments. For the second control, sparse control occurred in the second, the sixteenth, from the ninth to the thirteenth, and from the eighteenth to the twentieth segments.
Type | Control strategies | Optimal cost | |
Case 1 | = 21.2052 | ||
Case 2 | = 7.303 |
The graphical representation in Figure 1 illustrates that the optimal control strategies demonstrate a considerable density. In contrast, Figure 2 portrays these strategies with a noticeable level of sparsity. Nevertheless, it is essential to highlight that the inclusion of the maximum hands-off control constraint (6.3) results in a marginal increase in the cost function value compared to the scenario without this constraint (6.3). Specifically, the cost function slightly exceeds its counterpart when the maximum hands-off control constraint is imposed.
The observed trend in Figure 2 reveals a noteworthy pattern in the sparsity of the sparse optimal control strategies. It becomes evident that there is a rapid initial increase in sparsity, accompanied by a relatively minor escalation in cost. Therefore, based on the findings presented in this paper, it can be inferred that the proposed method exhibits the capability to generate solutions of superior quality.
Furthermore, from Table 1, it is pertinent to note that the value of the cost function, specifically , slightly exceeds that of The smaller the value of , the sparser becomes. From Table 1, it follows that is sparser than . So, we can conclude that this proposed method achieves a balance between system performance and sparsity, thereby suggesting its efficacy in providing solutions that optimize both aspects effectively.
Solving the sparse optimal control problem within the framework of linear dynamical systems often allows for an analytical solution. However, when addressing the maximum hands-off control problem within the domain of nonlinear dynamical systems, obtaining an analytical solution proves to be considerably challenging. This paper necessitates the numerical solution of the sparse optimal control problem which is governed by nonlinear dynamical systems. We employ control parameterization in conjunction with the sequential adaptive switching time optimization technique to approximate the maximum hands-off control problem by a sequence of finite-dimensional optimization problem. This approach allows for varying control switching times without imposing uniformity and offers flexibility in selecting control components. The resolution of the sparse optimal control problem relies on a gradient-based algorithm. To showcase the efficacy of the proposed methodology, an illustrative example is provided.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This work was supported in part by the National Key Research and Development Program of China under Grant 2022YFB3304600; in part by the National Natural Science Foundation of China under Grants 11901075, 12271307 and 12161076; in part by the China Postdoctoral Science Foundation under Grant 2019M661073; in part by the Fundamental Research Funds for the Central Universities under Grants 3132022201, 3132023206, 3132023535 and DUT22LAB305; in part by the Guandong Province Natural Science Foundation of China under Grant 2022A1515011761; in part by Chongqing Natural Science Foundation Innovation and Development Joint Fund (CSTB2022NSCQ-LZX0040); in part by Ministry of Higher Education (MoHE) Malaysia through the Foundation Research Grant Scheme (FRGS/1/2021/STG06/SYUC/03/1); in part by the Shandong Province Natural Science Foundation of China under Grant ZR2023MA054; in part by the Fundamental Scientific Research Projects of Higher Education Institutions of Liaoning Provincial Department of Education under JYTMS20230165 (General Project); and in part by the Xinghai Project of Dalian Maritime University.
The authors declare there is no conflict of interest.
[1] |
M. Nagahara, D. E. Quevedo, D. Nesic, Maximum hands-off control: a paradigm of control effort minimization, IEEE Trans. Autom. Control, 61 (2016), 735–747. https://doi.org/10.1109/TAC.2015.2452831 doi: 10.1109/TAC.2015.2452831
![]() |
[2] | J. Huang, Y. Shi, Guaranteed cost control for multi-sensor networkedcontrol systems using historical data, in 2012 American Control Conference (ACC), (2012), 4927–4932. https://doi.org/10.1109/ACC.2012.6315279 |
[3] |
D. L. Donoho, Compressed sensing, IEEE Trans. Inf. Theory, 52 (2006), 1289–1306. https://doi.org/10.1109/TIT.2006.871582 doi: 10.1109/TIT.2006.871582
![]() |
[4] |
J. Wu, F. Liu, L. C. Jiao, X. Wang, Compressive sensing SAR image reconstruction based on Bayesian framework and evolutionary computation, IEEE Trans. Image Process., 20 (2011), 1904–1911. https://doi.org/10.1109/TIP.2010.2104159 doi: 10.1109/TIP.2010.2104159
![]() |
[5] |
L. Wang, Q. Wang, J. Wang, X. Zhang, Fast band-limited sparse signal reconstruction algorithms for big data processing, IEEE Sens. J., 23 (2023), 13084–13099. https://doi.org/10.1109/JSEN.2023.3268295 doi: 10.1109/JSEN.2023.3268295
![]() |
[6] |
Y. Shi, Y. Gao, S. Liao, D. Zhang, Y. Gao, D. Shen, A learning based CT prostate segmentation method via joint transductive feature selection and regression, Neurocomputing, 173 (2016), 317–331. https://doi.org/10.1016/j.neucom.2014.11.098 doi: 10.1016/j.neucom.2014.11.098
![]() |
[7] |
S. Weng, Editorial: spectroscopy, imaging and machine learning for crop stress, Front. Plant Sci., 14 (2023). https://doi.org/10.3389/fpls.2023.1240738 doi: 10.3389/fpls.2023.1240738
![]() |
[8] |
S. Wang, H. Chen, W. Kong, X. Wu, Y. Qian, K. Wei, A modified FGL sparse canonical correlation analysis for the identification of Alzheimer's disease biomarkers, Electron. Res. Arch., 31 (2023), 882–903. https://doi.org/10.3934/era.2023044 doi: 10.3934/era.2023044
![]() |
[9] |
F. Xu, Z. Lu, Z. Xu, An efficient optimization approach for a cardinality-constrained index tracking problem, Optim. Methods Software, 31 (2016), 258–271. https://doi.org/10.1080/10556788.2015.1062891 doi: 10.1080/10556788.2015.1062891
![]() |
[10] |
S. Bahmani, P. T. Boufounos, B. Raj, Learning model-based sparsity via projected gradient descent, IEEE Trans. Inf. Theory, 62 (2016), 2092–2099. https://doi.org/10.1109/TIT.2016.2515078 doi: 10.1109/TIT.2016.2515078
![]() |
[11] |
S. N. Negahban, P. Ravikumar, M. J. Wainwright, B. Yu, A unified framework for high-dimensional analysis of M-estimators with decomposable regularizers, Stat. Sci., 27 (2012), 538–557. https://doi.org/10.1214/12-STS400 doi: 10.1214/12-STS400
![]() |
[12] |
E. J. Candes, T. Tao, Decoding by linear programming, IEEE Trans. Inf. Theory, 51 (2005), 4203-4215. https://doi.org/10.1109/TIT.2005.858979 doi: 10.1109/TIT.2005.858979
![]() |
[13] |
S. Foucart, M. J. Lai, Sparsest solutions of underdetermined linear systems via minimization for , Appl. Comput. Harmon. Anal., 26 (2009), 395–407. https://doi.org/10.1016/j.acha.2008.09.001 doi: 10.1016/j.acha.2008.09.001
![]() |
[14] |
R. Chartrand, V. Staneva, Restricted isometry properties and nonconvex compressive sensing, Inverse Probl., 24 (2008), 035020. https://doi.org/10.1088/0266-5611/24/3/035020 doi: 10.1088/0266-5611/24/3/035020
![]() |
[15] |
G. Gasso, A. Rakotomamonjy, S. Canu, Recovering sparse signals with a certain family of nonconvex penalties and DC programming, IEEE Trans. Signal Process., 57 (2009), 4686–4698. https://doi.org/10.1109/TSP.2009.2026004 doi: 10.1109/TSP.2009.2026004
![]() |
[16] |
H. A. L. Thi, H. M. Le, P. D. Tao, Feature selection in machine learning: an exact penalty approach using a difference of convex function algorithm, Mach. Learn., 101 (2015), 163–186. https://doi.org/10.1007/s10994-014-5455-y doi: 10.1007/s10994-014-5455-y
![]() |
[17] |
W. Peng, T. Gu, Y. Zhuang, Z. He, C. Han, Pattern synthesis with minimum mainlobe width via sparse optimization, Digital Signal Process., 128 (2022), 103632. https://doi.org/10.1016/j.dsp.2022.103632 doi: 10.1016/j.dsp.2022.103632
![]() |
[18] | J. Liang, X. Zhu, C. Yue, Z. Li, B. Qu, Performance analysis on knee point selection methods for multi-objective sparse optimization problems, in 2018 IEEE Congress on Evolutionary Computation (CEC), (2018), 1–8. https://doi.org/10.1109/CEC.2018.8477915 |
[19] |
X. Xiu, Z. Miao, W. Liu, A sparsity-aware fault diagnosis framework focusing on accurate isolation, IEEE Trans. Ind. Inf., 19 (2022), 1356–1365. https://doi.org/10.1109/TII.2022.3180070 doi: 10.1109/TII.2022.3180070
![]() |
[20] |
C. V. Rao, Sparsity of linear discrete-Time optimal control problems with objectives, IEEE Trans. Autom. Control, 63 (2017), 513–517. https://doi.org/10.1109/TAC.2017.2732286 doi: 10.1109/TAC.2017.2732286
![]() |
[21] | M. Babazadeh, Regularization for optimal sparse control structures: a primal-dual framework, in 2021 American Control Conference (ACC), (2021), 3850–3855. https://doi.org/10.23919/ACC50511.2021.9482729 |
[22] |
P. Benner, H. , On the numerical solution of large-scale sparse discrete-time Riccati equations, Adv. Comput. Math., 35 (2011), 119–147. https://doi.org/10.1007/s10444-011-9174-7 doi: 10.1007/s10444-011-9174-7
![]() |
[23] |
F. S. Aktacs, O. Ekmekcioglu, M. C. Pinar, Provably optimal sparse solutions to overdetermined linear systems with non-negativity constraints in a least-squares sense by implicit enumeration, Optim. Eng., 22 (2021), 2505–2535. https://doi.org/10.1007/s11081-021-09676-2 doi: 10.1007/s11081-021-09676-2
![]() |
[24] |
B. Polyak, A. Tremba, Sparse solutions of optimal control via Newton method for under-determined systems, J. Global Optim., 76 (2020), 613–623. https://doi.org/10.1007/s10898-019-00784-z doi: 10.1007/s10898-019-00784-z
![]() |
[25] |
D. Kalise, K. Kunisch, Z. Rao, Infinite horizon sparse optimal control, J. Optim. Theory Appl., 172 (2017), 481–517. https://doi.org/10.1007/s10957-016-1016-9 doi: 10.1007/s10957-016-1016-9
![]() |
[26] | P. Budhraja, A. S. A. Dilip, Maximum hands-off control for a class of nonlinear systems, in 2021 29th Mediterranean Conference on Control and Automation (MED), (2021), 1003–1006. https://doi.org/10.1109/MED51440.2021.9480171 |
[27] |
W. Ji, Optimal control problems with time inconsistency, Electron. Res. Arch., 31 (2023), 492–508. https://doi.org/10.3934/era.2023024 doi: 10.3934/era.2023024
![]() |
[28] |
P. Yu, S. Tan, J. Guo, Y. Song, Data-driven optimal controller design for sub-satellite deployment of tethered satellite system, Electron. Res. Arch., 32 (2024), 505–522. https://doi.org/10.3934/era.2024025 doi: 10.3934/era.2024025
![]() |
[29] | K. L. Teo, B. Li, C. Yu, V. Rehbock, Applied and Computational Optimal Control: A Control Parametrization Approach, Springer: Optimization and Its Applications, 2021. https://doi.org/10.1007/978-3-030-69913-0 |
[30] |
S. Su, M. Shao, C. Yu, K. L. Teo, On the correlation of local collocation and control parameterization methods, J. Ind. Manage. Optim., 2024. https://doi.org/10.3934/jimo.2024004 doi: 10.3934/jimo.2024004
![]() |
[31] |
Q. Lin, R. Loxton, K. L. Teo, The control parameterization method for nonlinear optimal control: a survey, J. Ind. Manage. Optim., 10 (2014), 275–309. https://doi.org/10.3934/jimo.2014.10.275 doi: 10.3934/jimo.2014.10.275
![]() |
[32] |
C. Xu, H. Li, Two-grid methods of finite element approximation for parabolic integro-differential optimal control problems, Electron. Res. Arch., 31 (2023), 4818–4842. https://doi.org/10.3934/era.2023247 doi: 10.3934/era.2023247
![]() |
[33] |
Y. Yuan, C. Liu, Optimal control for the coupled chemotaxis-fluid models in two space dimensions, Electron. Res. Arch., 29 (2021), 4269–4296. https://doi.org/10.3934/era.2021085 doi: 10.3934/era.2021085
![]() |
[34] |
Z. Z. Tao, B. Sun, A feedback design for numerical solution to optimal control problems based on Hamilton-Jacobi-Bellman equation, Electron. Res. Arch., 29 (2021), 3429–3447. https://doi.org/10.3934/era.2021046 doi: 10.3934/era.2021046
![]() |
[35] |
X. Pang, H. Song, X. Wang, J. Zhang, Efficient numerical methods for elliptic optimal control problems with random coefficient, Electron. Res. Arch., 28 (2020), 1001–1022. https://doi.org/10.3934/era.2020053 doi: 10.3934/era.2020053
![]() |
[36] |
H. W. J. Lee, K. L. Teo, X. Q. Cai, An optimal control approach to nonlinear mixed integer programming problems, Comput. Math. Appl., 36 (1998), 87–105. https://doi.org/10.1016/S0898-1221(98)00131-X doi: 10.1016/S0898-1221(98)00131-X
![]() |
[37] |
A. Siburian, V. Rehbock, Numerical procedure for solving a class of singular optimal control problems, Optim. Methods Software, 19 (2004), 413–426. https://doi.org/10.1080/10556780310001656637 doi: 10.1080/10556780310001656637
![]() |
[38] |
G. Vossen, Switching time optimization for bang-bang and singular controls, J. Optim. Theory Appl., 144 (2010), 409–429. https://doi.org/10.1007/s10957-009-9594-4 doi: 10.1007/s10957-009-9594-4
![]() |
[39] |
X. Zhu, C. Yu, K. L. Teo, Sequential adaptive switching time optimization technique for optimal control problems, Automatica, 146 (2022), 110565. https://doi.org/10.1016/j.automatica.2022.110565 doi: 10.1016/j.automatica.2022.110565
![]() |
[40] |
C. Liu, R. Loxton, K. L. Teo, S. Wang, Optimal state-delay control in nonlinear dynamic systems, Automatica, 135 (2022), 109981. https://doi.org/10.1016/j.automatica.2021.109981 doi: 10.1016/j.automatica.2021.109981
![]() |
[41] |
C. Liu, Z. Gong, C. Yu, S. Wang, K. L. Teo, Optimal control computation for nonlinear fractional time-delay systems with state inequality constraints, J. Optim. Theory Appl., 191 (2021), 83–117. https://doi.org/10.1007/s10957-021-01926-8 doi: 10.1007/s10957-021-01926-8
![]() |
[42] |
C. Liu, C. Yu, Z. Gong, H. T. Cheong, K. L. Teo, Numerical computation of optimal control problems with Atangana CBaleanu fractional derivatives, J. Optim. Theory Appl., 197 (2023), 798–816. https://doi.org/10.1007/s10957-023-02212-5 doi: 10.1007/s10957-023-02212-5
![]() |
[43] |
C. Yu, K. H. Wong, An enhanced control parameterization technique with variable switching times for constrained optimal control problems with control-dependent time-delayed arguments and discrete time-delayed arguments, J. Comput. Appl. Math., 427 (2023), 115106. https://doi.org/10.1016/j.cam.2023.115106 doi: 10.1016/j.cam.2023.115106
![]() |
[44] |
D. Wu, Y. Chen, C. Yu, Y. Bai, K. L. Teo, Control parameterization approach to time-delay optimal control problems: a survey, J. Ind. Manage. Optim., 19 (2023), 3750–3783. https://doi.org/10.3934/jimo.2022108 doi: 10.3934/jimo.2022108
![]() |
[45] |
D. Wu, Y. Bai, F. Xie, Time-scaling transformation for optimal control problem with time-varying delay, Discrete Contin. Dyn. Syst. - Ser. S, 13 (2020), 1683–1695. https://doi.org/10.3934/dcdss.2020098 doi: 10.3934/dcdss.2020098
![]() |
[46] |
P. Liu, X. Li, X. Liu, Y. Hu, An improved smoothing technique-based control vector parameterization method for optimal control problems with inequality path constraints, Optim. Control. Appl. Methods, 38 (2017), 586–600. https://doi.org/10.1002/oca.2273 doi: 10.1002/oca.2273
![]() |
Type | Control strategies | Optimal cost | |
Case 1 | = 21.2052 | ||
Case 2 | = 7.303 |