ВЕСТН. САМАР. ГОС. ТЕХН. УН-ТА. СЕР. ТЕХНИЧЕСКИЕ НАУКИ. 2018. № 1 (57)
УДК 658.5.012
НЕЧЕТКАЯ ОПТИМИЗАЦИЯ В ЗАДАЧАХ ПЛАНИРОВАНИЯ ПЕРЕМЕЩЕНИЙ РОБОТИЗИРОВАННЫХ СКЛАДСКИХ ПОГРУЗЧИКОВ*
Г.Н. Рогачев1, Н.Г. Рогачев2
1 Самарский государственный технический университет Россия, 443100, г. Самара, ул. Молодогвардейская, 244 E-mail: grogachev@mail.ru
ООО «ССИ-Шефер»
Россия, 443001, г. Самара, ул. Галактионовская, 157 E-mail: rogachev8@mail.ru
Аннотация. Рассмотрена процедура нечеткой оптимизации применительно к проблеме построения траекторий роботизированных складских погрузчиков в изменяющейся среде для ряда типичных ситуаций, отличающихся целями функционирования погрузчиков и ограничениями, налагаемыми как на ресурсы управления, так и на поведение объектов управления. Одновременно с построением траекторий погрузчиков осуществляется синтез алгоритмов работы цифровых регуляторов систем управления погрузчиками как гибридных непрерывно-дискретных систем. Процедура построения систем управления с нечеткими целями их работы и нечеткими ограничениями базируется на представлении алгоритмов управления в виде априори не фиксируемых и переменных во времени систем правил.
Ключевые слова: роботизированный складской погрузчик, нечеткая оптимизация, гибридная непрерывно-дискретная система, численная процедура, система правил.
Одним из важных направлений современного развития теории управления является исследование гибридных непрерывно-дискретных систем управления. В таких системах компоненты с непрерывными сигналами отражают физические законы, технологические или технические принципы, которым подчинено функционирование объектов управления, а дискретные элементы моделируют работу цифровых управляющих устройств [1]. К гибридным относится широкий круг управляемых объектов, охватывающий как традиционные, так и новейшие технологии в самых различных областях техники. Цель работы - демонстрация эффективности процедуры нечеткой оптимизации применительно к проблеме синтеза цифровых регуляторов для одного класса гибридных непрерывно-дискретных систем управления. Рассматриваемый метод построения систем управления с нечеткими целями их работы и ограничениями, налагаемыми как на ресурсы управления, так и на поведение объектов управления в меняющемся окружении, базируется на представлении алгоритмов управления в виде априори не фиксируемых и переменных во времени систем правил. Метод обеспечивает построение в темпе с управляемым процессом непосредственно на цифровом
* Работа выполнена при финансовой поддержке РФФИ и правительства Самарской области (проекты №>№> 117-48-630410 р_а, 18-08-00506А).
Геннадий Николаевич Рогачев (д.т.н.), профессор кафедры «Автоматика и управление в технических системах».
Николай Геннадьевич Рогачев, системный аналитик.
регуляторе реализующих эти алгоритмы вычислительных процедур, формируемых по информации о свойствах среды с учетом особенностей, обусловленных цифровым характером устройств управления и сетевым способом обмена информацией между ними [2, 3]. Объекты управления -роботизированные складские погрузчики - являются многомерными нелинейными объектами управления. Среда, в которой они перемещаются, содержит как неподвижные объекты (целевые точки, обязательные для посещения с целью перемещения между ними грузов, препятствия), так и подвижные (другие складские погрузчики). Разработанные алгоритмы управления обеспечивают в условиях меняющегося окружения выполнение целей и ограничений, сформулированных в виде набора нечетких требований самого общего характера к виду и качеству переходных процессов.
Задачу синтеза цифровых регуляторов гибридных непрерывно-дискретных систем управления предлагается решать численно. Применительно к целому ряду прикладных задач синтеза (в том числе оптимального) компьютерных систем управления исходные требования к целям их работы и имеющиеся ограничения позволяют либо осуществить предварительную конечномерную параметризацию некоторых элементов системы продукций, определяющей алгоритм работы искомого регулятора, либо определить набор элементарных функций, из которых будет строиться решение. Численная процедура синтеза алгоритма работы регуляторов основана на использовании методов конечномерной оптимизации для определения структуры продукционных правил и содержания системы продукций. Этот подход позволит в перспективе создавать технические устройства, которые будут самостоятельно генерировать алгоритмы работы своих систем управления и при необходимости модернизировать их. На базе этого подхода можно будет создать программные средства, которые автоматизируют весь процесс проектирования систем управления - от постановки задачи до моделирования их работы, включая проверку программного обеспечения.
Примером промышленной реализации гибридных непрерывно-дискретных систем управления являются роботизированные складские погрузчики. Каждый погрузчик как элемент подвижной части системы является непрерывным многомерным нелинейным объектом управления. Мобильность обеспечивается колесным роботом. Кинематическая модель колесного робота - система нелинейных обыкновенных дифференциальных уравнений вида
[х, у, (р]Г = [V ■ ео8(ф),у • яп(ф),^]т, (1)
где переменные состояния - это две координаты х и у положения объекта на плоскости и угол ф направления вектора скорости.
Управляющими воздействиями являются модуль вектора линейной скорости V и мгновенная скорость поворота вектора скорости ^ . Примем для определенности VI < 1, < 1.
Требование повышения уровня автоматизации изменило принципы организации и функционирования складов. Складские погрузчики модернизируются для достижения большей эффективности и обеспечения безопасности в процессе эксплуатации. Достижения в области сенсорных и компьютерных технологий предоставляют возможности для разработки автономных беспилотных погрузчиков. В последние годы было проведено большее число исследований по теме навигации беспилотных транспортных
средств [4-6]. Перспективным способом решения возникающих при этом проблем является использование методов искусственного интеллекта [7]. Одним из рассмотренных автором вариантов является применение эволюционных вычислений [8, 9].
В данной работе для навигации роботизированных складских погрузчиков как беспилотных транспортных средств предлагается использовать процедуру нечеткой оптимизации в задачах построения траекторий погрузчиков в изменяющейся среде для ряда типичных ситуаций, отличающихся целями функционирования погрузчиков и ограничениями, налагаемыми как на ресурсы управления, так и на поведение объектов управления в меняющемся окружении. Одновременно с построением траекторий погрузчиков осуществляется синтез алгоритмов управления в виде систем правил работы цифровых регуляторов, которые обеспечивают движение роботизированных складских погрузчиков по найденным траекториям.
В последнее время нечеткая технология завоевывает все больше сторонников среди разработчиков систем управления. Тенденция распространения нечетких систем управления легко объяснима. Многие современные задачи управления, которые не могут быть решены классическими методами из-за большой сложности математических моделей, описывающих процессы, неопределенности целей управления и ограничений, успешно решаются средствами нечеткой логики. Нечеткая логика в задачах управления может использоваться двояко: возможно построение систем управления с нечеткими правилами работы регулятора либо синтез систем управления с нечеткими целями и ограничениями [10].
Первый вариант - нечеткие системы управления - основан на правилах продукционного типа, посылки и заключения сформулированы в терминах нечетких лингвистических высказываний. В работе рассмотрен второй вариант использования нечеткой логики - для построения систем управления с нечеткими целями и ограничениями. В этом случае осуществляется выбор такой альтернативы, которая удовлетворяет в максимальной степени и нечетким целям, и нечетким ограничениям. Когда цель и ограничение конфликтуют между собой, не существует альтернативы, которая полностью удовлетворяет и цели, и ограничения. В качестве решения в таких случаях обычно выбирают альтернативу с максимальной степенью принадлежности. Решается проблема, которая требует, чтобы и целевая функция, и ограничения удовлетворяли в максимально возможной степени некоторым условиям, представленным нечеткими величинами, каждая из которых определена соответствующей функцией принадлежности. Это дает наилучшее компромиссное решение, представляющее наилучший вариант степеней удовлетворения целевым функциям и ограничениям. Такой подход может быть особенно полезен для решения реальных проблем, где цели и ограничения выражены вербально. При таком подходе можно решать и задачи с заведомо невыполнимыми точно условиями, т. е. задачи, в которых можно добиться лишь приближенного обеспечения всей совокупности требований. Традиционно процедура синтеза системы правил работы программного регулятора предполагает формулировку ее как задачи математического программирования вида
Ш1П/(г),gi(г) > 0,1 = 1,2,...,т. (2)
Проблема (2) может быть расширена так, что границы, которые отделяют приемлемые решения от неприемлемых, являются размытыми, а степени приемлемости отдельных решений представлены нечеткими числами. Для этого целевая функция и ограничения должны пониматься в нечетком смысле [11]. При использовании обозначений, используемых в области нечеткой оптимизации, нечеткая версия проблемы (2) может быть записана так:
min f (z),
zeZ (3)
gt (z) > 0,i = 1,2,...,m,
V*
где z e Z - искомое решение;
f (z) - целевая функция, минимизируемый критерий качества; gi (z) - уравнения связи или ограничения, волнистая черта «~» - символ нечеткой операции.
Пусть функции принадлежности (.),i = 0,1, ..., m представляют степени выполнения цели и ограничений. Решение оптимизационной задачи (3) должно удовлетворять насколько возможно и цели, и ограничениям, т. е. максимизировать минимальное из значений (.), i = 0, 1, К, m. Нечеткая проблема математического программирования (3) может быть преобразована [12] в задачу вида
maxC(z), (4)
zeZ
где C(z) представляет глобальную степень удовлетворения решением z цели и ограничений:
C(z) = minjvo, Vi,..., Vm }, (5)
где Vo =Po(f(z)),Vi =V-i (gi (z)),i = 1,2,...,m
Окончательно нечеткая проблема (5) приобретает вид определения такого решения z e Z , которое обеспечивает
maxmin(vi), i = 0,1,...,m, (6)
zeZ * i
где Vo =^o(f (z)),Vi =Mi(gi(z)),i = 1,2,...,m, функции принадлежности ЦоО, (.),i = 1,2, ..., m представляют степени выполнения цели и ограничений соответственно. Далее задача (5) решается известными численными методами.
В этой статье эффективность процедуры нечеткой оптимизации в задачах построения траекторий погрузчиков и синтеза алгоритмов управления ими демонстрируется рядом примеров, отличающихся целями функционирования погрузчиков и ограничениями со стороны ресурсов управления и внешней среды. Так, рассмотрена задача перемещения погрузчика из начального положения в требуемое конечное при наличии некоторой обязательной для посещения промежуточной точки. Это - задача забрать груз в одной точке склада и переместить его в другую. Общей во многих областях, включая навигацию и робототехнику, является проблема предотвращения столкновений транспортных средств друг с другом. Для складских помещений в условиях ограниченного объема и высокой плотности транспортного потока эта проблема весьма актуальна. Совместное планирование движения транспортных средств
может эффективно предотвратить угрозу столкновения. Такая задача рассмотрена в статье для двух случаев: когда траектория одного из погрузчиков стеснена и когда ограничений на перемещения нет.
В качестве первого характерного примера рассмотрена задача синтеза траектории и системы правил работы регулятора в задаче управления роботизированным складским погрузчиком (1) с нечеткой целью и ограничениями, которые сформулированы следующим образом. Необходимо по
кратчайшему пути L = x2(t) + y 2(t)dt ^ min за время t2 перевести объект
•Ю
управления (1) из точки фазового пространства с координатами (x0,y0, ф0) = (0, 0, 0) в точку TP2 с координатами (x2, y2, ф2) = (0, 4, л) , перед этим посетив точку TP1 с координатами (xj, yj) = (4, 4). Этот вариант задачи коммивояжера соответствует в складских условиях требованию к погрузчику переместиться в точку хранения груза TP1, забрать его и доставить по назначению в точку TP2.
Функции принадлежности нечетких множеств заданы аналитически:
Ню( L) = -—^-г; L = £V x2(t)+y 2(t)dt;
Hi(Pi) = e_2p1 ; Pi = min ((x^pj -x(t))2 + (yTpj -y(t))2 /2 ; te[0,t2T
J2
; P2 = min ((xt
te[0,t2]
^2 (P2 ) = e 2p2 ; P2 = min ((xtp 2 - x(t))2 + (Утр 2 - y(t))2 }'
Ц3(ф) = e-06(ф(^2)-ф2)2 .
Рис. 1. Графики функций принадлежности ^ — Ц3
На рис. 1 показаны графики функций принадлежности ц — ц . Нечеткое решение найдем из соотношения (6). Систему правил работы цифрового программного регулятора будем искать в виде
«если I е [г,г +1), то = у, м(7) = мг », г = 0,1,2, ..., ^ —1, (7)
что соответствует единичной частоте срабатывания регулятора (один раз в единицу модельного времени). На рис. 2, 3 представлены найденная траектория движения роботизированного складского погрузчика и реализующие такое движение управляющие воздействия v(t), w(t) . Найденное решение имеет следующие параметры: L = 10,34, t2 = 11, степень удовлетворения нечетким требованиям и ограничениям = и = И2 = Из = 0.999.
Рис. 2. Нечетко-оптимальная траектория движения роботизированного складского погрузчика
Рис. 3. Управляющие воздействия v(t), w(t), реализующие нечетко-оптимальную траекторию движения складского погрузчика
Для сравнения приведем характеристики маршрута, состоящего из двух локально-оптимальных участков. Найденное решение имеет следующие параметры: L = 11,63, t2 = 12, степень удовлетворения нечетким требованиям
и ограничениям составляет 0,97-0,98. Первый локально-оптимальный участок траектории, переход объект управления (1) из точки (х0, у0, ф0) = (0, 0, 0) в точку ТР1 с координатами (хь = (4, 4), несколько сокращается. Однако общая длина пути больше на 12,5 %, поскольку при оптимизации первой части траектории не учтена необходимость переместиться затем в точку ТР2. Следствием этого является значительное удлинение второго локально-оптимального участка. На рис. 4, 5 представлены состоящая из двух локально-оптимальных участков траектория движения роботизированного складского погрузчика и реализующие такое движение управляющие воздействия у(£), .
6 -г
1 —1-1-1-1--
-2 0 2 4 6
х
Рис. 4. Локально-оптимальная траектория движения роботизированного складского погрузчика
— —
0 2 4 6 8 10 12 г
—
0 2 4 6 8 10 12
£
Рис. 5. Управляющие воздействия ), ^(1), реализующие локально-оптимальную траекторию движения складского погрузчика
Для складских помещений ограниченного объема и высокой плотности транспортного потока весьма актуальна проблема предотвращения столкновений транспортных средств друг с другом. В качестве еще одного примера рассмотрена задача синтеза траекторий и систем правил работы регуляторов в задаче управления двумя роботизированными складскими погрузчиками, перемещающимися навстречу друг другу по потенциально опасным траекториям. Нечеткие условия сформулированы следующим образом: необходимо по кратчайшему пути за определенное время t1 перевести первый объект управления из точки фазового пространства с координатами (х01, у01, ф01) = (0, 0, 0) в точку с координатами (хц,уц,Фц) = (6, 0, 0) . Одновременно необходимо по кратчайшему пути за время перевести второй объект управления из точки фазового пространства с координатами С%2, У02, Ф02) = (0, 6, п) в точку с координатами (Х12,У12, Ф12) = (0, 0, п) . В качестве дополнительного условия необходимо поставить условие обеспечения безопасных маршрутов перемещения, в противном случае требование следовать по кратчайшему пути приведет к столкновению. Это дополнительное условие зададим в виде функции принадлежности (d) нечеткого множества допустимых значений расстояния d между погрузчиками:
iVd) =-* . 2 ; d = max ((x^t) - X2(t))2 + (y^t) - y2(t))2 f2 .
1 + e"3(d -2) te[0,t1]4
Характеристики найденного решения, включающего маршруты обоих погрузчиков и алгоритмы управления ими, иллюстрируются рис. 6-8, степень удовлетворения нечетким требованиям и ограничениям составляет 0,97-0,98.
-car 1
— ■саг 2 о nearest point -о nearest point
1 - <х
/ V
/ V
0 --1 -2 -
-3 ^
-2 0 2 4 6 8
Рис. 6. Нечетко-оптимальные траектории движения роботизированных складских погрузчиков
5 г 4
3 -
2 -
Второй вариант рассмотренной задачи синхронного перемещения двух погрузчиков усложнен наличием ограничения на траекторию первого из них, которая не должна лежать ниже линии у^ (/) = 0 . Еще одно дополнительное условие зададим в виде функции принадлежности нечеткого множества допусти-
мых значения ограничения о на траекторию первого погрузчика:
Н«(о) = -
1
1 + е
-3(о+2)2
; о = Шп (у^)).
/е[0,/1]
Рис. 7. Первая часть нечетко-оптимальных траекторий движения роботизированных складских погрузчиков
Рис. 8. Управляющие воздействия, реализующие нечетко-оптимальную траекторию движения складских погрузчиков
Характеристики найденного решения, включающего маршруты обоих погрузчиков и алгоритмы управления ими, иллюстрируются рис. 9-12, степень удовлетворения нечетким требованиям и ограничениям составляет 0,99750,9991.
Рис. 9. Нечетко-оптимальные траектории движения роботизированных складских погрузчиков в условиях ограничения
Рис. 10. Первая часть нечетко-оптимальных траекторий движения роботизированных складских погрузчиков в условиях ограничения
Рис. 11. Графики функций принадлежности ц — для нечетко-оптимальных траекторий движения роботизированных складских погрузчиков в условиях ограничения
Рис. 12. Управляющие воздействия, реализующие нечетко-оптимальные траектории движения складских погрузчиков в условиях ограничения
Рассмотренные примеры свидетельствуют о возможности использования нечеткой логики в задачах синтеза систем управления с нечетко сформулированными целями и ограничениями.
Развитие метода, изложенного ранее в [13], состоит в постановке и решении задачи разработки вычислительных методов синтеза компьютерных систем управления многооперационным технологическим процессом взаимодействия группы роботизированных складских погрузчиков Суть подхода состоит в представлении взаимодействующих управляющих подсистем в виде совокупности организованных на кластере цифровых регуляторов взаимосвязанных вычислительных процедур синтеза алгоритмов управления продукционного (основанного на правилах) вида. Системы продукций априори не фиксируются и изменяются во времени, адаптируясь к условиям работы системы управления. Это позволяет определять структуру системы продукционных правил и ее содержание. Такой подход представляется весьма перспективным, на его базе возможно автоматизировать весь процесс проектирования систем управления - от постановки задачи до моделирования их работы, включая проверку программного обеспечения, создавать технические устройства, самостоятельно генерирующие алгоритмы работы своих систем управления, и при необходимости модернизировать их.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Рогачев Г.Н. Использование гибридно-автоматного метода для описания систем автоматизации и управления // Мехатроника, автоматизация, управление. - 2009. - № 12. - С. 14-19.
2. Rogachev G.N. Production method of describing automated controllers in the analysis of continuous-discrete control systems // Automatic Control and Computer Sciences. - 2014. - Vol. 48. - N 5. -pp. 249-256.
3. Рогачев Г.Н. Продукционный метод описания, анализа и синтеза автоматических регуляторов непрерывно-дискретных систем управления // Cloud of Science. - 2014. - Т. 1. - № 1. - С. 1740.
4. Campbell de Oliveira S., Naeem W., Irwin G. A review on improving the autonomy of unmanned surface vehicles through intelligent collision avoidance manoeuvres //Annual Reviews in Control. -2012. - Vol. 36. - pp. 267-283.
5. Nirmala G., Geetha S., Selvakumar S. Mobile Robot Localization and Navigation in Artificial Intelligence: Survey // Computational Methods in Social Sciences. - 2016. - Vol. IV. - Issue 2. - pp. 1222.
6. Polvara R., Sharma S., Wan J., Manning A., Sutton R. Obstacle Avoidance Approaches for Autonomous Navigation of Unmanned Surface Vehicles // The Journal of Navigation. - 2018. - Vol. 71. -Issue 1. - pp. 241-25.
7. Porta Garcia M.A., Montiel O., Castillo O., Sepulveda R., Melin P. Path Planning for Autonomous Mobile Robot Navigation with Ant Colony Optimization and Fuzzy Cost Function Evaluation // Applied Soft Computing. - 2009. - V. 9. - N. 3. - pp. 1102-1110.
8. Рогачев Г.Н. Использование генетического алгоритма с отсечением по времени в задаче синтеза программного регулятора для машины Дубинса // Вестник Самарского государственного технического университета. Сер. Технические науки. - 2011. - № 3 (32). - С. 27-32.
9. Рогачев Г.Н. Генетическое программирование в задачах поиска системотехнических решений // Вестник Самарского государственного технического университета. Сер. Технические науки. - 2006. - № 40. - С. 37-42.
10. Беллман Р., Заде Л. Принятие решений в расплывчатых условиях // Вопросы анализа и процедуры принятия решений. - М.: Мир, 1976. - С. 172-215.
11. Yager R.R., Zadeh L.A. An Introduction to Fuzzy Logic Applications in Intelligent Systems. - Boston: Kluwer Academic Publishers, 1992. - 356 p.
12. Carlsson C., Fuller R., Giove S. Optimization under fuzzy rule constraints // Belgian Journal of Operational Research, Statistics and Computer Sciences. - 1998. - Vol. 38 (2-3). - pp. 17-24.
13. Рогачев Г.Н., Тян П.В. Нечеткие цели и ограничения в задаче управления транспортным средством // Устойчивость и процессы управления: Материалы III международной конференции. -СПб: Издательский дом Федоровой Г.В., 2015. - С. 545-546.
Статья поступила в редакцию 15 января 2018 г.
FUZZY OPTIMIZATION IN THE PROBLEMS OF FORKLIFT PATH PLANNING
G.N. Rogachev1, N.G. Rogachev2
Samara State Technical University
244, Molodogvardeyskaya st., Samara, 443100, Russian Federation SSI Schäfer (Russia)
157, Galaktionovskaya st., Samara, 443001, Russian Federation E-mail: rogachev8@mail.ru
Abstract. The procedure offuzzy optimization as the problem of robotic forklift path planning in the changing environment for a number of typical situations differing in the goals of the forklift functioning and the constraints imposed both on control resources and on the forklift behavior is considered. Simultaneously with the construction of forklift paths, the synthesis of algorithms for the work of digital controllers offorklift control systems as hybrid continuous-discrete systems is carried out. The procedure for constructing control systems with fuzzy goals and constraints is based on the representation of control algorithms in the form of a priori non-fixed and time-variable systems of rules
Keywords: robotized forklift, fuzzy optimization, hybrid discrete-continuous system, numerical procedure, system of rules.
Gennady N. Rogachev (Dr. Sci. (Techn.)), Professor. Nikolay G. Rogachev, System Analitic.