Simulation and Implementation of Obstacle Avoidance and Synchronization Tasks using Probabilistic and Timed Supervisory Control Theory in Swarm Robotics

Due to difficulties in formal implementation of swarm robotic systems, controlling software of such systems is developed in an ad-hoc manner and with trial and error. So, it is hard to reuse these systems for other similar problems. Moreover, testing, analyzing and verifying the correctness of the controller are difficult too. There is no guarantee that the implementation matches the specifications. To address these problems, supervisory control theory as a formal approach is suggested. In this paper, probabilistic and timed supervisory control theory (ptSCT) is implemented on ARGoS platform in swarm robotic. The proposed approach automatically calculates ptSCT, and then generates the equivalent controlling software codes. The generated controlling software can be used for both simulation and running on real robots without any changes. For comparison purposes, two tasks namely obstacle avoidance and synchronization of robots are designed using both SCT and proposed ptSCT. The approach is successfully validated in both tasks using up to 64 E-Puck robots. The experimental results show the advantages of the ptSCT, in terms of simplicity, reusability, and automatic code generation.

Article Type:
Research/Original Article
Journal of Modeling in Engineering, Volume:16 Issue: 55, 2019
175 - 190  
برخی از خدمات از جمله دانلود متن مقالات تنها به مشترکان مگیران ارایه می‌گردد. شما می‌توانید به یکی از روش‌های زیر مشترک شوید:
اشتراک شخصی
در سایت عضو شوید و هزینه اشتراک یک‌ساله سایت به مبلغ 400,000ريال را پرداخت کنید. همزمان با برقراری دوره اشتراک بسته دانلود 100 مطلب نیز برای شما فعال خواهد شد!
پرداخت با کارتهای اعتباری بین المللی از طریق PayPal امکانپذیر است.
اشتراک سازمانی
به کتابخانه دانشگاه یا محل کار خود پیشنهاد کنید تا اشتراک سازمانی این پایگاه را برای دسترسی همه کاربران به متن مطالب خریداری نمایند!
  • دسترسی به متن مقالات این پایگاه در قالب ارایه خدمات کتابخانه دیجیتال و با دریافت حق عضویت صورت می‌گیرد و مگیران بهایی برای هر مقاله تعیین نکرده و وجهی بابت آن دریافت نمی‌کند.
  • حق عضویت دریافتی صرف حمایت از نشریات عضو و نگهداری، تکمیل و توسعه مگیران می‌شود.
  • پرداخت حق اشتراک و دانلود مقالات اجازه بازنشر آن در سایر رسانه‌های چاپی و دیجیتال را به کاربر نمی‌دهد.