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 c...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | fas |
| Published: |
Semnan University
2018-12-01
|
| Series: | مجله مدل سازی در مهندسی |
| Subjects: | |
| Online Access: | https://modelling.semnan.ac.ir/article_3467_9fe8696fce26fc0483382286599aafce.pdf |