This paper describes methods used in stabilizing the walking gait of TAO-PIE-PIE, a small humanoid robot given rate feedback from two RC gyroscopes. TAO-PIE-PIE is a fully autonomo...
In this paper, we present the design, modeling and preliminary control of RHex, an autonomous dynamically stable hexapod possessing merely six actuated degrees of freedom (at the ...
Uluc Saranli, Martin Buehler, Daniel E. Koditschek
: We consider the use of a cluster system with a shared nothing architecture for update-intensive autonomous databases. To optimize load balancing, we use optimistic database repli...
The progressive processing model allows a system to trade off resource consumption against the quality of the outcome by mapping each activity to a graph of potential solution met...
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...