![](/images/graphics-bg.png)
Modeling and Analysis of the Obstacle-Avoidance Strategies for a Mobile Robot in a Dynamic Environment
المؤلفون المشاركون
Wang, Rui
Wang, Ming
Guan, Yong
Li, Xiaojuan
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-10-25
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
الملخص EN
Obstacle avoidance is a key performance of mobile robots.
However, its experimental verification is rather difficult, due to the probabilistic behaviors of both the robots and the obstacles.
This paper presents the Markov Decision Process based probabilistic formal models for three obstacle-avoidance strategies of a mobile robot in an uncertain dynamic environment.
The models are employed to make analyses in PRISM, and the correctness of the analysis results is verified by MATLAB simulations.
Finally, the minimum time and the energy consumption are determined by further analyses in PRISM, which prove to be useful in finding the optimal strategy.
The present work provides a foundation for the probabilistic formal verification of more complicated obstacle-avoidance strategies.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Wang, Rui& Wang, Ming& Guan, Yong& Li, Xiaojuan. 2015. Modeling and Analysis of the Obstacle-Avoidance Strategies for a Mobile Robot in a Dynamic Environment. Mathematical Problems in Engineering،Vol. 2015, no. 2015, pp.1-11.
https://search.emarefa.net/detail/BIM-1074857
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Wang, Rui…[et al.]. Modeling and Analysis of the Obstacle-Avoidance Strategies for a Mobile Robot in a Dynamic Environment. Mathematical Problems in Engineering No. 2015 (2015), pp.1-11.
https://search.emarefa.net/detail/BIM-1074857
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Wang, Rui& Wang, Ming& Guan, Yong& Li, Xiaojuan. Modeling and Analysis of the Obstacle-Avoidance Strategies for a Mobile Robot in a Dynamic Environment. Mathematical Problems in Engineering. 2015. Vol. 2015, no. 2015, pp.1-11.
https://search.emarefa.net/detail/BIM-1074857
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1074857
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)