Now more than ever, researchers are rethinking the way robots are designed and controlled—
from the algorithms that govern their actions to the very atomic structure of the materials they …

Consider an agent moving in the n-dimensional integer lattice. We model a neuron of this
agent as a finite transition system and show, using a pum** lemma type of argument, that …

This paper formally defines a robot system, including its sensing and actuation components,
as a general, topological dynamical system. The focus is on determining general conditions …

In this paper, we consider active tasks which require planning and control to be achieved.
Such tasks require a desirable outcome in the physical world resulting from the interactions …