Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
This work examines electrical damping as a means for improving haptic display performance. Specifically, electrical damping, like its mechanical counterpart, can significantly red...
Joshua Mehling, J. Edward Colgate, Michael A. Pesh...
Commercial Off-The-Shelf (COTS) software products are increasingly used as software components in large-scale systems. We had proposed an approach for distributed COTS software int...
Abstract— In a companion paper [1], we propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots over delaye...
Dongjun Lee, Oscar Martinez-Palafox, Mark W. Spong
In this paper we address the need to characterize and quantify resource usage in IEEE 802.11 WLANs in order to support radio resource management. We present a compact and intuitiv...