Sciweavers

3823 search results - page 262 / 765
» Stability of Hybrid Systems
Sort
View
CORR
2007
Springer
120views Education» more  CORR 2007»
15 years 6 months ago
Curve Tracking Control for Legged Locomotion in Horizontal Plane
— We derive a hybrid feedback control law for the lateral leg spring (LLS) model so that the center of mass of a legged runner follows a curved path in horizontal plane. The cont...
F. Zhang
ICCV
2001
IEEE
16 years 8 months ago
Visual Servoing Invariant to Changes in Camera Intrinsic Parameters
This paper presents a new visual servoing scheme which is invariant to changes in camera intrinsic parameters. Current visual servoing techniques are based on the learning of a ref...
Ezio Malis
PPOPP
2009
ACM
16 years 1 months ago
Petascale computing with accelerators
A trend is developing in high performance computing in which commodity processors are coupled to various types of computational accelerators. Such systems are commonly called hybr...
Michael Kistler, John A. Gunnels, Daniel A. Broken...
HYBRID
2007
Springer
15 years 10 months ago
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
Shinya Umeno, Nancy A. Lynch
CVPR
2008
IEEE
16 years 8 months ago
Image/video deblurring using a hybrid camera
We propose a novel approach to reduce spatially varying motion blur using a hybrid camera system that simultaneously captures high-resolution video at a low-frame rate together wi...
Yu-Wing Tai, Hao Du, Michael S. Brown, Stephen Lin