Sciweavers

378 search results - page 56 / 76
» Computing Controllers for Nonlinear Hybrid Systems
Sort
View
SIGGRAPH
1993
ACM
15 years 3 months ago
Sensor-actuator networks
Sensor-actuator networks (SANs) are a new approach for the physically-based animation of objects. The user supplies the configuratíon of a mechanical system that hás been augmen...
Michiel van de Panne
HYBRID
2009
Springer
15 years 3 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
HAPTICS
2005
IEEE
15 years 5 months ago
The Maxima Haptics Package -- A Tool for Symbolic Analysis of Haptics and Teleoperation
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
Göran A. V. Christiansson
VTC
2007
IEEE
15 years 6 months ago
Single-Carrier HARQ Using Joint THP and FDE
—In the next generation mobile communication systems, high-speed and high-quality packet data services are demanded. Hybrid ARQ (HARQ) is known as one of the promising error cont...
Kazuki Takeda, Hiromichi Tomeba, Fumiyuki Adachi
IROS
2006
IEEE
113views Robotics» more  IROS 2006»
15 years 5 months ago
A Framework for Automatic Deployment of Robots in 2D and 3D Environments
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
Marius Kloetzer, Calin Belta