Sciweavers

9504 search results - page 252 / 1901
» Dynamic Substitution Model
Sort
View
ICRA
2009
IEEE
115views Robotics» more  ICRA 2009»
16 years 1 months ago
Modeling and control of the monopedal robot Thumper
— A hybrid controller that induces stable running gaits on a monopedal robot is developed. The robot features a rigid leg with a revolute knee and a heavy torso with center of ma...
Ioannis Poulakakis, Jessy W. Grizzle
HICSS
2008
IEEE
102views Biometrics» more  HICSS 2008»
16 years 1 months ago
Chaos Theory as a Model for Interpreting Weblog Traffic
Weblogs are becoming increasingly popular and bloggers desire traffic. This study seeks to give an overall view of weblog systems including factors that affect weblog traffic. Key...
Xitong Guo, Doug Vogel, Zhongyun Zhou, Xi Zhang, H...
FASE
2007
Springer
16 years 1 months ago
Scenario-Driven Dynamic Analysis of Distributed Architectures
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
George Edwards, Sam Malek, Nenad Medvidovic
IJRR
2006
96views more  IJRR 2006»
15 years 7 months ago
Three-dimensional Translational Dynamics and Stability of Multi-legged Runners
The spring-loaded inverted pendulum (SLIP) is a simple, passivelyelastic two-degree-of-freedom model for legged locomotion that describes the center-of-mass dynamics of many anima...
Justin E. Seipel, Philip Holmes
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 4 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler