We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...
We document our initial e orts to instantiate visuallyguided cooperative behaviors between robotic agents in the minifactory environment. Minifactory incorporates high-precision 2...
Michael L. Chen, Shinji Kume, Alfred A. Rizzi, Ral...
We analyze a class of mechanisms that locomote by switching between constraints. Because of the hybrid nature of such systems, most of the existing analysis tools, developed prima...
Replication is a well-know fault-tolerance technique, and several replication strategies exist (e.g. active, passive, and semi-active replication). To be used in hard real-time sy...
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...