Sciweavers

667 search results - page 117 / 134
» Robot Dynamics: Equations and Algorithms
Sort
View
HYBRID
2000
Springer
15 years 1 months ago
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
Thomas A. Henzinger, Benjamin Horowitz, Rupak Maju...
CRV
2009
IEEE
217views Robotics» more  CRV 2009»
15 years 4 months ago
Probabilistic 3D Tracking: Rollator Users' Leg Pose from Coronal Images
Understanding the human gait is an important objective towards improving elderly mobility. In turn, gait analyses largely depend on kinematic and dynamic measurements. While the m...
Samantha Ng, Adel H. Fakih, Adam Fourney, Pascal P...
SMC
2007
IEEE
127views Control Systems» more  SMC 2007»
15 years 4 months ago
Underwater environment reconstruction using stereo and inertial data
Abstract— The underwater environment presents many challenges for robotic sensing including highly variable lighting, the presence of dynamic objects, and the six degree of freed...
Andrew Hogue, Andrew German, Michael Jenkin
ECML
2007
Springer
15 years 4 months ago
Learning an Outlier-Robust Kalman Filter
We introduce a modified Kalman filter that performs robust, real-time outlier detection, without the need for manual parameter tuning by the user. Systems that rely on high quali...
Jo-Anne Ting, Evangelos Theodorou, Stefan Schaal
IROS
2006
IEEE
110views Robotics» more  IROS 2006»
15 years 3 months ago
Attitude Control of a Quadruped Trot While Turning
— During a complete running stride, which involves significant periods of flight during which no legs are contacting the ground, a quadruped cannot employ static stability tech...
Luther R. Palmer, David E. Orin