Abstract— This paper deals with the in-depth kinematic analysis of a special parallel wrist, called the Agile Eye. The Agile Eye is a three-legged spherical parallel robot with r...
When a distributed robotic system is assigned to perform reconnaissance or surveillance, restrictions inherent to the design of an individual robot limit the system’s performanc...
Andrew Drenner, Ian T. Burt, Tom Dahlin, Bradley K...
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
We introduce a novel type of total variation regularizer, TVS1 , for cyclic structures such as angles or hue values. The method handles the periodicity of values in a simple and c...