2838 search results - page 253 / 568 » Verifying Controlled Components |
121
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
—This paper introduces a simple algorithm for non-prehensile object transportation by a pushing robot on a flat surface. We assume that the global position and orientation of the...
117
click to vote
JAR
2010
14 years 11 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
129
click to vote
AROBOTS
2010
14 years 11 months ago
2010
Abstract In this paper we address whole-body manipulation of bulky objects by a humanoid robot. We adopt a "pivoting" manipulation method that allows the humanoid to disp...
115
click to vote
CONCUR
2009
Springer
14 years 10 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
135
click to vote
CONSTRAINTS
2010
14 years 10 months ago
2010
This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after...