26
Chapter 13 Robot motion planning In the name of god computational geometry

بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

  • Upload
    others

  • View
    7

  • Download
    0

Embed Size (px)

Citation preview

Page 1: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

Chapter 13

Robot motion planning

In the name of god

computational geometry

Page 2: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

پیش گفتار

هدف روباتیک طراحی روباتهای خودکار است به طوریکه فقط •

”رویه“مشخص شده باشد نه ”هدف“

برای این منظور روبات باید قادر به پیش بینی و تصمیم گیری درمورد •

حرکتش باشد

و بازهم برای رسیدن به این مهم،روبات باید اطالعاتی از محیط •

.اطراف داشته باشد

2/26

Page 3: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

انواع روبات

translation robot)) روبات با حرکت انتقالی•

rotation robot)) روبات با حرکت انتقالی و دورانی•

3/26

X

Y

X

Y

Page 4: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

برخورد با دیگر،بدون نقطه ای به ازنقطه رسیدن برای یافتن مسیری : مسئله

محیط اطراف

:فرضیات بعدی است 2محیط •

موانع چند ضلعی هستند•

روبات چندضلعی ساده است•

است staticمحیط •

روبات فقط قادر به حرکت انتقالی است•

4/26

Page 5: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

تعاریف

محیط حرکت روبات،شامل مجموعه ای از موانع: فضای کار•

S={p1,p2,…,pt} و روباتR

نقطه ای در فضای کار و نشان دهنده موقعیت روبات:نقطه مرجع•

(بعدی2فضای (معرف روبات پارامترهای•

R(x,y):روبات با حرکت انتقالی

R(x,y,ɸ): روبات با حرکت انتقالی و دورانی

«ɸ در جهت -مرجعنقطه حول -زاویه دوران نسبت به خط افق

«پادساعتگرد

نشان C(R)فضای پارامتری روبات را،فضای پیکربندی آن گفته و با•

.می دهیم

5/26

Page 6: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

تعداد پارامترهای مشخص کننده :DOF))درجه آزادی•

روباتو وضعیت مکان

DOF=2 ← باحرکت انتقالی

بعدی2روبات در فضای

DOF=3 ← با حرکت انتقالی و دورانی

DOF=3 ←با حرکت انتقالی

بعدی 3فضای در روبات

DOF=6 ←با حرکت انتقالی و دورانی

6/26

Page 7: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

Translation robot Rotation robot

7/26

Page 8: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

•Cforb(R,S) :نقاطی از فضای پیکربندی که در آن نقاط روبات با یکی از

.موانع تقاطع دارد

•Cfree (R,S) :باقیمانده فضای پیکربندی

8/26

Page 9: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

در فضای پیکربندی x,y))بصورت مجموعه ای از نقاط piیک مانع •

.مشترک باشد piبا R(x,y)نگاشت داده میشود بطوریکه

C-obstaclesمجموعه حاصل را فضای پیکربندی موانع نامیده و با

.نشان می دهیم

•C-obstacles ها ممکن است در زمانی که موانع در فضای کاری

باشند و این زمانی اتفاق می افتد کههم جدا هستند،همپوشانی داشته از

.روبات در یک لحظه با بیش از یک مانع برخورد داشته باشد

9/26

Page 10: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

:سوال ،لغزیدن روبات روی مانع به معنای برخورد است؟ به عبارت دیگر

موانع را از لحاظ توپولوژیکی مجموعه هایی باز در نظر می گیریم یا بسته؟

موانع را باز در نظر میگیریم بدین معنی که روبات مجاز به حرکت :جواب

.و لغزیدن بر روی موانع است وچنین حرکتی،برخورد تلقی نمی شود

10/26

Page 11: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

روبات نقطه ای

برای درک بهتر مسئله ابتدا به جای روبات چندضلعی،روبات را •

نقطه عطف روبات،خود روبات )بصورت یک نقطه فرض می کنیم

(است

،تعداد کل رئوس nدر این فضا،موانع چند ضلعی هایی مجزا هستند و •

.موانع است

ازآنجاییکه فضای پیکربندی بی نهایت بزرگ است،بنابراین این فضا را •

میکنیم که دربرگیرنده همه محدود (B)با استفاده از یک مانع بزرگ

قرار دارد Bموانع است و ناحیه غیر مجاز آن،خارج از

11/26

Page 12: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

و بنابراین •

pi B \ = Cfree

12/26

Page 13: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

برای این کار نیاز به ساختمان داده ای است که فضای آزاد را •

(نقشه ذوزنقه ای)6این ساختمان داده را با استفاده از فصل .ذخیره کند

.بدست می آوریم

13/26

Page 14: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

14/26

Page 15: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

چگونه ذوزنقه های داخل حفره ها را بیابیم؟

:نقشه ذوزنقه ای اطالعات زیر را در اختیار ما میگذارد

هرکدام از ذوزنقه ها Topیال •

مانعی که این یال به آن تعلق دارد•

اگر این یال،مانع را از باال محدود کند آنگاه ذوزنقه ی مربوط به آن یال حذف

میشود

15/26

Page 16: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

زمان مورد انتظار ساخت یک نقشه ذوزنقه ای برای 13.1لم

مجموعه ای از موانع“و ”ربات نقطه ای”،”فضای پیکربندی آزاد“

.است O(n log n)،”یال nچند ضلعی بدون برخورد و با

زمان مورد انتظار برای ساخت نقشه ذوزنقه ای بدون حذف ذوزنقه های•

O(n log n): با استفاده از الگوریتم رندوم-داخل موانع

O(n): زمان حذف ذوزنقه های داخل موانع•

16/26

Page 17: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

.دهیمنشان می T(Cfree )نقشه ذوزنقه ای فضای آزاد را با •

:یک گراف مسطح است که به فرم زیر ساخته میشود: (groad)نقشه راه•

.یک نود به ازای هر ذوزنقه و در مرکز آن قرار می دهیم -

.یک نود به ازای هر امتداد عمودی و در میان آن در نظر میگیریم -

بین دو نود یک کمان وجود دارد اگر وتنها اگر یک نود در مرکز -

.دیگری روی کناره ی همان ذوزنقه باشد و ذوزنقه

کمان ها خطوط مستقیم هستند -

17/26

Page 18: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

groad با استفاده از ساختارDECL و خاصیت همسایگی دو ذوزنقه،در

.قابل ساخت است O(n)زمان

18/26

Page 19: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

برنامه ریزی حرکت ازpstart بهpgoal

pgoalو pstartکه به ترتیب ذوزنقه های حاوی goal∆و start∆یافتن -1گام

هستند

:دو حالت امکان پذیر است -2گام

∆start (a =∆goal در این حالت مسیر، یک خط مستقیم از ،pstart به

pgoal خواهد بود.

19/26

Page 20: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

∆start (b≠ ∆goal قسمت تقسیم میشود 3،در این حالت مسیر به:

((vi نودی ازgroad و در مرکز∆i باشد ))

vstartبه pstartیک خط مستقیم از -

vgoalبه vstartو از groadمسیری شامل کمانهای -

pgoalبه vgoalیک خط مستقیم از -

20/26

Page 21: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

21/26

Page 22: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

درستی الگوریتم

•(a مسیر مشخص شده همواره بدون برخورد است؟

تمامی مسیرهای تعیین شده در داخل ذوزنقه ها قرار دارند و ذوزنقه

.در فضای آزاد ساخته شده اند

•(b درصورت وجود یک مسیر بدون برخورد،حتما آن مسیر گزارش

خواهد شد؟

pstart وpgoal دو نقطه که به ذوزنقه هایی از فضای آزاد تعلق

.پس قسمت اول و سوم مسیر حتما وجود دارد.دارند

:حتما گزارش میشود vgoalبه vstart باید ثابت کنیم که مسیر از: حکم

را قطع میکند دنباله ای از ذوزنقه ها vgoalبه vstart مسیر

{∆1,∆2,…, ∆k } بطوریکه∆start =∆1 و∆goal =∆k

22/26

Page 23: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

دو ذوزنقه مالقات شده متوالی باشند i+1∆و i∆در مسیر مشخص شده

دو ذوزنقه همسایه و دارای یک امتداد عمودی i+1∆و i∆بنابراین

مشترک میباشند

از طریق نود معادل این امتداد عمودی مشترک vi+1 و viنودهای groad در

به هم متصل شده اند

.بنابراین این مسیر گزارش میشود

23/26

Page 24: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

زمان اجرا

O(n)یا goal :O(log n)∆و start∆زمان یافتن •

وابسته به اندازه گراف: BFSزمان پیمایش •

(6.1لم ) 3n+1≥ تعداد ذوزنقه ها

+ تعداد نودها

2n≥ عمودی تعداد امتدادهای

(3n+1)4≥ تعداد کمان ها

.خطی است BFSپس زمان پیمایش

زمان گزارش مسیر هم وابسته به تعداد نودها و کمان های آن است و •

خطی است

24/26

Page 25: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

13.1 قضیه• nاز موانع با Sمیان مجموعه روبات نقطه ای متحرک در Rفرض کنید

طوری پردازش کرد مسیر O(n logn)را در زمان Sمیتوان .یال باشد

بدون برخورد بین هر دو نقطه شروع و پایان را در صورت وجود در

.محاسبه کرد O(n)زمان

25/26

Page 26: بسم الله الرحمن الرحیم - cs.yazd.ac.ircs.yazd.ac.ir/farshi/Teaching/CG3921/Slides/Chapter 13-1.pdf · فیراعت عنام زا یا هعمجم لماش،تابر

پایان

زهره وکیل