Synthesis of output feedback control for motion planning based on LTL specifications.
Min WuGangfeng YanZhiyun LinYing LanPublished in: IROS (2009)
Keyphrases
- motion planning
- feedback control
- feedback controller
- control law
- bounded model checking
- adaptive control
- degrees of freedom
- closed loop
- trajectory planning
- path planning
- mobile robot
- optimal control
- model checking
- robot arm
- open loop
- humanoid robot
- temporal logic
- transition systems
- mechanical systems
- autonomous mobile robot
- robotic tasks
- obstacle avoidance
- multi robot
- robotic arm
- networked control systems
- formal verification
- collision free
- manipulation tasks
- inverse kinematics
- configuration space
- autonomous control
- real time
- control scheme
- control method
- control system
- computer vision