Temporal logic task and motion planning of a smart robot-towards a smart substation environment.
Liangguo LiuJun PengRui ZhangBin ChenYingze YangXiaoyong ZhangPublished in: SMC (2017)
Keyphrases
- motion planning
- temporal logic
- mobile robot
- autonomous mobile robot
- humanoid robot
- path planning
- trajectory planning
- smart grid
- robot arm
- degrees of freedom
- model checking
- robotic arm
- multi robot
- obstacle avoidance
- robotic tasks
- modal logic
- autonomous robots
- inverse kinematics
- configuration space
- manipulation tasks
- dynamic environments
- real time
- verification method
- reactive systems
- collision free
- collision avoidance
- real robot
- robot navigation
- robotic systems
- climbing robot
- vision system
- mechanical systems
- mazurkiewicz traces
- epistemic logic
- belief space
- service robots
- end effector
- robot manipulators
- power system
- image sequences