Abstract— This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish...
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
Abstract. We describe experiments that compared the perceived relative roughness of textured virtual walls synthesized with an accurately controlled haptic interface. Texture was m...
Gianni Campion, Andrew H. C. Gosline, Vincent Hayw...
Abstract— In this paper, we present a framework that enables an operator to haptically and visually interact with a dynamic simulation subject to virtual holonomic constraints. T...
Abstract—We present a distributed connectivity service that allows agents in a mobile ad-hoc network to move while preserving connectivity. This allows unmodified motion plannin...