Search
Now showing items 1-2 of 2
Dexterous manipulation planning for a planar whole-arm manipulation system
(Texas A&M University, 1996)
Dexterous manipulation planning can be defined as the process of determining the control trajectories both in terms of joint displacements and efforts for an articulated mechanical hand, in such a way that, if executed, ...
Logic and transistor circuit verification using regression testing and hierarchical recursive learning
(Texas A&M University, 1996)
We describe a new approach for formal verification of combinational logic circuits, and their switch-level transistor implementation. Our approach CODibines regression testing, hierarchical recursive learning, and test ...