Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
This paper reports on advances in the design and development of a high-performance direct-drive joint for robotics and automation. The joint integrates a motor, a torque sensor and...
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
Many mission-critical distributed real-time applications must handle aperiodic tasks with end-to-end deadlines. However, existing middleware (e.g., RT-CORBA) lacks schedulability ...
Yuanfang Zhang, Chenyang Lu, Christopher D. Gill, ...
Abstract. Virtual Prototyping with haptic feedback offers great benefits in the development process of actuated systems. We present a generic control scheme for the haptic render...