Next Article in Journal
Autonomous Navigation of Mobile Robot Assisted by Its Identified Neural Network Model
Previous Article in Journal
Synthesis of a Feedback Controller by the Network Operator Method for a Mobile Robot Rosbot in Gazebo Environment
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Proceeding Paper

Additional Requirement in the Formulation of the Optimal Control Problem for Applied Technical Systems †

by
Elizaveta Shmalko
*,‡ and
Askhat Diveev
Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences, Moscow 119333, Russia
*
Author to whom correspondence should be addressed.
Presented at the 15th International Conference “Intelligent Systems” (INTELS’22), Moscow, Russia, 14–16 December 2022.
These authors contributed equally to this work.
Eng. Proc. 2023, 33(1), 7; https://doi.org/10.3390/engproc2023033007
Published: 16 May 2023
(This article belongs to the Proceedings of 15th International Conference “Intelligent Systems” (INTELS’22))

Abstract

:
This paper considers the difficulties that arise in the implementation of solutions to the optimal control problem. When implemented in real systems, as a rule, the object is subject to some perturbations, and the control obtained as a function of time as a result of solving the optimal control problem does not take into account these factors, which leads to a significant change in the trajectory and deviation of the object from the terminal goal. This paper proposes to supplement the formulation of the optimal control problem. Additional requirements are introduced for the optimal trajectory. The fulfillment of these requirements ensures that the trajectory remains close to the optimal one under perturbations and reaches the vicinity of the terminal state. To solve the problem, it is proposed to use numerical methods of machine learning based on symbolic regression. A computational experiment is presented in which the solutions of the optimal control problem in the classical formulation and with the introduced additional requirement are compared.

1. Introduction

The main disadvantage of the optimal control problem [1] is that its solution is an optimal control as a function of time, and it cannot be implemented in practice since its implementation leads to an open control system that is insensitive to model disturbances.
Consider a well-known optimal control problem
x ˙ 1 = x 2 , x ˙ 2 = u ,
where x = [ x 1   x 2 ] T is a state vector, u is a control signal.
The control values are limited
1 u 1 .
It is necessary to find a control that will move the object (1) from the initial state
x ( 0 ) = [ 1   1 ] T ,
to the given terminal position
x f = [ 0   0 ] T
as fast as possible
J = t f min .
The analytical solution of the stated problem was presented in [1]. According to the maximum principle, the optimal control takes only limit values (2) and has no more than one switch. According to (3), initially, the control has the value u = 1 . Then, when a certain state is reached, the control switches to the value u = 1 .
u = 1 , if t < t 1 , otherwise
where t is the moment of control switching.
Let us find the moment of switching. A particular solution of the system (1) from the initial state (3) has the following form
x 1 = 0.5 t 2 + t + 1 , x 2 = t + 1 .
The general solution (1) for the control u = + 1 is the following
x 1 = 0.5 t 2 + x 2 , 0 t + x 1 , 0 , x 2 = t + x 2 , 0 ,
where x 1 , 0 , x 2 , 0 are the coordinates of the switching point.
Let us express in (8) x 1 as a function of x 2
x 1 = x 2 2 0.5 x 2 , 0 2 + x 1 , 0 ,
The relation for the switching point follows from the terminal conditions (4)
x 1 , 0 = 0.5 x 2 , 0 2 .
Let us now find the moment of time for a particular solution (7) that satisfies the relation (10).
0.5 t 2 + t + 1 = 0.5 ( t + 1 ) 2 ; t 2 2 t 0.5 = 0 ; t = 1 + 1.5 = 2.22474487 .
The switching time (11) is the solution to this optimal control problem. To determine the value of the functional (5), we calculate the coordinates of the switching point. Substituting (11) into the particular solution (7), we obtain
x 1 = 0.75 ,   x 2 = 1.5 .
From the second equation in (8), we obtain the optimal time of reaching the terminal state
t ˜ = t + 1.5 = 3.44948974 .
Now, we introduce perturbations into the initial conditions (3)
x 1 ( 0 ) = 1 + δ 1 ,   x 2 ( 0 ) = 1 + δ 2 ,
where δ 1 , δ 2 are random variables from a limited range.
During the time t , the object does not get to the switching point (12), and after switching accordingly, does not get into the terminal state. Based on the optimal value of the functional (13), let us limit the control time to t + = 3.5 and determine the state of the object at the moment t + , taking into account the switching of the control at the moment (11)
x ^ 1 , 0 = 0.5 t 2 + ( 1 + δ 2 ) t + 1 + δ 1 , x ^ 2 , 0 = t + 1 + δ 2 , x 1 ( t + ) = 0.5 ( t + + t ) 2 + x ^ 2 , 0 ( t + t ) + x ^ 1 , 0 = 0.00127565 ( 1.27525513 + t ) δ 2 + δ 1 , x 2 ( t + ) = t + t + x ^ 2 , 0 = 0.05051026 + δ 2 .
Figure 1 shows trajectories of eight randomly perturbed solutions of the problem (1)–(5) from the range
x 1 ( 0 ) = 1 ± 0.25 ,   x 2 ( 0 ) = 1 ± 0.25 .
In Figure 1, the blue curve represents the optimal unperturbed solution.
All perturbed solutions do not reach the terminal state. It is obvious from the plots that the solution of the optimal control problem as a function of time (6) cannot be implemented in practice since according to the model (1) with control (6) due to disturbances, it is impossible to assess the state of the control object.
In this regard, it is necessary to introduce additional requirements into the formulation of the optimal control problem so that the resulting controls can be directly implemented on a real plant.

2. Optimal Control Problem Statement with Additional Requirement

Consider the formulation of the optimal control problem, the solution of which can be directly implemented on the plant.
Given the mathematical model of the control object
x ˙ = f ( x , u ) ,
where x R n , u U R m , f = [ f 1 ( x , u ) f n ( x , u ) ] T .
Given the initial
x ( 0 ) = x 0 R n .
and terminal conditions
x ( t f ) = x f R n ,
where t f is the time to reach the terminal conditions, not specified, but limited, t f t + , t + is the specified limit time of the control process.
A quality criterion is set. It may include conditions for fulfilling phase constraints
J 1 = 0 t f f 0 ( u , x ) d t min u U .
We need to find a control in the form
u = g ( x , t ) U .
The found control must be such that the particular solution x ( t , x 0 ) of the system
x ˙ = f ( x , g ( x , t ) )
from the initial state (18) reaches the terminal state (19) with the optimal value of the quality criterion (20). Moreover, the optimal particular solution x ( t , x 0 ) of the system (22) would have a neighborhood Δ ( t ) > 0 such that if for any other particular solution x ( t , y ) of the system (22) from another initial state y R n at time t , 0 t t +
x ( t , y ) x ( t , x 0 ) Δ ( t ) ,
then t , t t t f , this particular solution does not leave the neighborhood of the optimal
x ( t , y ) x ( t , x 0 ) Δ ( t ) ,   t t t f .
The neighborhood Δ ( t ) shrinks near the terminal state. This means that for any particular solution from the neighborhood of the optimal one for which the conditions (23) are satisfied t < t + such that
x ( t , y ) x ( t , x 0 ) ε ,
where ε is a given small positive value.
The existence of a neighborhood of the optimal solution in many cases can worsen the value of the functional. For example, in a problem with phase constraints, which are obstacles on the path of movement of the control object to the terminal state, the optimal trajectory often passes along the boundary of the obstacle. Such a trajectory will not have a neighborhood, so in this case, it is necessary to find another trajectory that will not be optimal according to the classical formulation of the optimal control problem but allows variations in the initial values with a small change in the value of the functional.

3. Overview of Methods for Solving the Extended Optimal Control Problem with Additional Requirement

Therefore, an additional requirement has been put forward in the formulation of the optimal control problem, which makes it possible to implement the obtained controls on real objects. Consider the existing methods for solving the problem in the presented extended formulation.
The solution to the problem of general control synthesis for a certain region of initial conditions leads to the fact that each particular solution from this region of initial conditions will be optimal. In this case, each particular solution has a neighborhood containing other optimal solutions. The neighborhood will be open, but will also shrink near the terminal state.
For the model (1), there is a solution to the problem of general control synthesis, in which a control is found that ensures the optimal achievement of the terminal state from any initial condition.
u = 1 , if h ( x 1 , x 2 ) 0 1 , otherwise ,
where
h ( x 1 , x 2 ) = x 1 + 0.5 x 2 2 , if x 1 < 0 x 1 0.5 x 2 2 , otherwise .
Plots of eight perturbed solutions for the object model (1) with control (26) are shown in Figure 2.
As can be seen from Figure 2, all perturbed solutions have reached the terminal state. This control (26) is practically feasible.
However, the problem of general control synthesis is a complex mathematical problem for which there is no universal numerical solution method. In this case, this problem was solved because the plant model is simple, the optimal control takes only two limit values, and for both of these values, general solutions of the differential equations of the model (1) are obtained.
Another approach to solving the optimal control problem and fulfilling additional requirements is stabilizing motion along the trajectory based on the theory of stability of A.M. Lyapunov [2]. As a result of constructing the stabilization system, the optimal trajectory should become asymptotically stable. The construction of such a stabilization system is not always possible; in particular, in the problem under consideration (1), the control resources are exhausted to obtain the optimal trajectory and there are no more control resources for the stabilization system.
Another approach that also allows solving the optimal control problem in the presented extended formulation with additional requirements is the synthesized control method. It consists of two stages [3,4]. Initially, the problem of control synthesis is solved in order to ensure the stability of the control object relative to some point in the state space. In the second stage, the problem of optimal control is solved, while the coordinates of the stability points of the control object are used as control. It should be noted that the solution of the control synthesis problem at the first stage will significantly change the mathematical model of the control object. When solving the control synthesis problem, the functional of the optimal control problem is not used to ensure stability; therefore, various methods for solving the control synthesis problem will lead to different mathematical models of a closed control system and to different solutions to the optimal control problem. The presence of a neighborhood with attraction properties for the optimal solution requires the choice of such a position of the stability points in the state space so that particular solutions from a certain region of initial states, being attracted to these stability points, are close to each other, moving to the terminal state.
Consider the application of the synthesized optimal control to problems (1)–(5). For stabilization system synthesis different methods can be used from traditional regulators [5] to modern machine learning techniques [6,7,8]. As far as the considered object is rather simple (1), it is enough to use a proportional regulator. Taking into account the limits on control, it has the following form
u = sgn ( u ˜ ) , if | u ˜ | > 1 u ˜ otherwise ,
where
u ˜ = k 1 ( x 1 x 1 ) + k 2 ( x 2 x 2 ) .
The object is stable if k 1 > 0 , k 2 > 0 . A stable equilibrium point exists if | u ˜ | < 1 . The coordinates of the equilibrium point for the given k 1 , k 2 depend on the values of x 1 , x 2
x ˜ 1 = k 2 x 2 + k 1 x 1 k 1 ,   x ˜ 2 = 0 .
As a result, we obtain the following control object model
x ˙ 1 = x 2 x ˙ 2 = k 1 ( x 1 x 1 ) + k 2 ( x 2 x 2 ) .
The control in the model is the vector x = [ x 1   x 2 ] T , whose values are limited by the following inequalities
1 k 1 ( x 1 x 1 ) + k 2 ( x 2 x 2 ) 1 .
To solve the problem of optimal control, we include in the quality criterion the accuracy of hitting the terminal state x f = [ 0   0 ] T
J 5 = t f + p 1 x f x ,
where t f is a terminal time, p 1 is a weight coefficient, p 1 = 1 .
When solving the problem, we divide the control time t + into intervals Δ t , and on each interval, we look for the values x 1 , x 2 , taking into account the constraints (32). The following parameter values were used: k 1 = 2 , k 2 = 2 , p 1 = 1 , t + = 3.5 , Δ t = 0.5 , ε 1 = 0.001 . An evolutionary hybrid algorithm [9] was used for the solution. The optimal solution gave the value of the functional (33) J 5 = 3.6343 .
Figure 3 shows particular solutions of the system (31) with random perturbations of the initial values in the range (16). The blue curve in the figure shows the unperturbed optimal solution. The black dots show the positions of the found x control points. As we see from the experimental results, the perturbed solutions stabilize in the vicinity of the optimal one. Compared to Figure 1, it is obvious that the resulting model (31) is feasible.

4. Discussion

This paper raises the problem of the feasibility of optimal controls obtained as a result of solving the classical formulation of the optimal control problem. It is shown that when disturbances appear, the solutions turn out to be unsatisfactory. In the paper, an additional requirement for the desired control function is introduced. The introduced requirement ensures the stability of solutions near the optimal solution. Possible approaches to solving the proposed extended optimal control problem are considered. The best solution for problems (1)–(5) is the solution to the general control synthesis problem. However, for more complex objects, it is not always possible to solve the problem of general synthesis. This paper considers the method of synthesized optimal control, which satisfies the introduced requirement of the feasibility of optimal control, and at the same time finds solutions that are close to optimal through the use of machine learning methods and evolutionary algorithms.

Author Contributions

Conceptualization, A.D. and E.S.; methodology, A.D.; software, E.S. and A.D.; validation, E.S. and A.D.; formal analysis, A.D.; investigation, A.D. and E.S.; data curation, E.S.; writing—original draft preparation, E.S.; writing—review and editing, E.S. All authors have read and agreed to the published version of the manuscript.

Funding

This research was performed with partial support of the Russian Science Foundation grant number 23-29-00339.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Pontryagin, L.S.; Boltyanskii, V.G.; Gamkreidze, R.V.; Mishchenko, E.F. The Mathematical Theory of Optimal Processes; Division of John Wiley and Sons, Inc.: New York, NY, USA, 1962. [Google Scholar]
  2. Krasovskii, N.N. Stability of Motion; Stanford University Press: Redwood City, CA, USA, 1963. [Google Scholar]
  3. Diveev, A.; Shmalko, E.; Serebrenny, V.; Zentay, P. Fundamentals of Synthesized Optimal Control. Mathematics 2021, 9, 21. [Google Scholar] [CrossRef]
  4. Shmalko, E. Feasibility of Synthesized Optimal Control Approach on Model of Robotic System with Uncertainties. In Electromechanics and Robotics; Ronzhin, A., Shishlakov, V., Eds.; Smart Innovation, Systems and Technologies; Springer: Singapore, 2022; Volume 232, pp. 131–143. [Google Scholar]
  5. Ang, K.H.; Chong, G.; Li, Y. PID control system analysis, design, and technology. IEEE Trans. Control Syst. Technol. 2005, 13, 559–576. [Google Scholar] [CrossRef]
  6. Hu, F.; Zeng, C.; Zhu, G.; Li, S. Adaptive Neural Network Stabilization Control of Underactuated Unmanned Surface Vessels With State Constraints. IEEE Access 2020, 8, 20931–20941. [Google Scholar] [CrossRef]
  7. Yu, H.; Park, S.; Bayen, A.; Moura, S.; Krstic, M. Reinforcement Learning Versus PDE Backstepping and PI Control for Congested Freeway Traffic. IEEE Trans. Control Syst. Technol. 2022, 30, 1595–1611. [Google Scholar] [CrossRef]
  8. Diveev, A.; Shmalko, E. Machine Learning Control by Symbolic Regression; Springer International Publishing: Cham, Switzerland, 2021. [Google Scholar]
  9. Diveev, A. Hybrid Evolutionary Algorithm for Optimal Control Problem. In Intelligent Systems and Applications; Arai, K., Ed.; Lecture Notes in Networks and Systems Series; Springer: Cham, Switzerland, 2023; Volume 544. [Google Scholar]
Figure 1. Optimal and perturbed solutions with control (6).
Figure 1. Optimal and perturbed solutions with control (6).
Engproc 33 00007 g001
Figure 2. Optimal and perturbed solutions with control (26).
Figure 2. Optimal and perturbed solutions with control (26).
Engproc 33 00007 g002
Figure 3. Perturbed and unperturbed solutions under synthesized optimal control.
Figure 3. Perturbed and unperturbed solutions under synthesized optimal control.
Engproc 33 00007 g003
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Shmalko, E.; Diveev, A. Additional Requirement in the Formulation of the Optimal Control Problem for Applied Technical Systems. Eng. Proc. 2023, 33, 7. https://doi.org/10.3390/engproc2023033007

AMA Style

Shmalko E, Diveev A. Additional Requirement in the Formulation of the Optimal Control Problem for Applied Technical Systems. Engineering Proceedings. 2023; 33(1):7. https://doi.org/10.3390/engproc2023033007

Chicago/Turabian Style

Shmalko, Elizaveta, and Askhat Diveev. 2023. "Additional Requirement in the Formulation of the Optimal Control Problem for Applied Technical Systems" Engineering Proceedings 33, no. 1: 7. https://doi.org/10.3390/engproc2023033007

Article Metrics

Back to TopTop