Chris Wilson

Learn More
We have developed highly modular middleware for robotics programming and an interface for multi-robot teleoperation. WURDE provides abstractions for the communications, applications , and systems levels of robotic system development, which helps to isolate the developer from details not essential to the immediate task. RIDE is a control interface inspired(More)
This paper presents an algorithm for hardware verification that uses simulation and satisfiability checking techniques to determine the correctness of a symbolic test case on a circuit. The goal is to have coverage greater than that of random testing, but with the ease of use and predictability of directed testing. The user uses symbolic variables in simple(More)
This paper describes our experience applying formal verification to the cache coherence protocol of the HAL S1 System , a shared-memory and/or message-passing multipro-cessor consisting of standard Intel Pentium R Pro symmetric multiprocessing (SMP) servers connected by HAL's proprietary Mercury Interconnect to create a cache-coherent, non-uniform memory(More)
In social interactions, the appropriate timing of physical actions is of vital importance. Otherwise appropriate actions performed at the wrong time can completely alter their perceived meaning. In this paper, we propose an approach to developing a physical vocabulary for human-robot interaction that uses trained actors as models of appropriate timing and(More)
  • 1