Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment

DOI10.1155/2015/837259zbMath1394.68392OpenAlexW2167464211WikidataQ59119618 ScholiaQ59119618MaRDI QIDQ1666714

Yong Guan, Rui Wang, Ming Wang, Xiaojuan Li

Publication date: 27 August 2018

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2015/837259

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40)

Uses Software

• Matlab
• PRISM

Cites Work

• Adaptive neural tracking and obstacle avoidance of uncertain mobile robots with unknown skidding and slipping
• A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models
• Probabilistic verification of Herman's self-stabilisation algorithm
• Automatic verification of competitive stochastic systems
• On-the-fly verification and optimization of DTA-properties for large Markov chains
• Bisimulations Meet PCTL Equivalences for Probabilistic Automata