Abstract | ||
---|---|---|
In robotic finger gaiting, fingers continuously manipulate an object until joint limitations or mechanical limitations periodically force a switch of grasp. Current approaches to gait planning and control are slow, lack formal guarantees on correctness, and are generally not reactive to changes in object geometry. To address these issues, we apply advances in formal methods to model a gait subject to external perturbations as a two-player game between a finger controller and its adversarial environment. High-level specifications are expressed in linear temporal logic (LTL) and low-level control primitives are designed for continuous kinematics. Simulations of planar manipulation with our synthesized correct-by-construction gait controller demonstrate the benefits of this approach. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/ICRA.2012.6225257 | 2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA) |
Keywords | Field | DocType |
linear temporal logic,formal methods,temporal logic,formal method,kinematics,trajectory,torque,automata,planning | Control theory,Kinematics,GRASP,Computer science,Control theory,Correctness,Linear temporal logic,Control engineering,Temporal logic,Formal methods,Trajectory | Conference |
Volume | Issue | ISSN |
2012 | 1 | 1050-4729 |
Citations | PageRank | References |
10 | 0.55 | 13 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sandeep Chinchali | 1 | 60 | 5.60 |
Scott C. Livingston | 2 | 24 | 2.58 |
Ufuk Topcu | 3 | 1032 | 115.78 |
Burdick, J.W. | 4 | 2988 | 516.87 |
Richard M. Murray | 5 | 12322 | 1223.70 |