This paper investigates the control algorithm of an exoskeleton for hand rehabilitation, which accomplishes both active and passive control mode. A double closed loop control struc...
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
: Practical realizations of the optimum closed loop structure for coherent demodulation of QPSK signals demands the approximation of the hyperbolic tangent nonlinearity (Tanh) with...
This paper presents an efficient extraction method of closed loops as primitive symbols of line drawings, and an robust line drawing understanding system incorporating this extrac...