UDC 004.891.3
Kucherenko Ye. I.1, Driuk O. D.2
1Doctor of Science, Professor, Kharkiv National University of Radio Electronics, Ukraine 2Postgraduate student, Kharkiv National University of Radio Electronics, E-mail: [email protected], Ukraine
FUZZY MODELS IN PROBLEMS OF COMPLEX SYSTEMS CONTROL
An analytical review of existing models and methods of applied problem solving is performed. The necessity of developing of fuzzy models of mobile objects is shown. A new formal model of mobile objects control as minimization of the control error is developed. It is shown that the problem of optimal mobile objects control is to find the optimal (or suboptimal) function of mobile objects control. Depending on the values of certain external parameters, this function returns a value that determines the future direction of the mobile object movement.
One of the most perspective approaches to the control function optimization is development and adjustment of fuzzy model of mobile object movement. Development of a model based on fuzzy rules will provide its flexibility. The fuzzy model as a set of production rules has been further developed. This model, unlike the existing ones, allows minimizing the error of mobile objects control. The adequacy of the developed models has been confirmed. It was shown that these models provide good mobile objects control.
Keywords: mobile object, fuzzy model, movement control, production rules, model adequacy, track, trajectory.
INTRODUCTION
1 RESEARCH PROBLEM STATEMENT
Seeing the necessity of exact description of operating systems and increasing demands for solving the problems of intelligent control, there is a need to develop the theory of mathematical modeling. In the framework of the theory of mathematical modeling the formal procedures are used. These formal procedures take into account information heterogeneity, multicriteriality, dynamics of the quality and efficiency, and also uncertainties, which can be either stochastic or fuzzy.
Selecting the model type of a complex system and mathematical modeling tools to use depend largely on information quality and uncertainty type. Fuzzy approach is usually used when the system is so complex that it's impossible to build its mathematical model in traditional sense, or when the model exists, but to calculate it, significant computational resources are needed [1].
Complex system modeling in the form of fuzzy systems doesn't usually require knowledge of the system structure. However, in problems related to quality assessment of operation of the system consisting of a number of subsystems, or in problems of evaluating the degree of achievement of interacting goals, fuzzy model should take into account the system structure [2].
In this case the modeling tool is fuzzy logics and, in particular, one of its basic concepts - that is, function of fuzzy variables. However, existing algorithms for operating with such functions are not oriented to practical use.
The purpose of this research is increasing the quality of process control under uncertainty of objects operating. In this paper we also explore approaches of optimizing the complex objects control as a criterion for increasing the control adequacy.
Let the production area be a rectangular field divided into unit cells. There are L loads and K mobile objects in this area. Mobile objects can move the loads.
Because of delivery of Ly new loads it is required to move L2 ç L loads to other cells, using mobile objects. The total time to perform this task should not exceed the time limit:
t <t
(1)
where t is the time remaining before new loads arrival. If the time of moving the loads t > t*, the task should be modified to meet the requirement (1).
In paper [3] the model of mobile objects transportation in the production area is proposed. According to this model, mobile objects move discretely, from the center of one cell to the center of another one. To solve a number of practical problems, we need to modify the model, because mobile object is usually represented as a physical agent, which has a certain size and moves continuously.
The problem of optimal mobile objects system control is to find a certain optimal (or suboptimal) function of mobile object control. Depending on the values of certain external parameters, this function takes a value which determines the further direction of the mobile object [4].
One of the most perspective approaches to the control function optimization is development and adjustment of fuzzy model of mobile object movement [5]. Development of a model based on fuzzy rules will provide its flexibility, because even under changing environmental parameters (for example, unforeseen obstacles to the mobile object) the rules don't change.
© Kucherenko Ye. I., Driuk O. D., 2014 DOI 10.15588/1607-3274-2014-1-10
MATEMATHTOE TA KOMn'^TEPHE MO^E^BAHKa
Thus, our tasks are:
- to analyze existing models and methods for solving similar problems;
- to develop the formal model of mobile object movement along given trajectory;
- to review and analyze different approaches to mobile objects control optimization;
- to develop and adjust the fuzzy model of mobile object movement;
- to verify the adequacy of resulting model.
2 ANALYSIS OF EXISTING SOLUTIONS
Recently, the use of automated systems in different areas of life becomes more and more popular. Therefore, development of models and methods for mobile objects movement is a subject of many works. Let's consider and analyze the main approaches that offered in these works.
In paper [5] the automaton model of adaptive mobile objects control based on fuzzy logics is considered. To adjust the fuzzy control system, it is proposed to use a probabilistic automaton with training.
The proposed model is rather perspective, it has several disadvantages. Firstly, in this model it is assumed that the mobile object always can bypass the obstacle. In our model being developed, the borders of mobile object trajectory are always considered as obstacles, and mobile object can never bypass them. Secondly, proposed model allows the mobile object only to bypass the obstacles, but not to move to a fixed point, and, of course, mobile object trajectory isn't being optimized. Thereby, we cannot use this model to solve our problem.
In paper [6] the teaching model of a robot following the certain mobile object is considered. In this work it is also proposed to use the system of fuzzy rules. There are also considered several different methods for the system adjustment.
The main disadvantage of this approach is that it doesn't take into account the possible obstacles the robot may not bypass, because the trajectory of mobile object does already define the trajectory of the robot which follows it.
Thus, to solve this problem we need to modify the existing approaches.
3 FORMAL MODEL DEVELOPMENT
Let ri be a mobile object with defined trajectory
,r (Grt )={( xf >,f>),(4'>, #>).....(x->, y >)},
which represents the sequence of cells the object ri should move to perform the task [3]. Now we develop the model of mobile object movement along this trajectory.
Let each cell be a square of size 5 x 5, and let mobile object be a rectangle with length a and width b, where b < a < s. Let vmax and ramax be maximum linear velocity and maximum angular velocity of mobile object, respectively.
Introduce the following assumptions:
1) mobile object always either moves with maximum linear velocity vmax or doesn't move at all;
2) velocity vmax is small enough to neglect the time of mobile object acceleration and deceleration;
3) velocity vmax is small enough and traction with surface is big enough to neglect the skid of mobile object for all possible values of its angular velocity;
4) angular velocity C = C(t) of mobile object can be changed fast enough to neglect the influence of angular acceleration on movement of this object;
5) to make the movement safe, distance from the mobile object to an obstacle or to the trajectory border is needed to be not less than 8m;n. It is also guaranteed that b + 28min < s;
6) decision about angular velocity change, acceleration or deceleration of mobile object is made as a result of measurements obtained by mobile object vision system. These measurements are made with the period Tmin;
7) maximum angular velocity ramax is small enough not to allow the mobile object to turn safely in the opposite direction;
8) when mobile object moves, it doesn't stop and doesn't face any obstacles.
Then we have
Statement 1. Position of mobile object at time t can be
( (k) (k)\
uniquely determined by its coordinates lxi , yi , its
direction V(k) and its angular velocity co(k) at time k = t - Tmin. Moreover, mobile object moves along a straight
v
line if c = 0, and along a circular arc with radius R =-
2nra
otherwise.
Definition 1. Track 6 (t) of the mobile object ri is a curve traversed by center O of object during its movement (see Fig. 1).
Statement 2. Track 6(t) of the mobile object ri can be uniquely determined by its initial coordinates
of its angular velocities {o(0), 4Xmm), ra(2Xmm),..., 4nXmm)}
at time 0, Tmin, 2Tmin,..., m^m respectively, where m^m is the first moment of time when object would be entirely
/ (e) (e)\ inside the cell \x, ,y)' I.
Consequence 1. Then, using statement 2, we can obtain
6(t)=6(c(0),),42xm»),...,eh™)). (2)
Fig. 1. Example of mobile object movement along its trajectory
Definition 2. Correct track 9R (t) of the mobile object ri, corresponding to the trajectory tr (g^ ), is a track
satisfying the following conditions:
1) at any time of mobile object movement along the
trajectory tr (Gr ) distance from the mobile object border to
the nearest obstacle and to the borders of trajectory is not less than 8min ;
2)
(kT
— ®max for all k = 0,1,
3) at time ral
(e) »
(Tmin )
mobile object is entirely inside the cell
((,->'!*>).
Let's denote as ©r (ri) the set of correct tracks 8R, corresponding to the trajectory tr (GKj) of the mobile object ri.
Definition 3. Length |8r| of correct track is the distance
passed by mobile object along this track.
Statement 3. If a mobile object moves without stops, the length of its correct track can be defined as
|8R | = vmax ' Tmin 'n ,
where n is an amount of measurements made during its movement.
Let Ltr = Ltr (Gr. ) be a line equidistant from the borders of the trajectory tr () (in Fig. 1 it is dashed). Suppose
also that the measurements made with the period Tmin, define the following parameters:
- Shift d of mobile object center relative to the line Ltr (if mobile object is situated to the left of line Ltr, shift is considered to be negative, otherwise it is positive);
- Rotation angle a of the mobile object relative to the line Ltr (clockwise direction is considered to be positive). Note that if the object is rotated to the left relative to the line Ltr, then a > n and we can consider negative angle a - 2n.
Consider the regulation function 9 = <p(d, a), which, depending on the shift d and rotation angle a, returns angular velocity ra : |ra| < ramax the mobile object needs to reach until the next measurement of shift and angular velocity, or a certain big number W » ramax, which means that the mobile object needs to stop.
Definition 4. The regulation function 9r (d,a) is
correct if for all possible trajectories tr ( )e TR (Gn) it returns such a sequence of angular velocities {ra0,n>i,...,ram}, that track 8(ra0,ra1,...,ram)e ©R (ri).
Denote the family of correct regulation functions by ® = ®(d, a).
Definition 5. The track 8 = 8(0,®i,...,ram) is called a track according to regulation function <p( d, a), if
Vi = 1, n : rai =9 (di-i, a;_i),
where dk and ak are the values of mobile object shift and rotation angle respectively at time k xmin.
Denote such track by 89. Note that as 9 is a correct
regUlation fo^tM^ 89 e©R (r ).
Then the formal model of mobile objects control is as follows:
e„
max
min,
tr(Gn )eTR(Gn ) Ltr (Gri )
{t j}
(3)
where
. (g^ ) is the length of line equidistant from the
borders of the trajectory; {t j}, j e J are time dependencies.
Optimization problem (3) is the task of finding such a regulation function 9, that the given initial conditions provides the mobile object movement along the track which is the closest to the line Ltr.
4 FUZZY MODEL DEVELOPMENT IN MOBILE OBJECTS CONTROL OPTIMIZATION PROBLEMS
Note that as family ® (d, a) can correspond to an infinite number of functions 9( d, a), and also checking the
MATEMATHTOE TA KOMn'KTEPHE MO^E^BAHKa
correctness of regulation function is a rather difficult problem [3], it doesn't seem possible to find an exact solution of problem (3). That's why we propose to search the suboptimal
* / \ * function 9 (d,a), that is, such a function 9 , for which
have
1,00 <
max
10 * 9
'tr(Gn )eTR(Gri ) Ltr ( )| { }
< 1,02,
we
(4)
that is, track 6 * is not more than 2 % longer than line Ltr fa ).
One of the simplest approaches to solve this problem is a formal definition of the function 9* (d,a). Use the fact that we know the form of the trajectory tr (Gri) and, thus,
the form of line Ltr: if the assumptions 1) - 8) are correct, it can be represented as a sequence of segments and arcs. Then after the next measurement of parameters dk h a-k the
value Ok+1 = 9(dk,ak) can be found using the following considerations [5]:
- If dk < 0 and ak < 0, then mobile object is moving to the left away from line Ltr, so we need to turn it to the right with maximum possible angular speed: cck+1 = ramax;
- Similarly, if dk > 0 and ak > 0, then mobile object is moving to the right away from line Ltr and <&k+1 = _ramax;
- If a k = 0, then mobile object is moving parallel to the line Ltr and we don't need to turn: cck+1 = 0;
- If dk < 0 and ak > 0, then mobile object is approaching to the line Ltr from the left, and we need to choose in such a way that when mobile object reaches the line Ltr, its rotation angle is as close to zero as possible;
- If dk > 0 and ak < 0, we should choose rak+1 similarly. As a result, we receive the regulation function 9*, which
is defined as follows:
^ (d,a) =
ramax if d < 0 and a < 0, -ramax if d > 0 and a > 0.
■ f ymax (1 - cosa)
d
, (1 - cos a)
ramax I if d > 0 and a < 0,
(5)
, -®max I if d < 0 and a > 0,
0 if d = 0 and a = 0.
The experiment showed that the resulting function 9* in our model provides good mobile objects control.
However, this approach has several disadvantages.
Firstly, it works only for the given model of mobile object moving. If the obstacles appear on its path, or traction with surface is not big enough to neglect its skid, function will not provide good control any more.
Secondly, this approach requires the exact values of parameters d and a to be measured, and these measurements requires a rather expensive machine vision system.
Thirdly, to provide the safe mobile object movement, the parameters measurements should be performed rather often. This reduces the life of the machine vision system.
We propose another approach - that is, fuzzy model
*
development to find the function 9 . On the one hand, fuzzy model is more universal and doesn't use the assumptions about mobile object movement. On the other hand, it doesn't require the exact values of parameters d and a - we only need to know the classes they belong to.
In [7] it was proposed to use the models of fuzzy inference in form
{if x is |(x) then y is |(y)}.
(6)
to solve problems on fuzzy variables.
To develop the fuzzy model we propose the method consisting of the following steps:
Step 1. Define fuzzy terms and their membership functions for parameters d, a and ra.
It was decided to choose 6 fuzzy terms for each parameter:
Shift d: «Big negative» - d1, «Medium negative» - d2,
«Small negative» - d-$, «Small positive» - d4 «Medium positive» - d5, «Big positive» - d6;
Rotation angle a: «Big negative» - a 1, «Medium negative» - a 2, «Small negative» - a 3, «Small positive» -a4, «Medium positive» - a5, «Big positive» - a6;
Angular velocity ra : «Big negative» - ra1, «Medium negative» - ra 2, «Small negative» - ra 3, «Small positive» -ra4, «Medium positive» - ra5, «Big positive» - ra6.
For all the fuzzy terms it was decided [8] to choose the membership functions in the form
l(x ) =
_(x-h)2
2-Ö2
~min ' -~max J x ^ [ xmin, xmax],
(7)
where h is an average value of the membership function; ct is the steepness of the membership function; segment
[ xmin, xmax ] equals to [-1,0 ] for fuzzy terms corresponding to negative parameters values, and equals to for fuzzy terms corresponding to positive parameters values.
Step 2. Form the following system of production rules:
R,-,
: If d e di and a eà j with weight then ra ecok
where di, a j, CC k are fuzzy terms for parameters d, a and c respectively.
ISSN 1607-3274. Радюелектронжа, шформатика, управлiння. 2014. № 1
To do this, we decided to use the formula (5) being universal for the given control model. To define approximately, which parameters belong to which fuzzy terms, we can divide the segment [-1,1] into 6 equal parts.
Step 3. Generate a training sample to adjust the fuzzy model parameters, that is, fuzzy terms distribution parameters dt, a j, ¿5 k and rules weights Wj.
It was decided to generate N = 50 random pairs of parameters (di, ai), and then use formula (5) to define rai.
Step 4. Adjust the received fuzzy model to make the error ex ^ 0.
The problem of optimal adjustment of the model F = F (P,W) can be formulated as a problem ofminimizing the discrepancy of the function yF (X) on the learning sample:
r=N )-s (x, )
min , (8)
(P,W)eG
where G is the set of constraints for vectors P and W .
To solve the problem (8) it was decided to use the modified method of very fast annealing.
Thus, we received the fuzzy model F. To make a decision if it can be applied in practice, we need to check its adequacy.
5 MODEL ADEQUACY IN PRACTICAL APPLICATIONS
After we defined the parameters of fuzzy model F, we need to check its adequacy. If regulation function 9( d, a) corresponding to this model is not correct, then the model is inadequate and we need to readjust it.
To check the mode adequacy it is proposed to simulate the process of movement of mobile object ri along the trajectory according to fuzzy model F with different possible values of initial parameters d0 and a0 (that is, initial shift
and rotation angle) and different trajectories tr ().
The simulation showed that for the values s = 2 m,
a = 2 m, b = 1.2 m, 8m;n = 0.1 m , vmax = 2 m/s,
n 2n _1
Tmin = 0,05 s, amax = 6, ramax = — s the model is
adequate - the mobile object moves along the correct track for all possible d0 and a0.
Fig. 2 shows an example of modeling the movement of
mobile object rt along the trajectory tr (g^ ). Here line Ltr equidistant from the trajectory borders is dashed, and track 8(r) of mobile object is a solid line. The initial point of mobile object is indicated by the circle.
Fig. 2 shows that the error of the trajectory
\Lф F,
(9)
where Lu =
(g)
is the length of the estimated track and
\
J / i /
/
Lф = 6ф is the length of actual track, tends to zero, and e > 0.
Fig. 2. Example of modeling the mobile object movement according to fuzzy model F
In the experiment on the length L < 300 m it was obtained that e < 0,015, and it meets the suboptimality criterion (4).
CONCLUSIONS
1. An analytical review of existing models and methods for solving applied problems is made. The necessity of developing fuzzy models for mobile objects is shown.
2. A new formal model of mobile objects control is developed. This model represents the minimization of the ratio of actual and estimated track lengths.
3. Fuzzy model as a set of production rules has been further developed. This model, unlike the existing ones, allows minimizing the error of mobile objects control. The adequacy of the developed models has been confirmed.
SPISOK LITERATURY
1. Емельянов, В. В. Теория и практика эволюционного моделирования / В. В. Емельянов, В. В. Курейчик,
B. М. Курейчик. - М. : Физматлит, 2003. - 432 с.
2. Rutkowski, L. Computational intelligence - methods and techniques / L. Rutkowski. - Springer, 2008. - 514 p.
3. Кучеренко, Е. И. Стохастические модели и методы субоптимальной маршрутизации сложных объектов. / Е. И. Кучеренко, А. Д. Дрюк // Бионика интеллекта. - 2013. -№1 (80). - С. 45-53.
4. Тимченко, Д. Н. Синтез логико-динамической системы оптимального управления нелинейным неголономным объектом типа «мобильный робот» / Д. Н. Тимченко // Технические науки в России и за рубежом: материалы между-нар. науч. конф. (г. Москва, май 2011 г.). - М. : Ваш полиграфический партнер, 2011. - С. 43-48.
5. Атанов, С. К. Программные средства реализации адаптивных моделей с нечеткой логикой / С. К. Атанов // Вестник науки КазАТУ им. С. Сейфуллина. - 2009. - №2. -
C. 27-30.
L
U
МАТЕМАТИЧНЕ ТА КОМП'ЮТЕРНЕ МОДЕЛЮВАННЯ
Tsoukalas, L. H. Fuzzy and Neural Approaches in Engineering / L. H. Tsoukalas, R. E. Uhrig. - John Wiley & Sons, Inc. New York, USA, 1996. - 587 p.
Zimmermann, H.-J. Fuzzy Set Theory and its Applications. 3rd ed. / H.-J. Zimmermann. - Dordrecht : Kluwer Academic Publishers, 1996. - 315 p.
Стаття надшшла до редакци 30.01.2014.
Кучеренко Е. И.1, Дрюк А. Д.2
1Д-р техн. наук, профессор, Харьковский национальный университет радиоэлектроники, Украина
2Аспирант, Харьковский национальный университет радиоэлектроники, Украина
НЕЧЕТКИЕ МОДЕЛИ В ЗАДАЧАХ УПРАВЛЕНИЯ СЛОЖНЫМИ СИСТЕМАМИ
Выполнен аналитический обзор существующих моделей и методов решения прикладных задач. Показана необходимость разработки нечетких моделей мобильных объектов. Разработана новая формальная модель управления мобильными объектами как минимизация ошибки управления. Показано, что проблема оптимального управления системой мобильных объектов заключается в нахождении некоторой оптимальной (либо субоптимальной) функции управления мобильным объектом. В зависимости от значений определенных внешних параметров эта функция принимает значение, определяющее дальнейшее направление движения мобильного объекта.
Одним из наиболее перспективных подходов к оптимизации функции управления представляется разработка и настройка нечеткой модели движения мобильного объекта. Разработка модели на основе нечетких правил обеспечит универсальность модели. Получила дальнейшее развитие нечеткая модель в виде множества правил продукции, которая, в отличие от существующих моделей, позволяет оптимизировать управление мобильными объектами. Подтверждена адекватность моделей. Показано, что полученная модель обеспечивает хорошее управление мобильными объектами.
Ключевые слова: мобильный объект, нечеткая модель, управление движением, правила продукции, адекватность модели, трасса, траектория.
Кучеренко С. I.1, Дрюк О. Д.2
1Д-р техн. наук, професор, Харювський нацюнальний ушверситет радюелектрошки, Укра!на
2Астрант, Харювський нацюнальний ушверситет радюелектрошки, Украша
НЕЧ1ТК1 МОДЕЛ1 У ЗАДАЧАХ КЕРУВАННЯ СКЛАДНИМИ СИСТЕМАМИ
Виконано аналтчний огляд юнуючих моделей та метсдав розв'язання прикладних задач. Показано необхщнють розробки нечтих моделей мобшьних об'екпв. Розроблено нову формальну модель керування мобшьними об'ектами як мiнiмiзацiю помилки керування. Показано, що проблема оптимального керування системою мобшьних об'екпв полягае у знаходженш деяко! оптимально! (або субоптимально!) функци керування мобшьним об'ектом. Залежно вщ значень певних зовшшшх параметрiв ця функщя приймае значення, що визначае подальший напрямок руху мобшьного об'екта.
Одним з найбшьш перспективних пiдходiв до оптимiзацi! функци керування представляеться розробка та налагодження нечiтко! моделi руху мобшьного об'екта. Розробка моделi на основi нечтих правил забезпечить ушверсальнють моделг Отри-мала подальший розв'язок нечта модель у виглядi множини правил продукци, яка, на вщмшу вщ юнуючих моделей, дозволяе оптимiзувати керування мобшьними об'ектами. Пщтверджено адекватнють моделей. Показано, що отримана модель забезпечуе добре управлшня мобшьними об'ектами.
Ключовi слова: мобшьний об'ект, нечта модель, керування рухом, правила продукци, адекватнють модел^ траса, траек-торiя.
6. Mucientes, M. Learning Fuzzy Robot Controllers to Follow 7. a Mobile Object / M. Mucientes, J. Casillas // International Conference on Machine Intelligence (Tozeur, Tunisia, November 2005). - P. 566-573. 8.
REFERENCES
1. Yemelyanov V. V., Kureychik V. M. Theory and practice of evolutionary modeling. Moscow, Fizmatlit, 2003, 432 p.
2. Rutkowski L. Computational intelligence - methods and techniques. Springer, 2008, 514 p.
3. Kucherenko Ye. I., DriukA. D. Stochastic models and methods of suboptimal routing of complex objects, Bionics of Intelligence, 2013, No. 1 (80), pp. 45-53.
4. Timchenko D. N. Synthesis of the logic dynamic system of optimal control of a nonlinear nonholonomic object of type «mobile robot», Engineering science in Russia and abroad:
Proceedings of International scientific conference (Moscow, May 2011), Moscow, 2011, pp. 43-48.
5. Atanov S. K. Software implementation of adaptive fuzzy models, Journal Science of KazATUnamed after S. Seifullin, 2009, No. 2, pp. 27-30.
6. Mucientes M., Casillas J. Learning Fuzzy Robot Controllers to Follow a Mobile Object, International Conference on Machine Intelligence (Tozeur, Tunisia, November 2005), 2005, pp. 566-573.
7. Tsoukalas L. H., Uhrig R. E. Fuzzy and Neural Approaches in Engineering. New York, John Wiley&Sons. Inc, 1997, 587 p.
8. Zimmermann H.-J. Fuzzy Set Theory and its Applications. 3rd ed. Dordrecht, Kluwer Academic Publishers, 1996, 315 p.