Next Article in Journal
Quality of Labeled Data in Machine Learning: Common Sense and the Controversial Effect for User Behavior Models
Previous Article in Journal
Statement of Peer Review
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Proceeding Paper

Optimality Conditions for the Principle of Trajectory Division †

by
Valentin Bereznev
Federal Research Center Computer Science and Control of RAS, Vavilov Str. 44, Build.2, Moscow 119333, Russia
Presented at the 15th International Conference “Intelligent Systems” (INTELS’22), Moscow, Russia, 14–16 December 2022.
Eng. Proc. 2023, 33(1), 2; https://doi.org/10.3390/engproc2023033002
Published: 9 May 2023
(This article belongs to the Proceedings of 15th International Conference “Intelligent Systems” (INTELS’22))

Abstract

:
This paper considers the problem of controlling a mobile robot in the presence of circular obstacles. To solve this problem, it is proposed to use the previously suggested principle of dividing permissible trajectories into a sequence of rectilinear sections and arcs of circles that are the boundaries of circular obstacles. The conditions for the solution based on this principle of optimality are obtained.

Suppose that the problem of controlling a mobile robot is solved using the principle of dividing feasible trajectories [1]. In the case of the phase space R 2 , this principle is an alternative to the classical optimal control theory based on the maximum principle [2]. According to this principle, a connected graph is first constructed, then the shortest path on the graph is searched. Taking into account that it is not the distance between the vertices that is used as the edges of the graph, but rather the minimum time rewuired for the robot to travel along the edge, we can assume that the time-optimal problem has been solved. However, this is true only under the essential condition that the robot, in bypassing a circular obstacle, always moves along the border of the obstacle, i.e., that the minimum allowable radius of curvature of the route is selected on the turn. Nevertheless, there is doubt that such a choice is always optimal in terms of performance. This is clearly seen in the example of auto racing, when, in seeking to overtake an opponent, the driver tries to avoid heavy braking on a curve, instead choosing a larger radius of curvature. If the driver chooses too high a speed at this point, slippage may occur, i.e., loss of grip with the surface of the track, resulting in displacement in the direction of the centrifugal force of inertia or even in the vehicle overturning.
On this basis, let us consider the main factors influencing the reasonable choice of the radius of curvature for the trajectory of the device when bypassing a circular obstacle. As already noted, an object moving along the arc of a circle is affected by the so-called centrifugal force of inertia F, which acts along the radius from the center of the circle and is calculated by the formula
F = m ω 2 r ,
where m is the mass of the object, ω is its angular speed, and r is the radius of the circle. This force is opposed by the force G of adhesion to the surface of the highway acting in the opposite direction, which is determined by weather conditions, the condition of the road surface, and the wheels of the car or robot.
Let us consider a concrete example (see Figure 1) in which a controlled device must move from point A to point B while bypassing a circular obstacle of radius r 1 (a circle of dark color) or an obstacle of radius r 2 > r 1 (a circle of light color).
For simplicity, assume that the distances from points A and B to the center of the circles are the same and are equal to S. The points C, D, M, and N are the tangent points of the lines drawn from A and B to the small and large circles. Let us define the conditions under which, from the point of view of time consumption, it is preferable to bypass a circular obstacle along an arc of a small radius or along an arc of a large one, provided that m 1 = m 2 = m and
F i = m ω i 2 r i = G , i = 1 , 2 ,
i.e., the passage of the turn is guaranteed against slippage.
Let r 2 = γ r 1 , γ > 1 . Note that the coefficient γ cannot be arbitrarily large, as at γ > S / r 1 point A already falls inside the circle and the task loses its meaning. Due to the symmetry of the tracks in both cases with respect to a straight line passing through the center of the circles parallel to the ordinate axis, we estimate the time of passage of the left half of the trajectories. Let us first determine the time spent on moving along the arcs of circles. Suppose that the linear speed of motion along a small arc, corresponding to the fulfillment of the condition (3) at i = 1 , is equal to v 1 = v and determines the feasible linear speed v 2 . It follows from (3) that ω 2 = ω 1 1 / γ , i.e., ω 2 < ω 1 . As is well known, v i = ω i r i , i = 1 , 2 ; therefore, v 2 = ω 2 γ r 1 = ω 1 r 1 γ = v 1 γ > v 1 = v .
It is easy to see that the angles based on the half-arcs of the circles are equal to α 1 = arcsin ( r 1 / S ) and α 2 = arcsin ( γ r 1 / s ) , respectively. Then, the lengths of the arcs themselves are s 1 = r 1 α 1 and s 2 = γ r 1 α 2 . Due to the uniform motion along these arcs with speeds v 1 and v 2 = v 1 γ , we obtain expressions for time t 11 = r 1 α 1 / v 1 and t 12 = r 1 γ α 2 / v 1 . Thus,
Δ T 1 = t 12 t 11 = r 1 ( γ α 2 α 1 ) v 1 > 0 ,
as the expression in parentheses is obviously positive.
Now, let us estimate the time for the device to pass straight-line line break sections of the route to the points of contact C and M. Recall that, according to the assumptions, the robot starts moving at point A at a speed of v + , and should arrive at the touch point at a speed of v i , i = 1 , 2 . Let us first determine the time spent in both cases on braking, which we denote by t 2 i , i = 1 , 2 . We have t 2 i = ( v + v i ) / | u | , i.e.,
Δ T 2 = t 22 t 21 = v + γ v 1 | u | v + v 1 | u | = ( 1 γ ) v 1 | u | ,
meaning that in this case the distance traveled by the robot during braking is equal to d i = ( v + v i ) 2 / ( 2 | y | ) . Thus, with the maximum speed v + , the robot travels the distance S cos α i d i , with the time spent on this task being
t 3 i = 1 v + S cos α i d i = 1 v + S cos α i ( v + v i ) 2 2 | u | .
Hence,
Δ T 3 = t 32 t 31 = S ( cos α 2 cos α 1 ) v + ( v + γ v 1 ) 2 2 v + | u | + ( v + v 1 ) 2 2 v + | u | .
Thus, it follows from (4)–(6) that in both cases the difference in the time taken by the device to pass half of the trajectory is expressed by
Δ T = r 1 ( γ α 2 α 1 ) v 1 + ( 1 γ ) v 1 | u | + + S ( cos α 2 cos α 1 ) v + ( v + γ v 1 ) 2 2 v + | u | + ( v + v 1 ) 2 2 v + | u | = = r 1 ( γ α 2 α 1 ) v 1 + S ( cos α 2 cos α 1 ) v + + ( 1 γ ) v 1 2 2 v + | u | .
Let us now evaluate the second term in this expression. Taking into account that sin x < x for x > 0 , and assuming that α 1 + α 2 < π , we have
S ( cos α 2 cos α 1 ) v + = 2 S v + sin α 2 + α 1 2 sin α 2 α 1 2 > > S v + sin arcsin r 1 S ( α 2 α 1 ) = r 1 v + ( α 2 α 1 ) .
Therefore,
Δ T > r 1 ( γ α 2 α 1 ) v 1 r 1 v + ( α 2 α 1 ) + ( 1 γ ) v 1 2 2 v + | u | > > r 1 ( α 2 α 1 ) v 1 r 1 v + ( α 2 α 1 ) + ( 1 γ ) v 1 2 2 v + | u | = = r 1 ( α 2 α 1 ) 1 v 1 1 v + + ( 1 γ ) v 1 2 2 v + | u | .
Let v + = θ v 1 , θ > 1 . Then, the last expression in (8) takes the form
Δ T > r 1 ( α 2 α 1 ) ( θ 1 ) θ v 1 + ( 1 γ ) v 1 2 θ | u | ;
moreover, the right side of this inequality takes a positive value when
γ < 1 + 2 r 1 ( α 2 α 1 ) | u | ( θ 1 ) v 1 2 .
Obviously, the estimate for the second half of the route takes the same form (9) with the replacement of | u | by u + . Thus, the following statement is true.
Theorem 1.
Assume that the coupling force G and the maximum speed v 1 when passing a turn along the minimum allowable radius r 1 are known. Then, Δ T > 0 for any γ satisfying the inequality
1 < γ < 1 + 2 r 1 ( α 2 α 1 ) u ˜ ( θ 1 ) v 1 2 ,
where u ˜ = min { | u | , u + } .
Thus, with a sufficient natural condition for the parameter γ , the solution of the time-optimal problem based on the principle of trajectory division is optimal. This is confirmed by computational experiments.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Bereznev, V.A. The principle of dividing feasible trajectories in a robot control problem. Procedia Comput. Sci. 2021, 186, 456–459. [Google Scholar] [CrossRef]
  2. Pontryagin, L.; Boltyanskii, V.; Gamkrelidze, R.; Mishchenko, E.L. The Mathematical Theory of Optimal Processes; Publishing House: Interscience, NY, USA, 1962. [Google Scholar]
Figure 1. Passage of a vmrage with a different radius.
Figure 1. Passage of a vmrage with a different radius.
Engproc 33 00002 g001
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

Bereznev, V. Optimality Conditions for the Principle of Trajectory Division. Eng. Proc. 2023, 33, 2. https://doi.org/10.3390/engproc2023033002

AMA Style

Bereznev V. Optimality Conditions for the Principle of Trajectory Division. Engineering Proceedings. 2023; 33(1):2. https://doi.org/10.3390/engproc2023033002

Chicago/Turabian Style

Bereznev, Valentin. 2023. "Optimality Conditions for the Principle of Trajectory Division" Engineering Proceedings 33, no. 1: 2. https://doi.org/10.3390/engproc2023033002

Article Metrics

Back to TopTop