We present an approach to computing cyclic schedules online and in real time, while attempting to maximize a quality-of-service metric. The motivation is the detection of RF emitt...
Abstract— In this paper we study bipartite, first ordernetworks where the nodes take on leader or follower roles. In particular, we let the leaders’ positions be static and as...
Giuseppe Notarstefano, Magnus Egerstedt, Musad Haq...
This paper describes a novel approach to detecting orientation and identity of robots using a global vision system. Instead of additional markers, the original shape of the robot ...
An algorithm is presented that enables fast deformation of volumetric objects. Using this algorithm, rigid, deformable, elastic and plastic materials can be modeled by adjusting d...
ct Digital's NVAX high-performance microprocessor has a complex logical design. A rigorous simulation-based verification effort was undertaken to ensure that there were no log...