A Verifiable and Correct-by-Construction Controller for Robot Functional Levels.
Saddek BensalemLavindra de SilvaFélix IngrandRongjie YanPublished in: CoRR (2013)
Keyphrases
- motion control
- mobile robot
- control architecture
- biped walking
- control signals
- control system
- real time
- robotic manipulator
- vision system
- robotic systems
- biped robot
- robot manipulators
- construction process
- robot navigation
- liquid state machine
- visual servoing
- path planning
- control loop
- obstacle avoidance
- force control
- multi robot
- control scheme
- human robot interaction
- control strategy
- trajectory tracking
- simulated robot
- motion planning
- central pattern generator
- autonomous robots
- closed loop
- iterative learning control
- wheeled mobile robot
- control law
- sufficient conditions
- optimal control
- end effector
- adaptive fuzzy
- robot soccer
- robot arm
- control theory
- pid controller
- robot control
- position and orientation